{"id":"https://openalex.org/W4400583058","doi":"https://doi.org/10.1145/3660781","title":"Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles","display_name":"Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles","publication_year":2024,"publication_date":"2024-07-12","ids":{"openalex":"https://openalex.org/W4400583058","doi":"https://doi.org/10.1145/3660781"},"language":"en","primary_location":{"id":"doi:10.1145/3660781","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3660781","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Finding_and_understanding_defects_in_static_analyzers_by_constructing_automated_oracles/30801161","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035715359","display_name":"Weigang He","orcid":"https://orcid.org/0009-0002-2086-7034"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Weigang He","raw_affiliation_strings":["East China Normal University, Shanghai, China","University of Technology Sydney, Sydney, Australia","East China Normal University, Shanghai, China / University of Technology Sydney, Sydney, Australia"],"raw_orcid":"https://orcid.org/0009-0002-2086-7034","affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"University of Technology Sydney, Sydney, Australia","institution_ids":["https://openalex.org/I114017466"]},{"raw_affiliation_string":"East China Normal University, Shanghai, China / University of Technology Sydney, Sydney, Australia","institution_ids":["https://openalex.org/I114017466","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000833287","display_name":"Peng Di","orcid":"https://orcid.org/0000-0002-5799-5876"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng Di","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-5799-5876","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104423925","display_name":"Mengli Ming","orcid":"https://orcid.org/0009-0002-6010-893X"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mengli Ming","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0002-6010-893X","affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100722691","display_name":"Chengyu Zhang","orcid":"https://orcid.org/0000-0002-7285-289X"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Chengyu Zhang","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-7285-289X","affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043441209","display_name":"Ting Su","orcid":"https://orcid.org/0000-0003-1628-9796"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Su","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-1628-9796","affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100458981","display_name":"Shijie Li","orcid":"https://orcid.org/0009-0002-7223-7843"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shijie Li","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0002-7223-7843","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053058502","display_name":"Yulei Sui","orcid":"https://orcid.org/0000-0002-9510-6574"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yulei Sui","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-9510-6574","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.6796,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.95071842,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"1","issue":"FSE","first_page":"1656","last_page":"1678"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991000294685364,"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.9991000294685364,"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.9986000061035156,"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.996399998664856,"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.649715781211853},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34466660022735596}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.649715781211853},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34466660022735596}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3660781","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3660781","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:figshare.com:article/30801161","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Finding_and_understanding_defects_in_static_analyzers_by_constructing_automated_oracles/30801161","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/30801161","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Finding_and_understanding_defects_in_static_analyzers_by_constructing_automated_oracles/30801161","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7099999785423279}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W190884830","https://openalex.org/W2023035194","https://openalex.org/W2040158828","https://openalex.org/W2041713059","https://openalex.org/W2107147876","https://openalex.org/W2109156518","https://openalex.org/W2140021378","https://openalex.org/W2155877593","https://openalex.org/W2156633971","https://openalex.org/W2159712408","https://openalex.org/W2170737051","https://openalex.org/W2256863551","https://openalex.org/W2289498116","https://openalex.org/W2297774820","https://openalex.org/W2621980927","https://openalex.org/W2761359361","https://openalex.org/W2782311202","https://openalex.org/W2784876765","https://openalex.org/W2867457158","https://openalex.org/W2888538076","https://openalex.org/W2962458576","https://openalex.org/W2963762601","https://openalex.org/W2967572128","https://openalex.org/W3006937969","https://openalex.org/W3089375544","https://openalex.org/W3092430836","https://openalex.org/W3095568965","https://openalex.org/W3096325586","https://openalex.org/W3131705400","https://openalex.org/W4232102365","https://openalex.org/W4238083723","https://openalex.org/W4285490477","https://openalex.org/W4307474435","https://openalex.org/W4312455771","https://openalex.org/W4383898398","https://openalex.org/W4384154578","https://openalex.org/W4388240263","https://openalex.org/W4389158953","https://openalex.org/W4394745436"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Static":[0,134,138],"analyzers":[1,33,61,66,78,98],"are":[2],"playing":[3],"crucial":[4,21],"roles":[5],"in":[6,25,31,58,96,148],"helping":[7],"find":[8,94],"programming":[9],"mistakes":[10],"and":[11,48,70,73,113,141,175,180,197],"security":[12],"vulnerabilities.":[13],"The":[14,103],"correctness":[15],"of":[16,76,90,152],"their":[17],"analysis":[18,121],"results":[19,75],"is":[20,62,106],"for":[22,178,195],"the":[23,28,42,56,74,114,118,160,189,199],"usability":[24],"practice.":[26],"Otherwise,":[27],"potential":[29],"defects":[30,57,95,147,170],"these":[32,65,125,149,168],"(e.g.,":[34],"implementation":[35],"errors,":[36],"improper":[37],"design":[38],"choices)":[39],"could":[40],"affect":[41],"soundness":[43],"(leading":[44,50],"to":[45,51,93],"false":[46,52],"negatives)":[47],"precision":[49],"positives).":[53],"However,":[54],"finding":[55],"off-the-shelf":[59],"static":[60,97,120,131,183],"challenging":[63],"because":[64],"usually":[67],"lack":[68],"clear":[69],"complete":[71],"specifications,":[72],"different":[77],"may":[79],"differ.":[80],"To":[81],"this":[82,84],"end,":[83],"paper":[85],"designs":[86],"two":[87,126],"novel":[88],"types":[89],"automated":[91],"oracles":[92,127],"with":[99],"randomly":[100],"generated":[101],"programs.":[102],"first":[104],"oracle":[105],"constructed":[107],"by":[108,159,172],"using":[109],"dynamic":[110],"program":[111],"executions":[112],"second":[115],"one":[116],"leverages":[117],"inferred":[119],"results.":[122],"We":[123,143,162,185],"applied":[124],"on":[128,167],"three":[129],"state-of-the-art":[130],"analyzers:":[132],"Clang":[133],"Analyzer":[135,139],"(CSA),":[136],"GCC":[137],"(GSA),":[140],"Pinpoint.":[142],"found":[144,169],"38":[145],"unique":[146],"analyzers,":[150],"28":[151],"which":[153],"have":[154,186],"been":[155],"confirmed":[156],"or":[157],"fixed":[158],"developers.":[161],"conducted":[163],"a":[164],"case":[165],"study":[166],"followed":[171],"several":[173],"insights":[174],"lessons":[176],"learned":[177],"improving":[179],"better":[181],"understanding":[182],"analyzers.":[184],"made":[187],"all":[188],"artifacts":[190],"publicly":[191],"available":[192],"at":[193],"https://github.com/Geoffrey1014/SA_Bugs":[194],"replication":[196],"benefit":[198],"community.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}