{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:57:01Z","timestamp":1759334221556,"version":"build-2065373602"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"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,7,16]]},"DOI":"10.1109\/qrs65678.2025.00015","type":"proceedings-article","created":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T17:51:28Z","timestamp":1759168288000},"page":"34-45","source":"Crossref","is-referenced-by-count":0,"title":["Generation, Migration and Optimization of Cross-Language Static-Analysis Rules Based on Large Language Models"],"prefix":"10.1109","author":[{"given":"Zhanyi","family":"Hou","sequence":"first","affiliation":[{"name":"School of Reliability and Systems Engineering, Beihang University,Beijing,China,100191"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyu","family":"Duan","sequence":"additional","affiliation":[{"name":"School of Reliability and Systems Engineering, Beihang University,Beijing,China,100191"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghao","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Reliability and Systems Engineering, Beihang University,Beijing,China,100191"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mengdan","family":"Wu","sequence":"additional","affiliation":[{"name":"School of Reliability and Systems Engineering, Beihang University,Beijing,China,100191"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shunkun","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Reliability and Systems Engineering, Beihang University,Beijing,China,100191"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/saner.2016.105"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10232-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-021-09580-z"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/3196321.3196327","article-title":"JIT feedback: What experienced developers like about static analysis","volume-title":"Proceedings of the 26th Conference on Program Comprehension","author":"Tymchuk","year":"2018"},{"key":"ref5","article-title":"KNighter: Transforming Static Analysis with LLMSynthesized Checkers","author":"Yang","year":"2025","journal-title":"arXiv preprint"},{"issue":"1","key":"ref6","article-title":"CODAS: An Extensible Static Code Defect Analysis Service","volume":"39","author":"Liang","year":"2012","journal-title":"Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09750-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00169"},{"journal-title":"Training language models to follow instructions with human feedback","year":"2022","author":"Ouyang","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3626111.3628194"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3626111.3628205"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3656296"},{"key":"ref13","first-page":"65030","article-title":"Grammar prompting for domainspecific language generation with large language models","volume":"36","author":"Wang","year":"2023","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3687811"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3687782"},{"key":"ref16","first-page":"27496","article-title":"Can large language models reason about program invariants?","volume-title":"International Conference on Machine Learning","author":"Pei","year":"2023"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546729"},{"journal-title":"Jingcheng and WANG, Xiaopei, Llm-Based Automated Modeling in Symbolic Execution for Securing Medical Software","article-title":"Llm-Based Automated Modeling in Symbolic Execution for Securing Medical Software","author":"Chen","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3649828"},{"key":"ref20","article-title":"Deepseek-r1: Incentivizing reasoning capability in 1 lms via reinforcement learning","author":"Guo","year":"2025","journal-title":"arXiv preprint"},{"key":"ref21","article-title":"Emergent representations of program semantics in language models trained on programs","volume-title":"Forty-first International Conference on Machine Learning","author":"Jin","year":"2024"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3386\/w30957"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623342"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3660773"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2025.3531512"},{"key":"ref26","article-title":"Agentfl: Scaling llm-based fault localization to project-level context","author":"Qin","year":"2024","journal-title":"arXiv preprint"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3660771"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10253-z"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3421591"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3652588.3663317"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2015.11"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09807-w"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom53373.2021.00112"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2996975"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491449"},{"key":"ref37","article-title":"Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis","author":"Dolcetti","year":"2024","journal-title":"arXiv preprint"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2024.103992"}],"event":{"name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","start":{"date-parts":[[2025,7,16]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,7,20]]}},"container-title":["2025 25th International Conference on Software Quality, Reliability and Security (QRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11173421\/11173424\/11173453.pdf?arnumber=11173453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T12:47:53Z","timestamp":1759236473000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11173453\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,16]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/qrs65678.2025.00015","relation":{},"subject":[],"published":{"date-parts":[[2025,7,16]]}}}