Automatic Rust program defect detection method and system based on feature extraction

The invention discloses a method and system for automatically detecting defects of a Rust program based on feature extraction, and the method comprises the steps: forming each type of unsafe operation data set as the input of feature extraction by analyzing the main use scene of limited unsafe Rust...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: LI BAO, ZHANG JIANFENG, TAN SHUANG, JIANG RENSHUANG, DING YAN, DONG PAN, HUANG CHENLIN, LUO JUN, REN YI, TAN YUSONG, WANG XIAOCHUAN, JIAN SONGLEI
Format: Patent
Sprache:chi ; eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator LI BAO
ZHANG JIANFENG
TAN SHUANG
JIANG RENSHUANG
DING YAN
DONG PAN
HUANG CHENLIN
LUO JUN
REN YI
TAN YUSONG
WANG XIAOCHUAN
JIAN SONGLEI
description The invention discloses a method and system for automatically detecting defects of a Rust program based on feature extraction, and the method comprises the steps: forming each type of unsafe operation data set as the input of feature extraction by analyzing the main use scene of limited unsafe Rust in the Rust and statically analyzing the essential unsafe reason of an unsafe code; analyzing specific reasons, sources and use scenes of unsafety of the unsafe Russes, and constructing a defect data set containing each type of unsafe operation; analyzing the lexical rules of the unsafe operations in the defect data set, and obtaining keywords, function names and operator information of each type of unsafe Rust operations; and designing defect detection based on feature recognition according to the features of the limited class unsafe Rust. The probability of false positive and false negative is effectively reduced, and the defect detection efficiency is effectively improved through the automation technology. 本发明公开
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_CN116680705A</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>CN116680705A</sourcerecordid><originalsourceid>FETCH-epo_espacenet_CN116680705A3</originalsourceid><addsrcrecordid>eNqNyr0KwjAUhuEsDqLew_EChBaxupaiODmIzuXYfNGC-SE5Ab17g3gBTs_wvlN1bbN4yzIOdM5JKER_j2xJw2CQghRG78hCHl4TO03pnQSWbpygqSQDlhxBeEnk7z1XE8PPhMXPmVoe9pfuuELwPVLgAQ7Sd6e6bppdta027fqf5wP8Szl5</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Automatic Rust program defect detection method and system based on feature extraction</title><source>esp@cenet</source><creator>LI BAO ; ZHANG JIANFENG ; TAN SHUANG ; JIANG RENSHUANG ; DING YAN ; DONG PAN ; HUANG CHENLIN ; LUO JUN ; REN YI ; TAN YUSONG ; WANG XIAOCHUAN ; JIAN SONGLEI</creator><creatorcontrib>LI BAO ; ZHANG JIANFENG ; TAN SHUANG ; JIANG RENSHUANG ; DING YAN ; DONG PAN ; HUANG CHENLIN ; LUO JUN ; REN YI ; TAN YUSONG ; WANG XIAOCHUAN ; JIAN SONGLEI</creatorcontrib><description>The invention discloses a method and system for automatically detecting defects of a Rust program based on feature extraction, and the method comprises the steps: forming each type of unsafe operation data set as the input of feature extraction by analyzing the main use scene of limited unsafe Rust in the Rust and statically analyzing the essential unsafe reason of an unsafe code; analyzing specific reasons, sources and use scenes of unsafety of the unsafe Russes, and constructing a defect data set containing each type of unsafe operation; analyzing the lexical rules of the unsafe operations in the defect data set, and obtaining keywords, function names and operator information of each type of unsafe Rust operations; and designing defect detection based on feature recognition according to the features of the limited class unsafe Rust. The probability of false positive and false negative is effectively reduced, and the defect detection efficiency is effectively improved through the automation technology. 本发明公开</description><language>chi ; eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2023</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20230901&amp;DB=EPODOC&amp;CC=CN&amp;NR=116680705A$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76289</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20230901&amp;DB=EPODOC&amp;CC=CN&amp;NR=116680705A$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>LI BAO</creatorcontrib><creatorcontrib>ZHANG JIANFENG</creatorcontrib><creatorcontrib>TAN SHUANG</creatorcontrib><creatorcontrib>JIANG RENSHUANG</creatorcontrib><creatorcontrib>DING YAN</creatorcontrib><creatorcontrib>DONG PAN</creatorcontrib><creatorcontrib>HUANG CHENLIN</creatorcontrib><creatorcontrib>LUO JUN</creatorcontrib><creatorcontrib>REN YI</creatorcontrib><creatorcontrib>TAN YUSONG</creatorcontrib><creatorcontrib>WANG XIAOCHUAN</creatorcontrib><creatorcontrib>JIAN SONGLEI</creatorcontrib><title>Automatic Rust program defect detection method and system based on feature extraction</title><description>The invention discloses a method and system for automatically detecting defects of a Rust program based on feature extraction, and the method comprises the steps: forming each type of unsafe operation data set as the input of feature extraction by analyzing the main use scene of limited unsafe Rust in the Rust and statically analyzing the essential unsafe reason of an unsafe code; analyzing specific reasons, sources and use scenes of unsafety of the unsafe Russes, and constructing a defect data set containing each type of unsafe operation; analyzing the lexical rules of the unsafe operations in the defect data set, and obtaining keywords, function names and operator information of each type of unsafe Rust operations; and designing defect detection based on feature recognition according to the features of the limited class unsafe Rust. The probability of false positive and false negative is effectively reduced, and the defect detection efficiency is effectively improved through the automation technology. 本发明公开</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2023</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNyr0KwjAUhuEsDqLew_EChBaxupaiODmIzuXYfNGC-SE5Ab17g3gBTs_wvlN1bbN4yzIOdM5JKER_j2xJw2CQghRG78hCHl4TO03pnQSWbpygqSQDlhxBeEnk7z1XE8PPhMXPmVoe9pfuuELwPVLgAQ7Sd6e6bppdta027fqf5wP8Szl5</recordid><startdate>20230901</startdate><enddate>20230901</enddate><creator>LI BAO</creator><creator>ZHANG JIANFENG</creator><creator>TAN SHUANG</creator><creator>JIANG RENSHUANG</creator><creator>DING YAN</creator><creator>DONG PAN</creator><creator>HUANG CHENLIN</creator><creator>LUO JUN</creator><creator>REN YI</creator><creator>TAN YUSONG</creator><creator>WANG XIAOCHUAN</creator><creator>JIAN SONGLEI</creator><scope>EVB</scope></search><sort><creationdate>20230901</creationdate><title>Automatic Rust program defect detection method and system based on feature extraction</title><author>LI BAO ; ZHANG JIANFENG ; TAN SHUANG ; JIANG RENSHUANG ; DING YAN ; DONG PAN ; HUANG CHENLIN ; LUO JUN ; REN YI ; TAN YUSONG ; WANG XIAOCHUAN ; JIAN SONGLEI</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_CN116680705A3</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>chi ; eng</language><creationdate>2023</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>LI BAO</creatorcontrib><creatorcontrib>ZHANG JIANFENG</creatorcontrib><creatorcontrib>TAN SHUANG</creatorcontrib><creatorcontrib>JIANG RENSHUANG</creatorcontrib><creatorcontrib>DING YAN</creatorcontrib><creatorcontrib>DONG PAN</creatorcontrib><creatorcontrib>HUANG CHENLIN</creatorcontrib><creatorcontrib>LUO JUN</creatorcontrib><creatorcontrib>REN YI</creatorcontrib><creatorcontrib>TAN YUSONG</creatorcontrib><creatorcontrib>WANG XIAOCHUAN</creatorcontrib><creatorcontrib>JIAN SONGLEI</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>LI BAO</au><au>ZHANG JIANFENG</au><au>TAN SHUANG</au><au>JIANG RENSHUANG</au><au>DING YAN</au><au>DONG PAN</au><au>HUANG CHENLIN</au><au>LUO JUN</au><au>REN YI</au><au>TAN YUSONG</au><au>WANG XIAOCHUAN</au><au>JIAN SONGLEI</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Automatic Rust program defect detection method and system based on feature extraction</title><date>2023-09-01</date><risdate>2023</risdate><abstract>The invention discloses a method and system for automatically detecting defects of a Rust program based on feature extraction, and the method comprises the steps: forming each type of unsafe operation data set as the input of feature extraction by analyzing the main use scene of limited unsafe Rust in the Rust and statically analyzing the essential unsafe reason of an unsafe code; analyzing specific reasons, sources and use scenes of unsafety of the unsafe Russes, and constructing a defect data set containing each type of unsafe operation; analyzing the lexical rules of the unsafe operations in the defect data set, and obtaining keywords, function names and operator information of each type of unsafe Rust operations; and designing defect detection based on feature recognition according to the features of the limited class unsafe Rust. The probability of false positive and false negative is effectively reduced, and the defect detection efficiency is effectively improved through the automation technology. 本发明公开</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language chi ; eng
recordid cdi_epo_espacenet_CN116680705A
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title Automatic Rust program defect detection method and system based on feature extraction
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T01%3A43%3A31IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=LI%20BAO&rft.date=2023-09-01&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3ECN116680705A%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true