Open AccessStatic analyzer Svace for finding of defects in program source code
Author(s) -
В. П. Иванников,
Andrey Belevantsev,
Alexey Borodin,
В. Н. Игнатьев,
Dmitry Zhurikhin,
А. И. Аветисян,
М. И. Леонов
Publication year - 2014
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2014-26(1)-7
Subject(s) - computer science , source code , variety (cybernetics) , simplicity , code (set theory) , scalability , programming language , spectrum analyzer , static analysis , static program analysis , program analysis , operating system , software , set (abstract data type) , software development , telecommunications , artificial intelligence , philosophy , epistemology