主题 · 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 天星标变化

← 返回主题列表