{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:19Z","timestamp":1775873599640,"version":"3.50.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1109\/tse.2024.3466551","type":"journal-article","created":{"date-parts":[[2024,9,23]],"date-time":"2024-09-23T17:27:27Z","timestamp":1727112447000},"page":"3022-3036","source":"Crossref","is-referenced-by-count":2,"title":["Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-3161-3242","authenticated-orcid":false,"given":"Yi","family":"Sun","sequence":"first","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0617-5322","authenticated-orcid":false,"given":"Chengpeng","family":"Wang","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8633-6036","authenticated-orcid":false,"given":"Gang","family":"Fan","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, People’s Republic of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8297-8998","authenticated-orcid":false,"given":"Qingkai","family":"Shi","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People’s Republic of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9544-2500","authenticated-orcid":false,"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Stubborn weaknesses in the CWE top 25","year":"2023"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1186736.1186737"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3057284"},{"key":"ref4","article-title":"CVE - search results","year":"2024"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040334"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368118"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993565"},{"key":"ref9","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. 8th USENIX Symp. Oper. Syst. Des. Implementation (OSDI)","author":"Cadar","year":"2008"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338919"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070515"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390657"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048144"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250789"},{"key":"ref16","first-page":"835","article-title":"Pipelining bottom-up data flow analysis","volume-title":"Proc. 42nd Int. Conf. Softw. Eng. (ICSE)","author":"Shi","year":"2020"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1713254.1713257"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254091"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2011.5764696"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254092"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201061"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93562"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503298"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1128022.1128042"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref28","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho","year":"2007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462159"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920879"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454086"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375615"},{"key":"ref35","first-page":"812","article-title":"Conquering the extensional scalability problem for value-flow analysis frameworks","volume-title":"Proc. 42nd Int. Conf. Softw. Eng. (ICSE)","author":"Shi","year":"2020"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00025"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081728"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.22"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693074"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775928"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040025.89719.f3"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2302311"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00186"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10752626\/10689456.pdf?arnumber=10689456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T16:53:15Z","timestamp":1732726395000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10689456\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":45,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3466551","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11]]}}}