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
التنسيق:	Artigo
اللغة:	Inglês
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
سلاسل:	Труды Института системного программирования РАН
الموضوعات:	статический анализ анализ потока данных интервальный анализ межпроцедурный анализ уязвимости
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/1026
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!