Un petit outil d'analyse d'intervalle sur LLVM IR
Dépendances
- LLVM (Release / 10.x)
- Googlest (maître)
Algorithme
- Analyse d'intervalle via une interprétation abstraite
- itération du flux de données en ce qui concerne les conditions de chemin
Liste de travail
- Plus de support d'instruction arthmétique / Terminator
- Analyse interprocédurale via un contexte sensible
- Plus de support de motifs pour la résolution d'intervalle
- Modélisation de la mémoire du tableau / tas
- Support entier non signé
- Support de points flottants
