{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T02:54:07Z","timestamp":1783392847344,"version":"3.54.6"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:00:00Z","timestamp":1773705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:00:00Z","timestamp":1773705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62402371,62192734,62302375,62402372,62193273024"],"award-info":[{"award-number":["62402371,62192734,62302375,62402372,62193273024"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,3,17]]},"DOI":"10.1109\/saner67736.2026.00075","type":"proceedings-article","created":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T19:41:17Z","timestamp":1783021277000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection"],"prefix":"10.1109","author":[{"given":"Ying","family":"Wang","sequence":"first","affiliation":[{"name":"Xidian University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie","family":"Su","sequence":"additional","affiliation":[{"name":"Xidian University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng","family":"Wen","sequence":"additional","affiliation":[{"name":"Xidian University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rong","family":"Wang","sequence":"additional","affiliation":[{"name":"Guangdong Polytechnic Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[{"name":"Xidian University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhenhua","family":"Dun","sequence":"additional","affiliation":[{"name":"Xidian University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[{"name":"Xidian University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45510-8_1"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511619540","volume-title":"Model-Based Software Testing and Analysis with C#","author":"Jacky","year":"2007"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"Nipkow","year":"2002"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development","author":"Bertot","year":"2004"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref7","article-title":"Devign: Effective vulnerability identification by learning comprehensive program semantics via graph neural networks","volume":"32","author":"Zhou","year":"2019","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2021.3051525"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3427815"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23158"},{"key":"ref11","volume-title":"Code vulnerability detection: A comparative analysis of emerging large language models","author":"Sultana","year":"2024"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-025-00992-7"},{"issue":"2","key":"ref13","doi-asserted-by":"crossref","first-page":"100211","DOI":"10.1016\/j.hcc.2024.100211","article-title":"A survey on large language model (llm) security and privacy: The good, the bad, and the ugly","volume":"4","author":"Yao","year":"2024","journal-title":"High-Confidence Computing"},{"key":"ref14","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"Cadar","year":"2008","journal-title":"OSDI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2017.14"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3286586"},{"key":"ref17","volume-title":"Iris: Llm-assisted static analysis for detecting security vulnerabilities","author":"Li","year":"2025"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3649828"},{"key":"ref19","first-page":"489","article-title":"\\{LLMxCPG\\}:\\{Context-Aware\\} vulnerability detection through code property \\{Graph-Guided\\} large language models","volume-title":"34th USENIX Security Symposium (USENIX Security 25)","author":"Lekssays","year":"2025"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/295558.295570"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3617555.3617874"}],"event":{"name":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","location":"Limassol, Cyprus","start":{"date-parts":[[2026,3,17]]},"end":{"date-parts":[[2026,3,20]]}},"container-title":["2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11576582\/11576527\/11576675.pdf?arnumber=11576675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T05:38:14Z","timestamp":1783057094000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11576675\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,17]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/saner67736.2026.00075","relation":{},"subject":[],"published":{"date-parts":[[2026,3,17]]}}}