{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,11]],"date-time":"2026-10-11T00:00:39Z","timestamp":1791676839588,"version":"4.3.4"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61272033"],"award-info":[{"award-number":["61272033"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61272045"],"award-info":[{"award-number":["61272045"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61572222"],"award-info":[{"award-number":["61572222"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Basic Research Program of China","doi-asserted-by":"publisher","award":["2014CB340600"],"award-info":[{"award-number":["2014CB340600"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2943896","type":"journal-article","created":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T00:30:01Z","timestamp":1569544201000},"page":"143499-143510","source":"Crossref","is-referenced-by-count":4,"title":["An Optimized Static Propositional Function Model to Detect Software Vulnerability"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7529-729X","authenticated-orcid":false,"given":"Lansheng","family":"Han","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3867-3513","authenticated-orcid":false,"given":"Man","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yekui","family":"Qian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cai","family":"Fu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8534-5048","authenticated-orcid":false,"given":"Deqing","family":"Zou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21373-2_46"},{"key":"ref33","year":"2017","journal-title":"Coverity Scan"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3532"},{"key":"ref31","year":"2018","journal-title":"Find Bugs in Java programs"},{"key":"ref30","year":"2017","journal-title":"Bug Descriptions"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.22"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2480359.2429086"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2693261"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.54"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.5120\/8959-3161"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.44"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45744-4_29"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"ref14","article-title":"Improving scalability of symbolic execution for software with complex environment interfaces","author":"bucur","year":"2015"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3338985"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.24"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2009.5270095"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2923227"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1558607.1558653"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.66"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2000.898880"},{"key":"ref3","year":"2018","journal-title":"IBM Security AppScan Source"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DSC.2018.00017"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.55"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2769063"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.49"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1049\/cp.2014.0733"},{"key":"ref2","year":"2018","journal-title":"HP FORTIFY"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2630069"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2881961"},{"key":"ref22","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2821768"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICACT.2008.4493756"},{"key":"ref23","first-page":"65","article-title":"Modeling and visualizing security properties of code using dependence graphs","author":"wilander","year":"2005","journal-title":"Proc 5th Conf Softw Eng Res Pract Sweden"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2018.01.152"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2006.40"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08850078.pdf?arnumber=8850078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T19:39:39Z","timestamp":1628624379000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8850078\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2943896","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}