STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic

Among various abstract domains, the interval domain is simple but also less precise. To improve the precision of static defect detection based on the interval domain, we propose a symbolic three-valued logic (STVL) based interval analysis. Our STVL differs from other symbolic techniques in that it i...

Full description

Saved in:
Bibliographic Details
Main Authors: Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Concrete
Context
Context modeling
Data structures
inter/intra-procedural analysis
interval analysis
pointer analysis
Polynomials
procedure summary
Reactive power
symbolic execution
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 186
container_issue
container_start_page 179
container_title
container_volume
creator Yunshan Zhao
Yawen Wang
Yunzhan Gong
Honghe Chen
Qing Xiao
Zhaohong Yang
description Among various abstract domains, the interval domain is simple but also less precise. To improve the precision of static defect detection based on the interval domain, we propose a symbolic three-valued logic (STVL) based interval analysis. Our STVL differs from other symbolic techniques in that it is capable of handling the logical relationship between variables, which could help eliminating false positives. In addition, for the pointer related defect detection, we introduce a STVL-based pointer model, which naturally supports the pointer arithmetic operation, alias analysis and point-to memory abstraction. Moreover, we present a unified symbolic procedure summary model, also STVL-based, to extract the call effect of each invocation and achieve context-sensitivity. Experimental results indicate that the technique is able to achieve sizable precision improvements at reasonable costs, compared with the none-symbolic method.
doi_str_mv 10.1109/APSEC.2011.23
format conference_proceeding
fullrecord <record><control><sourceid>ieee_CHZPO</sourceid><recordid>TN_cdi_ieee_primary_6130685</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6130685</ieee_id><sourcerecordid>6130685</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-36e3e5f13f6c71ea440f3db2c459f71a7d4f6fd21b244e7e01f8539dd1110c093</originalsourceid><addsrcrecordid>eNotkEtLw0AURscXWGqXrtzMH0i9d54dd6VWLQQsJNRlSSZ37EBrSjIq_nvjY3UW5-MsPsauEaaI4G7n62K5mApAnAp5wibOzsAap5UBp07ZSBgFGVjUZ78OlbZWoHN4zkaoJWQojbhkk76PNaCeSaGMGrGXotzkd3x1OHbtB_G0I77uyMc-tm-8DbxIVYqe31MgnwakAT_qM6YdL74OdbsfdLnriLJNtX-nhufta_RX7CJU-54m_xyz8mFZLp6y_PlxtZjnWXSQMmlIkg4og_EWqVIKgmxq4ZV2wWJlGxVMaATWQimyBBhmWrqmweETD06O2c1fNhLR9tjFQ9V9bQ1KMMPwG2uAVS8</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic</title><source>IEEE Xplore All Conference Series</source><creator>Yunshan Zhao ; Yawen Wang ; Yunzhan Gong ; Honghe Chen ; Qing Xiao ; Zhaohong Yang</creator><creatorcontrib>Yunshan Zhao ; Yawen Wang ; Yunzhan Gong ; Honghe Chen ; Qing Xiao ; Zhaohong Yang</creatorcontrib><description>Among various abstract domains, the interval domain is simple but also less precise. To improve the precision of static defect detection based on the interval domain, we propose a symbolic three-valued logic (STVL) based interval analysis. Our STVL differs from other symbolic techniques in that it is capable of handling the logical relationship between variables, which could help eliminating false positives. In addition, for the pointer related defect detection, we introduce a STVL-based pointer model, which naturally supports the pointer arithmetic operation, alias analysis and point-to memory abstraction. Moreover, we present a unified symbolic procedure summary model, also STVL-based, to extract the call effect of each invocation and achieve context-sensitivity. Experimental results indicate that the technique is able to achieve sizable precision improvements at reasonable costs, compared with the none-symbolic method.</description><identifier>ISSN: 1530-1362</identifier><identifier>ISBN: 9781457721991</identifier><identifier>ISBN: 1457721996</identifier><identifier>EISSN: 2640-0715</identifier><identifier>EISBN: 9780769546094</identifier><identifier>EISBN: 0769546099</identifier><identifier>DOI: 10.1109/APSEC.2011.23</identifier><language>eng</language><publisher>IEEE</publisher><subject>Analytical models ; Concrete ; Context ; Context modeling ; Data structures ; inter/intra-procedural analysis ; interval analysis ; pointer analysis ; Polynomials ; procedure summary ; Reactive power ; symbolic execution</subject><ispartof>2011 18th Asia-Pacific Software Engineering Conference, 2011, p.179-186</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6130685$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54555,54920,54932</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6130685$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Yunshan Zhao</creatorcontrib><creatorcontrib>Yawen Wang</creatorcontrib><creatorcontrib>Yunzhan Gong</creatorcontrib><creatorcontrib>Honghe Chen</creatorcontrib><creatorcontrib>Qing Xiao</creatorcontrib><creatorcontrib>Zhaohong Yang</creatorcontrib><title>STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic</title><title>2011 18th Asia-Pacific Software Engineering Conference</title><addtitle>apsec</addtitle><description>Among various abstract domains, the interval domain is simple but also less precise. To improve the precision of static defect detection based on the interval domain, we propose a symbolic three-valued logic (STVL) based interval analysis. Our STVL differs from other symbolic techniques in that it is capable of handling the logical relationship between variables, which could help eliminating false positives. In addition, for the pointer related defect detection, we introduce a STVL-based pointer model, which naturally supports the pointer arithmetic operation, alias analysis and point-to memory abstraction. Moreover, we present a unified symbolic procedure summary model, also STVL-based, to extract the call effect of each invocation and achieve context-sensitivity. Experimental results indicate that the technique is able to achieve sizable precision improvements at reasonable costs, compared with the none-symbolic method.</description><subject>Analytical models</subject><subject>Concrete</subject><subject>Context</subject><subject>Context modeling</subject><subject>Data structures</subject><subject>inter/intra-procedural analysis</subject><subject>interval analysis</subject><subject>pointer analysis</subject><subject>Polynomials</subject><subject>procedure summary</subject><subject>Reactive power</subject><subject>symbolic execution</subject><issn>1530-1362</issn><issn>2640-0715</issn><isbn>9781457721991</isbn><isbn>1457721996</isbn><isbn>9780769546094</isbn><isbn>0769546099</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2011</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotkEtLw0AURscXWGqXrtzMH0i9d54dd6VWLQQsJNRlSSZ37EBrSjIq_nvjY3UW5-MsPsauEaaI4G7n62K5mApAnAp5wibOzsAap5UBp07ZSBgFGVjUZ78OlbZWoHN4zkaoJWQojbhkk76PNaCeSaGMGrGXotzkd3x1OHbtB_G0I77uyMc-tm-8DbxIVYqe31MgnwakAT_qM6YdL74OdbsfdLnriLJNtX-nhufta_RX7CJU-54m_xyz8mFZLp6y_PlxtZjnWXSQMmlIkg4og_EWqVIKgmxq4ZV2wWJlGxVMaATWQimyBBhmWrqmweETD06O2c1fNhLR9tjFQ9V9bQ1KMMPwG2uAVS8</recordid><startdate>201112</startdate><enddate>201112</enddate><creator>Yunshan Zhao</creator><creator>Yawen Wang</creator><creator>Yunzhan Gong</creator><creator>Honghe Chen</creator><creator>Qing Xiao</creator><creator>Zhaohong Yang</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201112</creationdate><title>STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic</title><author>Yunshan Zhao ; Yawen Wang ; Yunzhan Gong ; Honghe Chen ; Qing Xiao ; Zhaohong Yang</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-36e3e5f13f6c71ea440f3db2c459f71a7d4f6fd21b244e7e01f8539dd1110c093</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2011</creationdate><topic>Analytical models</topic><topic>Concrete</topic><topic>Context</topic><topic>Context modeling</topic><topic>Data structures</topic><topic>inter/intra-procedural analysis</topic><topic>interval analysis</topic><topic>pointer analysis</topic><topic>Polynomials</topic><topic>procedure summary</topic><topic>Reactive power</topic><topic>symbolic execution</topic><toplevel>online_resources</toplevel><creatorcontrib>Yunshan Zhao</creatorcontrib><creatorcontrib>Yawen Wang</creatorcontrib><creatorcontrib>Yunzhan Gong</creatorcontrib><creatorcontrib>Honghe Chen</creatorcontrib><creatorcontrib>Qing Xiao</creatorcontrib><creatorcontrib>Zhaohong Yang</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Yunshan Zhao</au><au>Yawen Wang</au><au>Yunzhan Gong</au><au>Honghe Chen</au><au>Qing Xiao</au><au>Zhaohong Yang</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic</atitle><btitle>2011 18th Asia-Pacific Software Engineering Conference</btitle><stitle>apsec</stitle><date>2011-12</date><risdate>2011</risdate><spage>179</spage><epage>186</epage><pages>179-186</pages><issn>1530-1362</issn><eissn>2640-0715</eissn><isbn>9781457721991</isbn><isbn>1457721996</isbn><eisbn>9780769546094</eisbn><eisbn>0769546099</eisbn><abstract>Among various abstract domains, the interval domain is simple but also less precise. To improve the precision of static defect detection based on the interval domain, we propose a symbolic three-valued logic (STVL) based interval analysis. Our STVL differs from other symbolic techniques in that it is capable of handling the logical relationship between variables, which could help eliminating false positives. In addition, for the pointer related defect detection, we introduce a STVL-based pointer model, which naturally supports the pointer arithmetic operation, alias analysis and point-to memory abstraction. Moreover, we present a unified symbolic procedure summary model, also STVL-based, to extract the call effect of each invocation and achieve context-sensitivity. Experimental results indicate that the technique is able to achieve sizable precision improvements at reasonable costs, compared with the none-symbolic method.</abstract><pub>IEEE</pub><doi>10.1109/APSEC.2011.23</doi><tpages>8</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1530-1362
ispartof 2011 18th Asia-Pacific Software Engineering Conference, 2011, p.179-186
issn 1530-1362
2640-0715
language eng
recordid cdi_ieee_primary_6130685
source IEEE Xplore All Conference Series
subjects Analytical models
Concrete
Context
Context modeling
Data structures
inter/intra-procedural analysis
interval analysis
pointer analysis
Polynomials
procedure summary
Reactive power
symbolic execution
title STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T11%3A00%3A07IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_CHZPO&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=STVL:%20Improve%20the%20Precision%20of%20Static%20Defect%20Detection%20with%20Symbolic%20Three-Valued%20Logic&rft.btitle=2011%2018th%20Asia-Pacific%20Software%20Engineering%20Conference&rft.au=Yunshan%20Zhao&rft.date=2011-12&rft.spage=179&rft.epage=186&rft.pages=179-186&rft.issn=1530-1362&rft.eissn=2640-0715&rft.isbn=9781457721991&rft.isbn_list=1457721996&rft_id=info:doi/10.1109/APSEC.2011.23&rft.eisbn=9780769546094&rft.eisbn_list=0769546099&rft_dat=%3Cieee_CHZPO%3E6130685%3C/ieee_CHZPO%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i90t-36e3e5f13f6c71ea440f3db2c459f71a7d4f6fd21b244e7e01f8539dd1110c093%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6130685&rfr_iscdi=true