Войны разрабов: экспонента наносит ответный удар

Существуют разные подходы к поиску уязвимостей в исходном коде. Одним из них является символьное выполнение, базирующееся на абстрактной интерпретации, которое для входных данных подставляет неизвестные значения и анализирует всевозможные пути исполнения кода и пути передачи данных. Однако такой подход имеет фундаментальную проблему — экспоненциальное увеличение данных из-за роста объема анализируемого кода: количества путей, значений выражений и т. д. В докладе будут рассмотрены эвристические подходы по огрублению анализа, срезанию углов с целью уменьшения объема данных и их экспоненциальной скорости роста, применяемые в PT Application Inspector. Доклад будет содержать термины и формулировки из области алгебры и теории чисел, а также дискретной математики. Георгий Александрия Positive Technologies