{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T21:33:53Z","timestamp":1770845633596,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:00:00Z","timestamp":1759622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:00:00Z","timestamp":1759622400000},"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":[],"published-print":{"date-parts":[[2025,10,5]]},"DOI":"10.1109\/smc58881.2025.11342943","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:44Z","timestamp":1769633684000},"page":"5505-5512","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Determination Method for Suspected Software Defects Based on Static Analysis"],"prefix":"10.1109","author":[{"given":"Xuejian","family":"Li","sequence":"first","affiliation":[{"name":"Anhui University,School of Computer Science and Technology,Hefei,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunyang","family":"Sun","sequence":"additional","affiliation":[{"name":"Anhui University,School of Computer Science and Technology,Hefei,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenguang","family":"Zhu","sequence":"additional","affiliation":[{"name":"Anhui University,School of Computer Science and Technology,Hefei,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zihan","family":"Li","sequence":"additional","affiliation":[{"name":"Anhui University,School of Computer Science and Technology,Hefei,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s40747-022-00848-w"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2942930"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-023-10439-z"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1414004.1414013"},{"issue":"9","key":"ref5","first-page":"1822","article-title":"False Positive Elimination in Static Defect Detection","volume":"49","author":"Zhao","year":"2012","journal-title":"Journal of Computer Research and Development"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-020-0525-z"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464832"},{"key":"ref8","article-title":"Assessing Validity of Static Analysis Warnings using Ensemble Learning","author":"Tanwar","year":"2021"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC53868.2021.00040"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2020.114134"},{"key":"ref11","article-title":"Clang Static Analyzer","author":"Project","year":"2023"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081728"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108798"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336769"},{"key":"ref15","first-page":"706","article-title":"Checking array bounds by abstract interpretation and symbolic expressions","volume-title":"Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings 9","author":"Xiang"},{"key":"ref16","article-title":"Speculative buffer overflows: Attacks and defenses","author":"Kiriansky","year":"2018"},{"key":"ref17","article-title":"GNU Core Utilities","year":"2023"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ITC-Asia58802.2023.10301168"}],"event":{"name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Vienna, Austria","start":{"date-parts":[[2025,10,5]]},"end":{"date-parts":[[2025,10,8]]}},"container-title":["2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11342430\/11342431\/11342943.pdf?arnumber=11342943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T20:51:17Z","timestamp":1770843077000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11342943\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/smc58881.2025.11342943","relation":{},"subject":[],"published":{"date-parts":[[2025,10,5]]}}}