Static analyzer Svace for finding defects in a source program code
Tóm tắt
Từ khóa
Tài liệu tham khảo
Misra, S.C. and Bhavsar, V.C., Relationships between selected software measures and latent bug-density: Guidelines for improving quality, in Proceedings of the International Conference on Computational Science and its Applications, ICCSA, in Lecture Notes in Computer Science, vol. 2667, Montreal: Springer, 2003, pp. 724–732.
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”).
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.
Coverity SAVE tool. http://www.coverity.com/products/coverity-save.html
Static analysis tool of Klocwork. http://www.kloc-work.com/products/insight/klocwork-truepath
Lifshiz, V.B. and Lam, M.S., Tracking pointers with path and context sensitivity for bug detection in C programs, 2003.
Avetisyan, A. and Borodin, A., Extension mechanisms of static analysis Svace by detectors of new types of vulnerabilities and critical errors, Tr. Inst. Sist. Upr., Ross. Akad. Nauk, 2011, vol. 21, pp. 39–54.
Ignatyev, V., Using lightweight static analysis for the verification of adjustable semantic constraints of a programming language, Tr. Inst. Sist. Upr., Ross. Akad. Nauk, 2012, vol. 22, pp. 169–188.