Ein kleines Intervallanalyse -Tool auf LLVM IR
Abhängigkeiten
- LLVM (Releases/10.x)
- Googletest (Meister)
Algorithmus
- Intervallanalyse durch abstrakte Interpretation
- Datenfluss iteriert in Bezug auf Pfadbedingungen
Arbeitsliste
- Weitere Arthmus-/Terminator -Unterrichtsunterstützung
- Interprocedurale Analyse über kontextempfindliche Analyse
- Weitere Musterunterstützung bei Intervalllösung
- Modellierung für Array/Heap -Speicher
- Unsigned Ganzzahlunterstützung
- schwimmende Punktunterstützung
