Una pequeña herramienta de análisis de intervalos en LLVM IR
Dependencias
- LLVM (versiones/10.x)
- Googletest (maestro)
Algoritmo
- Análisis de intervalo a través de la interpretación abstracta
- Dataflow iterando en cuanto a las condiciones de ruta
Lista de trabajo
- más soporte de instrucción arthmetic/terminator
- Análisis interprocedural a través del contexto sensible
- más soporte de patrones para la resolución de intervalos
- Modelado para la memoria de matriz/montón
- Soporte de Integer Unsigned
- soporte de puntos flotantes
