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

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
Main Authors: Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov
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/1026

Similar Items

Similar Items