Небольшой инструмент анализа интервального анализа на IR LLVM
Зависимости
- LLVM (выпуски/10.x)
- Googletest (Master)
Алгоритм
- Интервальный анализ посредством абстрактной интерпретации
- DataFlow итерация в отношении условий пути
Рабочий список
- Более артметика/поддержка инструкций терминатора
- межпроцедурный анализ через контекст чувствительный
- Большая поддержка модели для решения интервала
- Моделирование для массива/памяти кучи
- Неподписанная целочисленная поддержка
- Поддержка с плавающей запятой
