{"id":"https://openalex.org/W4402742728","doi":"https://doi.org/10.1109/tse.2024.3466551","title":"Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing","display_name":"Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing","publication_year":2024,"publication_date":"2024-09-23","ids":{"openalex":"https://openalex.org/W4402742728","doi":"https://doi.org/10.1109/tse.2024.3466551"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3466551","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3466551","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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":null,"display_name":"Yi Sun","orcid":"https://orcid.org/0009-0005-3161-3242"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yi Sun","raw_affiliation_strings":["Purdue University, West Lafayette, IN, USA"],"raw_orcid":"https://orcid.org/0009-0005-3161-3242","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101917946","display_name":"Chengpeng Wang","orcid":"https://orcid.org/0000-0003-0617-5322"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chengpeng Wang","raw_affiliation_strings":["Purdue University, West Lafayette, IN, USA"],"raw_orcid":"https://orcid.org/0000-0003-0617-5322","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065466354","display_name":"Gang Fan","orcid":"https://orcid.org/0000-0002-8633-6036"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Gang Fan","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, People’s Republic of China","Hong Kong University of Science and Technology, PRC"],"raw_orcid":"https://orcid.org/0000-0002-8633-6036","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, People’s Republic of China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"]},{"raw_affiliation_string":"Hong Kong University of Science and Technology, PRC","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034844386","display_name":"Qingkai Shi","orcid":"https://orcid.org/0000-0002-8297-8998"},"institutions":[{"id":"https://openalex.org/I134687103","display_name":"Nanjing Tech University","ror":"https://ror.org/03sd35x91","country_code":"CN","type":"education","lineage":["https://openalex.org/I134687103"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingkai Shi","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People’s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, PRC"],"raw_orcid":"https://orcid.org/0000-0002-8297-8998","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People’s Republic of China","institution_ids":["https://openalex.org/I881766915","https://openalex.org/I134687103"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, PRC","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":null,"display_name":"Xiangyu Zhang","orcid":"https://orcid.org/0000-0002-9544-2500"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangyu Zhang","raw_affiliation_strings":["Purdue University, West Lafayette, IN, USA"],"raw_orcid":"https://orcid.org/0000-0002-9544-2500","affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":0.631,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69304648,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"50","issue":"11","first_page":"3022","last_page":"3036"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10571","display_name":"Robotic Mechanisms and Dynamics","score":0.9190000295639038,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10571","display_name":"Robotic Mechanisms and Dynamics","score":0.9190000295639038,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8329383730888367},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.6460536122322083},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5096225738525391},{"id":"https://openalex.org/keywords/null","display_name":"Null (SQL)","score":0.49439120292663574},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45962655544281006},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.334972620010376}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8329383730888367},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.6460536122322083},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5096225738525391},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.49439120292663574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45962655544281006},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.334972620010376}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2024.3466551","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3466551","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-147217","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-147217","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1966032455","https://openalex.org/W1966982815","https://openalex.org/W1968898611","https://openalex.org/W1989985614","https://openalex.org/W1991546210","https://openalex.org/W1996567876","https://openalex.org/W2010570907","https://openalex.org/W2034918983","https://openalex.org/W2036853599","https://openalex.org/W2043876870","https://openalex.org/W2058895276","https://openalex.org/W2072385532","https://openalex.org/W2078331965","https://openalex.org/W2091879780","https://openalex.org/W2102890180","https://openalex.org/W2105614525","https://openalex.org/W2110423393","https://openalex.org/W2111996055","https://openalex.org/W2116998907","https://openalex.org/W2131135493","https://openalex.org/W2140021378","https://openalex.org/W2140809377","https://openalex.org/W2150874411","https://openalex.org/W2152885483","https://openalex.org/W2158798798","https://openalex.org/W2171999426","https://openalex.org/W2295903414","https://openalex.org/W2297774820","https://openalex.org/W2608848276","https://openalex.org/W2799226481","https://openalex.org/W2954121408","https://openalex.org/W2968585938","https://openalex.org/W3005616107","https://openalex.org/W3114516458","https://openalex.org/W3147482974","https://openalex.org/W3173766797","https://openalex.org/W4245321046","https://openalex.org/W4246166885","https://openalex.org/W4388483342","https://openalex.org/W6637688222","https://openalex.org/W6771529732","https://openalex.org/W6783612294"],"related_works":["https://openalex.org/W1570309050","https://openalex.org/W2151320244","https://openalex.org/W1994829526","https://openalex.org/W2219563043","https://openalex.org/W2212197444","https://openalex.org/W1885898241","https://openalex.org/W2157169416","https://openalex.org/W2389183782","https://openalex.org/W2397288865","https://openalex.org/W2952736244"],"abstract_inverted_index":{"Pointer":[0],"operations":[1,20,58,74,152,262],"are":[2,107],"common":[3],"in":[4,7,75,176,196,263,279],"programs":[5,201],"written":[6],"modern":[8],"programming":[9],"languages":[10],"such":[11],"as":[12,48,252],"C/C++":[13],"and":[14,34,111,182,193,204,222,233,237,256],"Java.":[15],"While":[16],"widely":[17],"used,":[18],"pointer":[19,27,43,151,277],"often":[21],"suffer":[22],"from":[23],"bugs":[24],"like":[25,65],"null":[26,42,166,276],"exceptions":[28,44,278],"that":[29,188,202],"make":[30],"software":[31],"systems":[32],"vulnerable":[33],"unstable.":[35],"However,":[36],"precisely":[37],"verifying":[38],"the":[39,127,139,161,164,217],"absence":[40],"of":[41,56,103,130,163,220],"is":[45,191,249],"notoriously":[46],"slow":[47],"we":[49,91,119],"need":[50],"to":[51,84,97,145,213,216,228,231,258],"inspect":[52],"a":[53,76,78,121,147,154,197,247,264,272],"huge":[54],"number":[55,80],"pointer-dereferencing":[57,73,261],"one":[59,61],"by":[60,87,113],"via":[62],"expensive":[63],"techniques":[64,96,106],"SMT":[66],"solving.":[67],"We":[68,169],"observe":[69],"that,":[70],"among":[71],"all":[72],"program,":[77],"large":[79],"can":[81,92,194],"be":[82,85],"proven":[83],"safe":[86,150],"lightweight":[88,104],"preprocessing.":[89],"Thus,":[90],"avoid":[93],"employing":[94],"costly":[95,156],"verify":[98],"their":[99],"nullity.":[100],"The":[101,135,184],"impacts":[102],"preprocessing":[105,133,141,174],"significantly":[108],"less":[109,242],"studied":[110],"ignored":[112],"recent":[114],"works.":[115],"In":[116],"this":[117],"paper,":[118],"propose":[120],"new":[122],"technique,":[123],"BONA,":[124],"which":[125],"leverages":[126],"synergistic":[128,136,173],"effects":[129,137],"two":[131,140,177],"classic":[132],"analyses.":[134],"between":[138],"analyses":[142],"allow":[143],"us":[144],"recognize":[146],"lot":[148],"more":[149,260],"before":[153],"follow-up":[155],"nullity":[157],"verification,":[158],"thus":[159],"improving":[160],"scalability":[162],"whole":[165],"exception":[167],"analysis.":[168],"have":[170],"implemented":[171],"our":[172],"procedure":[175],"state-of-the-art":[178],"static":[179],"analyzers,":[180],"KLEE":[181,203,221,255],"Pinpoint.":[183],"evaluation":[185],"results":[186],"demonstrate":[187],"BONA":[189,224],"itself":[190],"fast":[192],"finish":[195],"few":[198],"seconds":[199],"for":[200],"Pinpoint":[205,257],"may":[206],"require":[207],"several":[208],"minutes":[209],"or":[210],"even":[211],"hours":[212],"analyze.":[214],"Compared":[215],"vanilla":[218],"versions":[219],"Pinpoint,":[223],"respectively":[225],"enables":[226],"them":[227],"achieve":[229],"up":[230],"1.6x":[232],"6.6x":[234],"speedup":[235,248],"(1.2x":[236],"3.8x":[238],"on":[239],"average)":[240],"with":[241],"than":[243],"0.5%":[244],"overhead.":[245],"Such":[246],"significant":[250],"enough":[251],"it":[253],"allows":[254],"check":[259],"given":[265],"time":[266],"budget":[267],"and,":[268],"thus,":[269],"discover":[270],"over":[271],"dozen":[273],"previously":[274],"unknown":[275],"open-source":[280],"projects.":[281]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-19T19:40:27.379048","created_date":"2025-10-10T00:00:00"}