{"id":"https://openalex.org/W2962081793","doi":"https://doi.org/10.1145/3293882.3338998","title":"VBSAC: a value-based static analyzer for C","display_name":"VBSAC: a value-based static analyzer for C","publication_year":2019,"publication_date":"2019-07-10","ids":{"openalex":"https://openalex.org/W2962081793","doi":"https://doi.org/10.1145/3293882.3338998","mag":"2962081793"},"language":"en","primary_location":{"id":"doi:10.1145/3293882.3338998","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3293882.3338998","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100351589","display_name":"Chi Li","orcid":"https://orcid.org/0000-0001-7873-3173"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chi Li","raw_affiliation_strings":["Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071579968","display_name":"Min Zhou","orcid":"https://orcid.org/0000-0002-4679-0488"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Min Zhou","raw_affiliation_strings":["Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010494711","display_name":"Zuxing Gu","orcid":"https://orcid.org/0000-0003-1184-2302"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zuxing Gu","raw_affiliation_strings":["Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100323047","display_name":"Guang Chen","orcid":"https://orcid.org/0000-0003-2048-7699"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guang Chen","raw_affiliation_strings":["Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102991019","display_name":"Yuexing Wang","orcid":"https://orcid.org/0000-0002-5677-684X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuexing Wang","raw_affiliation_strings":["Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021215265","display_name":"Jiecheng Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiecheng Wu","raw_affiliation_strings":["Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100846520","display_name":"Ming Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ming Gu","raw_affiliation_strings":["Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":0.2195,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45824581,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"382","last_page":"385"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7878084778785706},{"id":"https://openalex.org/keywords/traverse","display_name":"Traverse","score":0.6576309204101562},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5819182991981506},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.5379083752632141},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5302526354789734},{"id":"https://openalex.org/keywords/spectrum-analyzer","display_name":"Spectrum analyzer","score":0.4865366518497467},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47587671875953674},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4500126242637634},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.42928171157836914},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4279172420501709},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.42565396428108215},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.42185789346694946},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32227808237075806},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.24825218319892883},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22876855731010437},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20216727256774902},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1629769504070282}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7878084778785706},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.6576309204101562},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5819182991981506},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.5379083752632141},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5302526354789734},{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.4865366518497467},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47587671875953674},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4500126242637634},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.42928171157836914},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4279172420501709},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.42565396428108215},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.42185789346694946},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32227808237075806},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.24825218319892883},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22876855731010437},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20216727256774902},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1629769504070282},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3293882.3338998","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3293882.3338998","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1969785126","https://openalex.org/W1973151996","https://openalex.org/W2008626182","https://openalex.org/W2036208810","https://openalex.org/W2065947145","https://openalex.org/W2508576555","https://openalex.org/W2773223713","https://openalex.org/W3140172417"],"related_works":["https://openalex.org/W1999711970","https://openalex.org/W2166895275","https://openalex.org/W2151163382","https://openalex.org/W2998775986","https://openalex.org/W1971022286","https://openalex.org/W1484884871","https://openalex.org/W4384302888","https://openalex.org/W1565879960","https://openalex.org/W3022519409","https://openalex.org/W94523631"],"abstract_inverted_index":{"Static":[0],"analysis":[1,67,110],"has":[2],"long":[3],"prevailed":[4],"as":[5,80],"a":[6,46,64,81,118],"promising":[7],"approach":[8],"to":[9,18,28,53,75,101,112,122,140],"detect":[10,113],"program":[11,99],"bugs":[12,149],"at":[13],"an":[14],"early":[15],"development":[16],"process":[17],"increase":[19],"software":[20],"quality.":[21],"However,":[22],"such":[23],"tools":[24,144],"face":[25],"great":[26],"challenges":[27],"balance":[29],"the":[30,34,55,77,85,93,103,108,126],"false-positive":[31],"rate":[32,36],"and":[33,57,97,150],"false-negative":[35],"in":[37],"practical":[38],"use.":[39],"In":[40,59],"this":[41],"paper,":[42],"we":[43,62,137],"present":[44],"VBSAC,":[45],"value-based":[47,66,90],"static":[48],"analyzer":[49],"for":[50],"C":[51],"aiming":[52],"improve":[54],"precision":[56],"recall.":[58],"our":[60],"tool,":[61],"employ":[63],"pluggable":[65],"strategy.":[68],"A":[69],"memory":[70,78],"skeleton":[71],"recorder":[72],"is":[73],"designed":[74],"maintain":[76],"objects":[79],"baseline.":[82],"While":[83],"traversing":[84],"control":[86],"flow":[87],"graph,":[88],"diverse":[89],"plug-ins":[91],"analyze":[92],"specific":[94],"abstract":[95],"domains":[96],"share":[98],"information":[100],"strengthen":[102],"computation.":[104],"Simultaneously,":[105],"checkers":[106],"consume":[107],"corresponding":[109],"results":[111],"bugs.":[114],"We":[115],"also":[116],"provide":[117],"user-friendly":[119],"web":[120],"interface":[121],"help":[123],"users":[124],"audit":[125],"bug":[127,142],"detection":[128,143],"results.":[129],"Evaluation":[130],"on":[131],"two":[132],"widely-used":[133],"benchmarks":[134],"shows":[135],"that":[136],"perform":[138],"better":[139],"state-of-the-art":[141],"by":[145],"finding":[146],"221-339":[147],"more":[148],"improving":[151],"F-Score":[152],"9.88%-40.32%.":[153]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}