博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
klee
Hacking Tools
1177 阅读
描述:
构建在LLVM编译器基础结构之上的符号虚拟机。
类别:
binary
debugger
reversing
版本:
2.1
官网:
https://github.com/klee/klee
更新:
2020-03-19
标签:
相关安全工具
klee的更多信息
apkstudio
:
一个用于反编译/编辑的IDE,然后重新编译Android应用程序二进制文件。
dotpeek
:
免费的.NET反编译程序和程序集浏览器。
lief
:
库到仪器的可执行格式。
expose
:
JavaScript的动态符号执行(DSE)引擎
peda
:
python利用gdb的开发辅助
voltron
:
gdb、lldb和vivisec的vdb的用户界面。
distorm
:
用于x86/AMD64的强大反汇编程序库
qbdi
:
基于LLVM的动态二进制检测框架。
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏