Static analyzer Svace for finding of defects in program source code

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

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)
Trudy Instituta sistemnogo programmirovaniâ

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

User

eng | рус

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

Ivannikov V.P., Belevantsev A.A., Borodin A.E., Ignatiev V.N., Zhurikhin D.M., Avetisyan A.I., Leonov M.I. Static analyzer Svace for finding of defects in program source code. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(1):231-250. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(1)-7