Using static analysis for finding security vulnerabilities and critical errors in source code

Static analysis is a popular way of finding given patterns in source or binary code (e.g., coding style errors, violations of project guidelines of using specific libraries or language features, critical errors, security vulnerabilities, malicious code). In this paper we review the static analysis t...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	статический анализ анализ потока данных интервальный анализ межпроцедурный анализ уязвимости
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/1026