博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
klee
Hacking Tools
1177 阅读
描述:
构建在LLVM编译器基础结构之上的符号虚拟机。
类别:
binary
debugger
reversing
版本:
2.1
官网:
https://github.com/klee/klee
更新:
2020-03-19
标签:
相关安全工具
klee的更多信息
dex2jar
:
一种将Android .DEX格式转换为Java .class格式的工具
uefi-firmware-parser
:
分析bios/intel me/uefi固件相关结构:卷、文件系统、文件等
justdecompile
:
JustDecompile的反编译引擎。
dotpeek
:
免费的.NET反编译程序和程序集浏览器。
eresi
:
ERESI逆向工程软件接口。
python-pwntools
:
CTF框架与开发库
binaryninja
:
一种新型的倒车平台(演示版)。
linux-inject
:
用于将共享对象注入Linux进程的工具。
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏