{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T20:28:31Z","timestamp":1780086511192,"version":"3.54.0"},"reference-count":74,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62376240"],"award-info":[{"award-number":["62376240"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"S&T Program of Hebei","award":["226Z0701G"],"award-info":[{"award-number":["226Z0701G"]}]},{"name":"S&T Program of Hebei","award":["236Z0702G"],"award-info":[{"award-number":["236Z0702G"]}]},{"name":"S&T Program of Hebei","award":["236Z0304G"],"award-info":[{"award-number":["236Z0304G"]}]},{"DOI":"10.13039\/501100003787","name":"Natural Science Foundation of Hebei Province","doi-asserted-by":"publisher","award":["F2022203026"],"award-info":[{"award-number":["F2022203026"]}],"id":[{"id":"10.13039\/501100003787","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003787","name":"Natural Science Foundation of Hebei Province","doi-asserted-by":"publisher","award":["F2022203089"],"award-info":[{"award-number":["F2022203089"]}],"id":[{"id":"10.13039\/501100003787","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003787","name":"Natural Science Foundation of Hebei Province","doi-asserted-by":"publisher","award":["F2023203026"],"award-info":[{"award-number":["F2023203026"]}],"id":[{"id":"10.13039\/501100003787","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Basic Innovation Research Cultivation Program of Yanshan University","award":["2024LGZD004"],"award-info":[{"award-number":["2024LGZD004"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2025,5]]},"abstract":"<jats:p> With the rapid development of the software industry, the escalating issue of software vulnerabilities has posed significant risks to users. Symbolic execution as a vulnerability mining technology offers a high-test coverage. The existing reviews of symbolic execution methods focus on summarizing various techniques and tools. While some studies have analyzed the technical challenges, classification frameworks and development trends of these methods, they lack a comprehensive and systematic review. This study aims to address the gap in existing reviews by providing a comprehensive, systematic analysis of symbolic execution techniques for vulnerability mining. We conducted a detailed review of 60 peer-reviewed papers published between 2005 and 2024, focusing on symbolic execution techniques for vulnerability mining. First, we reviewed the main techniques used in the symbolic execution process, including program instrumentation, path selection strategy and constraint-solving techniques. Second, we extracted the main information from the selected papers, and the detailed information on the symbolic execution tools is in the form of a table. Compared and analyzed the research object, the execution process at the same time, the software architecture and the application on different system platforms. Finally, we present a comprehensive and systematic summary of current challenges and corresponding solutions in the field. This study provides an in-depth analysis of vulnerability detection technologies based on symbolic execution, serving as a valuable guide for researchers in this domain. <\/jats:p>","DOI":"10.1142\/s0218194025300027","type":"journal-article","created":{"date-parts":[[2025,4,11]],"date-time":"2025-04-11T13:55:26Z","timestamp":1744379726000},"page":"609-656","source":"Crossref","is-referenced-by-count":2,"title":["A Systematic Literature Review of Software Vulnerability Mining Approaches Based on Symbolic Execution"],"prefix":"10.1142","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-3417-8091","authenticated-orcid":false,"given":"Lining","family":"Li","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-9320-9382","authenticated-orcid":false,"given":"Rong","family":"Ren","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, P. R. China"},{"name":"The Key Laboratory of Software Engineering, Yanshan University, Qinhuangdao, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun","family":"Dong","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, P. R. China"},{"name":"The Key Laboratory of Software Engineering, Yanshan University, Qinhuangdao, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9867-8439","authenticated-orcid":false,"given":"Bing","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, P. R. China"},{"name":"The Key Laboratory of Software Engineering, Yanshan University, Qinhuangdao, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xu","family":"Kang","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Yanshan University, Qinhuangdao, P. R. China"},{"name":"China University of Petroleum-Beijing at Karamay, College of Petroleum, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2025,5,23]]},"reference":[{"issue":"8","key":"S0218194025300027BIB001","first-page":"1","volume":"17","author":"Wang X. J.","year":"2017","journal-title":"Netinfo Security"},{"key":"S0218194025300027BIB002","volume":"3","author":"Song Z.","year":"2016","journal-title":"Netinfo Security"},{"key":"S0218194025300027BIB003","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"S0218194025300027BIB004","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.02.002"},{"key":"S0218194025300027BIB005","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"S0218194025300027BIB007","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"S0218194025300027BIB008","doi-asserted-by":"publisher","DOI":"10.1145\/2823363.2823364"},{"key":"S0218194025300027BIB009","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2012.02.006"},{"key":"S0218194025300027BIB010","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"S0218194025300027BIB011","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"issue":"1","key":"S0218194025300027BIB012","first-page":"28","volume":"45","author":"Ye Z.","year":"2018","journal-title":"Comput. Sci."},{"key":"S0218194025300027BIB013","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218134"},{"key":"S0218194025300027BIB014","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"S0218194025300027BIB015","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183494"},{"key":"S0218194025300027BIB016","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"S0218194025300027BIB017","first-page":"213","author":"Campana G.","year":"2009","journal-title":"Actes SSTIC"},{"key":"S0218194025300027BIB018","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"S0218194025300027BIB019","first-page":"209","volume-title":"USENIX Conference on Operating Systems Design and Implementation","author":"Cadar C.","year":"2009"},{"key":"S0218194025300027BIB020","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_25"},{"key":"S0218194025300027BIB021","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.31"},{"key":"S0218194025300027BIB022","first-page":"138","volume-title":"IEEE Symposium on Security & Privacy","author":"Yan S.","year":"2016"},{"key":"S0218194025300027BIB023","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"S0218194025300027BIB024","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"S0218194025300027BIB025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"S0218194025300027BIB027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_53"},{"key":"S0218194025300027BIB028","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_16"},{"key":"S0218194025300027BIB029","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"S0218194025300027BIB030","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_28"},{"key":"S0218194025300027BIB031","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_12"},{"key":"S0218194025300027BIB032","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"issue":"3","key":"S0218194025300027BIB033","first-page":"40","volume":"10","author":"Godefroid P.","year":"2012","journal-title":"Queue"},{"key":"S0218194025300027BIB035","first-page":"67","volume-title":"Conference on USENIX Security Symposium","author":"Molnar D.","year":"2009"},{"key":"S0218194025300027BIB036","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"S0218194025300027BIB037","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2017.8022752"},{"key":"S0218194025300027BIB038","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2584063"},{"key":"S0218194025300027BIB039","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"S0218194025300027BIB040","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"issue":"7","key":"S0218194025300027BIB041","first-page":"639","volume":"41","author":"Rosner N.","year":"2015","journal-title":"IEEE Trans. Softw. Eng."},{"key":"S0218194025300027BIB042","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"S0218194025300027BIB043","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.12"},{"key":"S0218194025300027BIB044","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273464"},{"key":"S0218194025300027BIB045","first-page":"49","volume-title":"USENIX Conference on Security Symposium","author":"Ramos D. A.","year":"2015"},{"key":"S0218194025300027BIB046","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001425"},{"key":"S0218194025300027BIB047","volume-title":"IEEE Congress on Evolutionary Computation","author":"Hong Q.","year":"2016"},{"key":"S0218194025300027BIB048","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970364"},{"key":"S0218194025300027BIB049","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"S0218194025300027BIB050","first-page":"16","volume-title":"IEEE ISPRAS","author":"Alexander G.","year":"2017"},{"key":"S0218194025300027BIB051","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2017.8227972"},{"key":"S0218194025300027BIB052","doi-asserted-by":"publisher","DOI":"10.1145\/3425497"},{"key":"S0218194025300027BIB053","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236028"},{"key":"S0218194025300027BIB054","doi-asserted-by":"publisher","DOI":"10.1145\/3563344"},{"key":"S0218194025300027BIB055","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3409838"},{"issue":"3","key":"S0218194025300027BIB056","first-page":"1","volume":"29","author":"Wang G.","year":"2020","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"S0218194025300027BIB057","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2024.103851"},{"key":"S0218194025300027BIB058","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484813"},{"key":"S0218194025300027BIB059","doi-asserted-by":"publisher","DOI":"10.1145\/3471621.3471865"},{"key":"S0218194025300027BIB060","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213868"},{"key":"S0218194025300027BIB061","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180251"},{"key":"S0218194025300027BIB062","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338934"},{"key":"S0218194025300027BIB063","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338936"},{"key":"S0218194025300027BIB064","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238225"},{"key":"S0218194025300027BIB065","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"S0218194025300027BIB066","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2020.101775"},{"key":"S0218194025300027BIB067","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3101870"},{"key":"S0218194025300027BIB068","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-023-00691-1"},{"key":"S0218194025300027BIB069","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00116"},{"key":"S0218194025300027BIB070","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534395"},{"key":"S0218194025300027BIB071","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2023.3236694"},{"key":"S0218194025300027BIB072","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-023-00310-8"},{"key":"S0218194025300027BIB073","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-018-0490-9"},{"key":"S0218194025300027BIB074","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380428"},{"key":"S0218194025300027BIB075","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00022"},{"key":"S0218194025300027BIB076","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"S0218194025300027BIB077","doi-asserted-by":"publisher","DOI":"10.1145\/3290379"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194025300027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T03:57:57Z","timestamp":1747972677000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218194025300027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5]]},"references-count":74,"journal-issue":{"issue":"05","published-print":{"date-parts":[[2025,5]]}},"alternative-id":["10.1142\/S0218194025300027"],"URL":"https:\/\/doi.org\/10.1142\/s0218194025300027","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5]]}}}