{"id":"https://openalex.org/W3196559688","doi":"https://doi.org/10.1145/3524610.3527899","title":"Find bugs in static bug finders","display_name":"Find bugs in static bug finders","publication_year":2022,"publication_date":"2022-05-16","ids":{"openalex":"https://openalex.org/W3196559688","doi":"https://doi.org/10.1145/3524610.3527899","mag":"3196559688"},"language":"en","primary_location":{"id":"doi:10.1145/3524610.3527899","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3524610.3527899","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3524610.3527899","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3524610.3527899","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108814327","display_name":"Junjie Wang","orcid":"https://orcid.org/0000-0002-9941-6713"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Junjie Wang","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048267891","display_name":"Yuchao Huang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuchao Huang","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100326213","display_name":"Song Wang","orcid":"https://orcid.org/0000-0003-0531-5717"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Song Wang","raw_affiliation_strings":["York University, Canada"],"affiliations":[{"raw_affiliation_string":"York University, Canada","institution_ids":["https://openalex.org/I192455969"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100434820","display_name":"Qing Wang","orcid":"https://orcid.org/0000-0002-2618-5694"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing Wang","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5108814327"],"corresponding_institution_ids":["https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":3.1869,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.92681712,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"516","last_page":"527"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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":1.0,"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.9997000098228455,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/static-analysis","display_name":"Static analysis","score":0.8155080080032349},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.8030269145965576},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7417640686035156},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.6820699572563171},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.6041213870048523},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4874294102191925},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4745044410228729},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47400104999542236},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.43548861145973206},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.42155390977859497},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.4193785786628723},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34471893310546875},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32451528310775757},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31153178215026855},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.27104759216308594},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26991868019104004}],"concepts":[{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8155080080032349},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.8030269145965576},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7417640686035156},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.6820699572563171},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.6041213870048523},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4874294102191925},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4745044410228729},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47400104999542236},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.43548861145973206},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.42155390977859497},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.4193785786628723},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34471893310546875},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32451528310775757},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31153178215026855},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.27104759216308594},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26991868019104004},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3524610.3527899","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3524610.3527899","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3524610.3527899","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3524610.3527899","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3524610.3527899","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3524610.3527899","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1292274175","display_name":null,"funder_award_id":"B14034","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1303213773","display_name":null,"funder_award_id":"2018YFB1403400","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G1581568102","display_name":null,"funder_award_id":"62072442","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1599553943","display_name":null,"funder_award_id":"B14034","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G2387320696","display_name":null,"funder_award_id":"No.2018YFB1403400","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G3194369973","display_name":null,"funder_award_id":"62002348","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6051401802","display_name":null,"funder_award_id":"No.62072442","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6688104968","display_name":null,"funder_award_id":"620023","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320335892","display_name":"Youth Innovation Promotion Association","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3196559688.pdf","grobid_xml":"https://content.openalex.org/works/W3196559688.grobid-xml"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1803273808","https://openalex.org/W1966021031","https://openalex.org/W1966976587","https://openalex.org/W1984041362","https://openalex.org/W1986453394","https://openalex.org/W1989657183","https://openalex.org/W1993836075","https://openalex.org/W2008626182","https://openalex.org/W2019230987","https://openalex.org/W2054520963","https://openalex.org/W2064296229","https://openalex.org/W2069798959","https://openalex.org/W2078393527","https://openalex.org/W2080529963","https://openalex.org/W2082314767","https://openalex.org/W2086464170","https://openalex.org/W2093094052","https://openalex.org/W2098456636","https://openalex.org/W2107024044","https://openalex.org/W2111421634","https://openalex.org/W2124666592","https://openalex.org/W2145458045","https://openalex.org/W2149598089","https://openalex.org/W2153579005","https://openalex.org/W2156828991","https://openalex.org/W2163619189","https://openalex.org/W2170737051","https://openalex.org/W2240406150","https://openalex.org/W2390518826","https://openalex.org/W2513738415","https://openalex.org/W2548949553","https://openalex.org/W2560823834","https://openalex.org/W2618689158","https://openalex.org/W2646484260","https://openalex.org/W2767304105","https://openalex.org/W2770290320","https://openalex.org/W2784876765","https://openalex.org/W2792425537","https://openalex.org/W2792451387","https://openalex.org/W2793775745","https://openalex.org/W2802838214","https://openalex.org/W2883889688","https://openalex.org/W2888223970","https://openalex.org/W2888448570","https://openalex.org/W2888824816","https://openalex.org/W2895443487","https://openalex.org/W2899272441","https://openalex.org/W2899516694","https://openalex.org/W2900761207","https://openalex.org/W2942625968","https://openalex.org/W2954469728","https://openalex.org/W2954903132","https://openalex.org/W2954978134","https://openalex.org/W2955578429","https://openalex.org/W2955656327","https://openalex.org/W2956261528","https://openalex.org/W2980273018","https://openalex.org/W2990685757","https://openalex.org/W2997653900","https://openalex.org/W2998704965","https://openalex.org/W3006613871","https://openalex.org/W3014251356","https://openalex.org/W3029993213","https://openalex.org/W3037099619","https://openalex.org/W3085794062","https://openalex.org/W4229842944","https://openalex.org/W4238083723","https://openalex.org/W4241395538","https://openalex.org/W4253836671","https://openalex.org/W4254666025","https://openalex.org/W4281564584","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4213243744","https://openalex.org/W2751940653","https://openalex.org/W4233410239","https://openalex.org/W3196559688","https://openalex.org/W2891085887","https://openalex.org/W2078393527","https://openalex.org/W4250848060","https://openalex.org/W3003055204","https://openalex.org/W2545238856","https://openalex.org/W4384302888"],"abstract_inverted_index":{"Static":[0],"bug":[1,58,97,113,139,169,188,225,259],"finders":[2,59,98,226],"(also":[3],"known":[4],"as":[5,48,65,205,229,231],"static":[6,28,57,90,112,138,168,192,224,258],"code":[7,34,37],"analyzers,":[8],"e.g.,":[9],"Find-Bugs,":[10],"SonarQube)":[11],"have":[12,78,234],"been":[13,79,235],"widely-adopted":[14],"by":[15,62,103],"developers":[16],"to":[17,31,45,50,81,129,251],"find":[18],"bugs":[19,131,154,165],"in":[20,110,132,166,190,215],"real-world":[21],"software":[22,40],"projects.":[23],"They":[24],"leverage":[25],"predefined":[26],"heuristic":[27],"analysis":[29,91,193],"rules":[30,47,108,134,194,213],"scan":[32],"source":[33,161],"or":[35,87,176],"binary":[36],"of":[38,56,96,106,135,243,256],"a":[39,125,149],"project,":[41],"and":[42,145,147,178,199,210],"report":[43],"violations":[44],"these":[46,74],"warnings":[49],"be":[51,101],"verified.":[52],"However,":[53],"the":[54,94,104,111,133,153,167,179,191,206,222,241,249,254,257],"advantages":[55],"are":[60,174,181,227],"overshadowed":[61],"such":[63],"issues":[64],"uncovered":[66],"obvious":[67],"bugs,":[68],"false":[69,84],"positives,":[70],"etc.":[71],"To":[72],"improve":[73],"tools,":[75],"many":[76],"techniques":[77],"proposed":[80],"filter":[82],"out":[83],"positives":[85],"reported":[86],"design":[88],"new":[89],"rules.":[92],"Nevertheless,":[93],"under-performance":[95],"can":[99,203],"also":[100,185,247],"caused":[102],"incorrectness":[105],"current":[107],"contained":[109],"finders,":[114,140,170],"which":[115,172,202],"is":[116],"not":[117,228,238],"explored":[118],"yet.":[119],"In":[120],"this":[121],"work,":[122],"we":[123],"propose":[124],"differential":[126],"testing":[127],"approach":[128],"detect":[130],"four":[136],"widely-used":[137],"i.e.,":[141],"SonarQube,":[142],"PMD,":[143],"SpotBugs,":[144],"ErrorProne,":[146],"conduct":[148],"qualitative":[150],"study":[151,219],"about":[152],"found.":[155],"The":[156],"experiment":[157],"on":[158,196],"2,728":[159],"open":[160],"projects":[162],"reveals":[163],"46":[164],"among":[171],"30":[173],"fixed":[175],"confirmed":[177],"left":[180],"awaiting":[182],"confirmation.":[183],"We":[184],"summarize":[186],"13":[187],"patterns":[189],"based":[195],"their":[197],"context":[198],"root":[200],"causes,":[201],"serve":[204],"checklist":[207],"for":[208],"designing":[209],"implementing":[211],"other":[212,216],"and/or":[214],"tools.":[217],"This":[218],"indicates":[220],"that":[221],"commonly-used":[223],"reliable":[230],"they":[232],"might":[233],"envisaged.":[236],"It":[237],"only":[239],"demonstrates":[240],"effectiveness":[242],"our":[244],"approach,":[245],"but":[246],"highlights":[248],"need":[250],"continue":[252],"improving":[253],"reliability":[255],"finders.":[260]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}