{"id":"https://openalex.org/W2016505985","doi":"https://doi.org/10.1016/j.entcs.2010.08.046","title":"Fade to Grey: Tuning Static Program Analysis","display_name":"Fade to Grey: Tuning Static Program Analysis","publication_year":2010,"publication_date":"2010-09-29","ids":{"openalex":"https://openalex.org/W2016505985","doi":"https://doi.org/10.1016/j.entcs.2010.08.046","mag":"2016505985"},"language":"en","primary_location":{"id":"doi:10.1016/j.entcs.2010.08.046","doi":"https://doi.org/10.1016/j.entcs.2010.08.046","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2010.08.046","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/j.entcs.2010.08.046","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015799790","display_name":"Ansgar Fehnker","orcid":"https://orcid.org/0000-0002-5326-3432","observed_orcids":["https://orcid.org/0000-0002-5326-3432"]},"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"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Ansgar Fehnker","raw_affiliation_strings":["National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia","National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]},{"raw_affiliation_string":"National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia#TAB#","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019653057","display_name":"Ralf Huuck","orcid":null,"observed_orcids":[]},"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"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Ralf Huuck","raw_affiliation_strings":["National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia","National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]},{"raw_affiliation_string":"National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia#TAB#","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052196572","display_name":"Sean Seefried","orcid":null,"observed_orcids":[]},"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"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Sean Seefried","raw_affiliation_strings":["National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia","National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]},{"raw_affiliation_string":"National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia#TAB#","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044594783","display_name":"Michael Tapp","orcid":null,"observed_orcids":[]},"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"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Michael Tapp","raw_affiliation_strings":["National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia","National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]},{"raw_affiliation_string":"National ICT Australia Ltd. (NICTA), Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia#TAB#","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6815,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.88004453,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":"266","issue":null,"first_page":"17","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9740999937057495,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9740999937057495,"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/T10126","display_name":"Logic, programming, and type systems","score":0.016200000420212746,"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/T10260","display_name":"Software Engineering Research","score":0.007199999876320362,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.9900000095367432},{"id":"https://openalex.org/keywords/goanna","display_name":"goanna","score":0.9010000228881836},{"id":"https://openalex.org/keywords/large-scale-software-systems","display_name":"large software systems","score":0.7360000014305115},{"id":"https://openalex.org/keywords/over-approximation","display_name":"over-approximation","score":0.843999981880188},{"id":"https://openalex.org/keywords/property-specification-language","display_name":"Property Specification Language","score":0.8489999771118164},{"id":"https://openalex.org/keywords/reporting-strategies","display_name":"reporting strategies","score":0.7620000243186951},{"id":"https://openalex.org/keywords/memory-corruption","display_name":"memory corruption","score":0.47200000286102295},{"id":"https://openalex.org/keywords/memory-leaks","display_name":"memory leaks","score":0.625}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8336807489395142},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7533499002456665},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5983676314353943},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5791035890579224},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5282042622566223},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5207688212394714},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.519508957862854},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4880746603012085},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4592248499393463},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42351579666137695},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.24914827942848206},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.entcs.2010.08.046","doi":"https://doi.org/10.1016/j.entcs.2010.08.046","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2010.08.046","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.225.3611","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.3611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.unsw.edu.au/%7Erhuuck/FHTS_fade.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.377.1287","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.1287","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.nicta.com.au/pub?doc=599","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/j.entcs.2010.08.046","doi":"https://doi.org/10.1016/j.entcs.2010.08.046","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2010.08.046","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320315885","display_name":"Australian Government","ror":"https://ror.org/0314h5y94"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W243537476","https://openalex.org/W1485200865","https://openalex.org/W1489391022","https://openalex.org/W1491178396","https://openalex.org/W1529785310","https://openalex.org/W1553894716","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1967966231","https://openalex.org/W2040739365","https://openalex.org/W2066859698","https://openalex.org/W2080605566","https://openalex.org/W2097697841","https://openalex.org/W2108827856","https://openalex.org/W2125343911","https://openalex.org/W2135566490","https://openalex.org/W2137726309","https://openalex.org/W2144984544","https://openalex.org/W4235785239","https://openalex.org/W4285719527","https://openalex.org/W6600028639","https://openalex.org/W6608407919"],"related_works":["https://openalex.org/W1997029584","https://openalex.org/W7096492026","https://openalex.org/W1952638943","https://openalex.org/W1843794072","https://openalex.org/W21073870","https://openalex.org/W7099316610","https://openalex.org/W2042526025","https://openalex.org/W2598645805","https://openalex.org/W2964232059","https://openalex.org/W7097323075"],"abstract_inverted_index":{"Static":[0],"program":[1,25,32],"analysis":[2,33],"complements":[3],"traditional":[4],"dynamic":[5],"testing":[6],"by":[7,146],"discovering":[8],"generic":[9],"patterns":[10],"and":[11,27,59,89,119],"relations":[12],"in":[13,64],"source":[14,155],"code,":[15],"which":[16],"indicate":[17],"software":[18,84,108],"deficiencies":[19],"such":[20,106],"as":[21,135,137],"memory":[22,28],"corruption,":[23],"unexpected":[24],"behavior":[26,41],"leaks.":[29],"Since":[30],"static":[31,101],"builds":[34],"on":[35,96,105],"approximations":[36],"of":[37,56,123],"a":[38,45,112,121,138],"program\u02bcs":[39],"concrete":[40],"there":[42],"is":[43,71,117],"often":[44],"trade-off":[46,70],"between":[47],"reporting":[48,140],"potential":[49],"bugs":[50],"that":[51,65,125],"might":[52],"be":[53,128],"the":[54,132,153],"result":[55],"an":[57],"over-approximation":[58],"silently":[60],"suppressing":[61],"those":[62],"defects":[63],"grey":[66],"area.":[67],"While":[68],"this":[69,92],"less":[72],"important":[73],"for":[74],"small":[75],"files":[76],"it":[77],"has":[78],"severe":[79],"implications":[80],"when":[81],"facing":[82],"large":[83,107],"packages,":[85],"i.e.,":[86],"1,000,000":[87],"LoC":[88],"more.":[90],"In":[91],"work":[93],"we":[94],"report":[95],"experiences":[97],"with":[98],"using":[99],"our":[100,144],"C/C++":[102],"analyzer":[103],"Goanna":[104],"systems,":[109],"motivate":[110],"why":[111],"flexible":[113],"property":[114],"specification":[115],"language":[116],"vital,":[118],"present":[120],"number":[122],"decisions":[124],"had":[126],"to":[127,130],"made":[129],"select":[131],"right":[133],"checks":[134],"well":[136],"sensible":[139],"strategy.":[141],"We":[142],"illustrate":[143],"findings":[145],"empirical":[147],"data":[148],"obtained":[149],"from":[150],"regularly":[151],"analyzing":[152],"Firefox":[154],"code.":[156]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}