博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
klee
Hacking Tools
1177 阅读
描述:
构建在LLVM编译器基础结构之上的符号虚拟机。
类别:
binary
debugger
reversing
版本:
2.1
官网:
https://github.com/klee/klee
更新:
2020-03-19
标签:
相关安全工具
klee的更多信息
python2-capstone
:
一个轻量级的多平台多体系结构拆卸框架
bgrep
:
二进制GRP.
metame
:
用于任意可执行文件的简单变形代码引擎。
manticore
:
符号执行工具。
analyzepesig
:
分析PE文件的数字签名。
pin
:
动态二进制检测工具。
GetDroid
:
一个恶意Android APK生成器(反弹Shell),并通过Ngrok沟通。
bokken
:
Radare2和Pyew的GUI。
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏