SVF

Pointer Analysis and Program Dependence Analysis for C and C++ Programs

主要指標

概覽

名稱與所有者SVF-tools/SVF
主編程語言C++
編程語言HTML (語言數: 7)
平台
許可證Other
發布數23
最新版本名稱SVF-3.1 (發布於 )
第一版名稱v1.0 (發布於 )
創建於2015-06-05 09:52:24
推送於2025-11-06 09:14:58
最后一次提交2025-11-06 09:14:58
星數1628
關注者數54
派生數473
提交數4437
已啟用問題?
問題數666
打開的問題數334
拉請求數861
打開的拉請求數26
關閉的拉請求數216
已啟用Wiki?
已存檔?
是復刻?
已鎖定?
是鏡像?
是私有?
去到頂部