{"id":"https://openalex.org/W2120981580","doi":"https://doi.org/10.1145/1251535.1251549","title":"Improving software quality with static analysis","display_name":"Improving software quality with static analysis","publication_year":2007,"publication_date":"2007-06-13","ids":{"openalex":"https://openalex.org/W2120981580","doi":"https://doi.org/10.1145/1251535.1251549","mag":"2120981580"},"language":"en","primary_location":{"id":"doi:10.1145/1251535.1251549","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1251535.1251549","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering","raw_type":"proceedings-article"},"type":"article","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/A5038702707","display_name":"Jeffrey S. Foster","orcid":"https://orcid.org/0000-0001-8043-1166"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jeffrey S. Foster","raw_affiliation_strings":["University of Maryland: College Park, College Park, MD","[University of Maryland, College Park, College Park, MD]"],"affiliations":[{"raw_affiliation_string":"University of Maryland: College Park, College Park, MD","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"[University of Maryland, College Park, College Park, MD]","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046625836","display_name":"Michael Hicks","orcid":"https://orcid.org/0000-0002-2759-9223"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael W. Hicks","raw_affiliation_strings":["University of Maryland: College Park, College Park, MD","[University of Maryland, College Park, College Park, MD]"],"affiliations":[{"raw_affiliation_string":"University of Maryland: College Park, College Park, MD","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"[University of Maryland, College Park, College Park, MD]","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026960776","display_name":"William Pugh","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William Pugh","raw_affiliation_strings":["University of Maryland: College Park, College Park, MD","[University of Maryland, College Park, College Park, MD]"],"affiliations":[{"raw_affiliation_string":"University of Maryland: College Park, College Park, MD","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"[University of Maryland, College Park, College Park, MD]","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5038702707"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":null,"apc_paid":null,"fwci":3.1648,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.93053198,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"83","last_page":"84"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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.9997000098228455,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"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.7883738279342651},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6926904916763306},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.6189398765563965},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5658519268035889},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5406363606452942},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.5265562534332275},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.5200488567352295},{"id":"https://openalex.org/keywords/pace","display_name":"Pace","score":0.49612507224082947},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.48520544171333313},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48295682668685913},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.45313894748687744},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.432804673910141},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3767164945602417},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1451958417892456},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12427020072937012}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7883738279342651},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6926904916763306},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.6189398765563965},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5658519268035889},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5406363606452942},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.5265562534332275},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.5200488567352295},{"id":"https://openalex.org/C2777526511","wikidata":"https://www.wikidata.org/wiki/Q691543","display_name":"Pace","level":2,"score":0.49612507224082947},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.48520544171333313},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48295682668685913},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.45313894748687744},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.432804673910141},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3767164945602417},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1451958417892456},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12427020072937012},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1251535.1251549","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1251535.1251549","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1534545952","https://openalex.org/W1855973055","https://openalex.org/W1986453394","https://openalex.org/W2053465247","https://openalex.org/W2066183757","https://openalex.org/W2106703803","https://openalex.org/W2108827856","https://openalex.org/W2124750597","https://openalex.org/W2158449625","https://openalex.org/W2159388995","https://openalex.org/W4232645513","https://openalex.org/W4247981256","https://openalex.org/W4249000722"],"related_works":["https://openalex.org/W3007026952","https://openalex.org/W119580281","https://openalex.org/W4380568682","https://openalex.org/W2051591137","https://openalex.org/W2798306226","https://openalex.org/W4386970213","https://openalex.org/W2964704886","https://openalex.org/W886427026","https://openalex.org/W3125292927","https://openalex.org/W1494025131"],"abstract_inverted_index":{"At":[0],"the":[1,11,34,65,100,166,180],"University":[2],"of":[3,15,42,67,102,115,119,127,146,168],"Maryland,":[4],"we":[5,188],"have":[6],"been":[7],"working":[8],"to":[9,49,85,97,108,136,141,154],"improve":[10,64],"reliability":[12],"and":[13,96,140,173,193],"security":[14],"software":[16,27,35,71,171],"by":[17],"developing":[18],"new,":[19],"effective":[20],"static":[21],"analysis":[22,74],"tools.":[23],"These":[24],"tools":[25,87,129],"scan":[26],"for":[28,164],"bug":[29],"patterns":[30],"or":[31,69,144],"show":[32],"that":[33,89,158],"is":[36,57,84,162],"free":[37],"from":[38,179],"a":[39,61,111],"particular":[40],"class":[41],"defects.":[43],"There":[44],"are":[45],"two":[46],"themes":[47],"common":[48],"our":[50,120,128,138,147],"different":[51],"projects:":[52],"1.":[53],"Our":[54],"ultimate":[55],"focus":[56],"on":[58],"utility:":[59],"can":[60,91],"programmer":[62],"actually":[63],"quality":[66],"his":[68],"her":[70],"using":[72],"an":[73],"tool?":[75],"The":[76,106],"important":[77,163],"first":[78],"step":[79],"toward":[80],"answering":[81],"this":[82,184],"question":[83],"engineer":[86],"so":[88],"they":[90],"analyze":[92],"existing,":[93],"nontrivial":[94],"programs,":[95],"carefully":[98],"report":[99],"results":[101,170],"such":[103],"analyses":[104],"experimentally.":[105],"desire":[107],"better":[109],"understand":[110],"more":[112],"human-centered":[113],"notion":[114],"utility":[116],"underlies":[117],"much":[118],"future":[121,195],"work.":[122],"2.":[123],"We":[124,156],"release":[125],"all":[126,145],"open":[130],"source.":[131],"This":[132],"allows":[133,177],"other":[134],"researchers":[135],"verify":[137],"results,":[139],"reuse":[142],"some":[143,190],"implementations,":[148],"which":[149],"often":[150],"required":[151],"significant":[152],"effort":[153],"engineer.":[155],"believe":[157],"releasing":[159],"source":[160],"code":[161],"accelerating":[165],"pace":[167],"research":[169,185],"quality,":[172],"just":[174],"as":[175],"importantly":[176],"feedback":[178],"wider":[181],"community.":[182],"In":[183],"group":[186],"presentation,":[187],"summarize":[189],"recent":[191],"work":[192],"sketch":[194],"directions.":[196]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}