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...
Gespeichert in:
Hauptverfasser: | , , , , , , , , , , , |
---|---|
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&date=20230901&DB=EPODOC&CC=CN&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&date=20230901&DB=EPODOC&CC=CN&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 |