Uma pequena ferramenta de análise de intervalo no LLVM IR
Dependências
- LLVM (Lançamentos/10.x)
- Googletest (mestre)
Algoritmo
- Análise de intervalo via interpretação abstrata
- DataFlow Iterating em relação às condições do caminho
Lista de trabalho
- mais suporte para instrução Arthmetic/Terminator
- Análise Interprocodural via contexto sensível
- mais suporte de padrões para resolução de intervalos
- Modelagem para Memória de Array/Heap
- Suporte inteiro não assinado
- suporte de ponto flutuante
