Static analyzer Svace for finding defects in a source program code-Reference-Cited by-同舟云学术

Static analyzer Svace for finding defects in a source program code

Published:2014-09 Issue:5 Volume:40 Page:265-275
ISSN:0361-7688
Container-title:Programming and Computer Software
language:en
Short-container-title:Program Comput Soft

Author:

Ivannikov V. P.,Belevantsev A. A.,Borodin A. E.,Ignatiev V. N.,Zhurikhin D. M.,Avetisyan A. I.

Publisher

Pleiades Publishing Ltd

Subject

Software

Link

http://link.springer.com/content/pdf/10.1134/S0361768814050041.pdf

Reference8 articles.

1. Lecture Notes in Computer Science;SC Misra,2003

2. Nessov, V.S., Automatic detection of defects using interprocedural static source code analysis, Materialy XI mezhdunarodnoi konferentsii “RusKripto’2009” (Proc. XI Int. Conf. “RusKripto’2009”).

3. Avetisyan, A., Belevantsev, A., Borodin, A., and Nessov, V., Using static analysis to find vulnerabilities and critical errors in source code of programs, Tr. Inst. Sist. Upr., Ross. Akad. Nauk, 2011, vol. 21, pp. 23–38.

4. Coverity SAVE tool. http://www.coverity.com/products/coverity-save.html

5. Static analysis tool of Klocwork. http://www.kloc-work.com/products/insight/klocwork-truepath

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Classification of Static Analyzer Warnings using Machine Learning Methods;2024 Ivannikov Memorial Workshop (IVMEM);2024-05-17

2. Large language models in source code static analysis;2024 Ivannikov Memorial Workshop (IVMEM);2024-05-17

3. Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15

4. Improving the Accuracy of Library Function Modeling in the Static Analyzer;2023 Ivannikov Ispras Open Conference (ISPRAS);2023-12-04

5. Trusted Artificial Intelligence: Challenges and Promising Solutions;Doklady Mathematics;2022-12