SVF-tools/SVF

Kerangka Kerja Analisis Alur Nilai Statis untuk Kode Sumber

↗ Buka di GitHub

Bintang

1.708

Fork

495

Bahasa

C++

Lisensi

NOASSERTION

Push terakhir

1 minggu yang lalu

C++static-analysis llvm code-analysis pointer-analysis points-to-analysis static-analyzer source-code-analysis bug-detection dependency-analysis code-verification abstract-interpretation static-value-flow

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.