主題 · symbolic-execution

symbolic-execution

標記 symbolic-execution 主題、收錄中的開源專案，依星數排序。

專案數

13

總星數

26,492

平均星數

2,038

佔比

0.00%

常跟 symbolic-execution 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 symbolic-execution 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
Triton ↗@JonathanSalwanC++
Triton 是一個動態二進位分析庫。構建自己的程式分析工具，自動化逆向工程，執行軟體驗證或僅僅模擬程式碼
★ 4,281+0近 7 天星數變化
#2
mythril ↗@ConsenSysDiligencePython
Mythril 是一款基於符號執行的安全分析工具，針對 EVM 字節碼。它可偵測為 Ethereum 及其他 EVM 相容區塊鏈所建智能合約的安全漏洞。
★ 4,265+0近 7 天星數變化
#3
miasm ↗@cea-secPython
Python 逆向工程框架
★ 3,947+0近 7 天星數變化
#4
klee ↗@kleeC++
KLEE 符號執行引擎
★ 2,975+0近 7 天星數變化
#5
bap ↗@BinaryAnalysisPlatformOCaml
二進位分析平台
★ 2,254+0近 7 天星數變化
#6
Ponce ↗@illera88C++
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
★ 1,627+0近 7 天星數變化
#7
awesome-symbolic-execution ↗@ksluckow
精選的符號執行（Symbolic Execution）資源列表，包含重要研究論文、講座、影片與工具。
★ 1,497+0近 7 天星數變化
#8
CrossHair ↗@pschanelyPython
模糊測試與型別系統界線的 Python 分析工具。
★ 1,319+0近 7 天星數變化
#9
alive2 ↗@AliveToolkitC++
LLVM 優化的自動驗證
★ 1,163+0近 7 天星數變化
#10
medusa ↗@wiskC++
一個開源的互動式反組譯器
★ 1,090+0近 7 天星數變化
#11
deepstate ↗@trailofbitsPython
用於模糊測試（Fuzzing）與符號執行的類似單元測試介面
★ 862+0近 7 天星數變化
#12
AngryGhidra ↗@Nalen98Java
在 Ghidra 中使用 angr
★ 624+0近 7 天星數變化
#13
stp ↗@stpC++
Simple Theorem Prover，一款針對位元向量、浮點數與陣列的高效 SMT 求解器。
★ 588+0近 7 天星數變化

← 返回主題列表