Anxiety: a Dynamic Symbolic Execution Framework A Gerasimov, S Vartanov, M Ermakov, L Kruglov, D Kutz, A Novikov, ... Ivannikov ISPRAS Open Conference (ISPRAS), 2017, 16-21, 2017 | 16 | 2017 |
Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java МК Ермаков, СП Вартанов Труды Института системного программирования РАН 27 (2), 2015 | 16 | 2015 |
Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных СП Вартанов, АЮ Герасимов Труды Института системного программирования РАН 26 (1), 375-394, 2014 | 15 | 2014 |
An approach to reachability determination for static analysis defects with the help of dynamic symbolic execution AY Gerasimov, LV Kruglov, MK Ermakov, SP Vartanov Programming and Computer Software 44, 467-475, 2018 | 13 | 2018 |
Применение статической инструментации байт-кода языка Java для динамического анализа программ СП Вартанов, МК Ермаков Труды Института системного программирования РАН 27 (1), 2015 | 6 | 2015 |
Dynamic Symbolic Execution of Java Programs Using JNI S Vartanov 11th International Conference on Computer Science and Information …, 2017 | 5 | 2017 |
Применение динамического анализа для поиска дефектов в программах на языке Java СП Вартанов, АЮ Герасимов Труды Института системного программирования РАН 25, 2013 | 5 | 2013 |
Searching for tainted vulnerabilities in static analysis tool Svace AE Borodin, AV Goremykin, SP Vartanov, AA Belevancev Proceedings of the Institute for System Programming of the RAS 33 (1), 7-32, 2021 | 4 | 2021 |
SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study N Malyshev, I Dudina, D Kutz, A Novikov, S Vartanov 2019 Ivannikov Ispras Open Conference (ISPRAS), 9-15, 2019 | 4 | 2019 |
An approach of reachability determination for static analysis defects with help of dynamic symbolic execution AY Gerasimov, LV Kruglov, MK Ermakov, SP Vartanov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2017 | 4 | 2017 |
Applying Java bytecode static instrumentation for software dynamic analysis SP Vartanov, MK Ermakov Proceedings of the Institute for System Programming of the RAS 27 (1), 25-38, 2015 | 4 | 2015 |
Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM МК Ермаков, СП Вартанов Труды Института системного программирования РАН 27 (1), 2015 | 4 | 2015 |
Searching for Taint Vulnerabilities with Svace Static Analysis Tool AE Borodin, AV Goremykin, SP Vartanov, AA Belevantsev Programming and Computer Software 47, 466-481, 2021 | 3 | 2021 |
Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace АЕ Бородин, АВ Горемыкин, СП Вартанов, АА Белеванцев Труды Института системного программирования РАН 33 (1), 7-32, 2021 | 3 | 2021 |
Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах СП Вартанов, МК Ермаков, АЮ Герасимов Труды Института системного программирования РАН 29 (1), 135-148, 2017 | 3 | 2017 |
Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения АЮ Герасимов, ЛВ Круглов, МК Ермаков, СП Вартанов Труды Института системного программирования РАН 29 (5), 111-134, 2017 | 3 | 2017 |
Dynamic analysis of ARM ELF shared libraries using static binary instrumentation MK Ermakov, SP Vartanov Proceedings of the Institute for System Programming of the RAS 27 (1), 5-24, 2015 | 3 | 2015 |
Dynamic program analysis for error detection using goal-seeking input data generation SP Vartanov, AY Gerasimov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014 | 3 | 2014 |
Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения СП Вартанов, АЮ Герасимов, МК Ермаков, ДО Куц, АА Новиков Труды Института системного программирования РАН 29 (1), 149-166, 2017 | 2 | 2017 |
Applying dynamic analysis for defect detection in Java-applications S Vartanov, A Gerasimov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2013 | 2 | 2013 |