Analisis.net
Kerangka Analisis Statis untuk Program .NET.
Fitur:
- Level bytecode
- Tidak perlu kode sumber
- Dapat menganalisis perpustakaan standar
- Representasi menengah
- Bytecode yang disederhanakan
- Tiga kode alamat
- Tugas tunggal statis
- Ekspresi agregat
- Analisis kontrol-aliran
- Normal
- Luar biasa
- Dominasi
- Perbatasan Dominasi
- Loop alami
- Analisis aliran data
- Mencapai definisi
- Rantai def-penggunaan dan penggunaan-def
- Variabel hidup
- Salin propagasi
- Poin-ke
- Analisis Call-Graph
- Transformasi
