Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors
A static analysis tool Svace finding vulnerabilities and critical errors in the source code of C/C++ programs is developed in the ISP RAS. The purpose of Svace is to find as many errors as possible with low level of false positives and suitable use of available resources. Important requirements fo...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/1027 |