消息
- 用於學習代碼分析和SVF驗證的新課程軟件安全分析，以獲得樂趣和專業知識！
- 現在，SVF用不透明的指針支持LLVM-16.0.0（由Xiao Cheng貢獻）。
- 現代化SVF的CMAKE（由約翰內斯貢獻）。
- SVF現在支持LLVM-13.0.0（感謝Shengjie Xu的幫助！）。
- 在我們的OOPSLA論文中發布的對象聚類現已在SVF中提供
- SAS論文中發表的哈希的積分集現已在SVF中找到
- 學習或教學軟件分析？查看SVF教學！
- SVF現在支持LLVM-122.0.0（感謝Xiyu Yang的幫助！）。
- 在我們的CGO論文中發布的VSF現已在SVF中提供
- 現在在我們的Ecoop論文中發表的Typeclone現已在SVF中找到
- SVF現在使用單個腳本進行構建。只需在您的終端中鍵入
source ./build.sh ，就是這樣！ - SVF現在支持LLVM-10.0.0！
- 我們感謝Bsauce用中文編寫SVF（link1和link2）的用戶手冊
- SVF現在支持LLVM-9.0.0（感謝Byoungyoung Lee的幫助！）。
- SVF現在支持一組現場敏感的指針分析。
- 將SVF用作您自己的項目的外部LIB（由Hongxu Chen貢獻）。
- SVF現在支持LLVM-7.0.0。
- SVF現在支持Docker。在Docker中嘗試SVF！
- SVF現在支持LLVM-6.0.0（由Jack Anthony貢獻）。
- SVF現在支持LLVM-4.0.0（由Jared Carlson貢獻。感謝Jared和Will對更新SVF的深入討論！）
- SVF現在支持C ++程序的分析。
文件
SVF是基於LLVM的語言的靜態值分析工具。 SVF （CC'16）能夠執行
- AE（抽象執行）：跨域執行（ICSE'24），打字分析（FSE'24）;
- WPA（整個程序分析）：現場敏感（SAS'19），流敏感性（CGO'21，OOPSLA'21）分析；
- DDA（需求驅動分析）：流敏感，上下文敏感的點對點分析（FSE'16，TSE'18）；
- MSSA（內存SSA形式結構）：內存區域，副作用，SSA表格（JSS'18）;
- 軍刀（內存錯誤檢查）：內存洩漏和雙重頻率（ISSTA'12，TSE'14，ICSE'18）;
- MTA（多線程程序的分析）：多線程程序的值流（CGO'16）；
- CFL（無上下文 - 可容納性分析）：標準CFL求解器，圖形和語法（OOPSLA'22，PLDI'23）;
- SVFIR和MONEMEMODEL（ SVFIR ）：SVFIR，內存抽象和點對數據結構（SAS'21）;
- 圖形：生成各種圖形，包括呼叫圖，ICFG，類層次結構圖，約束圖，靜態分析和代碼嵌入的值（OOPSLA'20，TOSEM'21）
我們發布SVF源代碼，希望使開源社區受益。請您通過引用或引用上面的相關出版物來確認該工具的用法。
SVF的Doxygen文檔可在此處找到。
| 關於SVF | 設置指南 | 用戶指南 | 開發人員指南 |
|---|
 |  |  |  |
| 介紹SVF-它的作用以及我們如何設計 | 逐步設置指南以構建SVF | 運行SVF，獲取分析輸出和測試SVF的命令行選項，以示例或ptaben | 詳細的技術文檔以及如何在SVF中編寫自己的分析或將SVF用作工具的LIB，以及SVF的課程 |
