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...

وصف كامل

التفاصيل البيبلوغرافية

الحاوية / القاعدة:	Труды Института системного программирования РАН
المؤلفون الرئيسيون:	Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
الموضوعات:	статический анализ анализ потока данных интервальный анализ межпроцедурный анализ уязвимости
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/1026