Alat analisis interval kecil di LLVM IR
Dependensi
- Llvm (rilis/10.x)
- Googletest (master)
Algoritma
- Analisis interval melalui interpretasi abstrak
- Iterasi Dataflow sehubungan dengan kondisi jalur
Daftar kerja
- lebih banyak dukungan instruksi arthmetic/terminator
- Analisis Interprocedural Melalui Konteks Sensitif
- lebih banyak dukungan pola untuk pemecahan interval
- Pemodelan untuk memori array/heap
- dukungan integer yang tidak ditandatangani
- Dukungan Titik Mengambang
