博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
klee
Hacking Tools
1209 阅读
描述:
构建在LLVM编译器基础结构之上的符号虚拟机。
类别:
binary
debugger
reversing
版本:
2.1
官网:
https://github.com/klee/klee
更新:
2020-03-19
标签:
相关安全工具
klee的更多信息
jad
:
Java反编译程序
malwareanalyser
:
对恶意软件进行静态和动态分析的免费软件工具。
binaryninja-python
:
用python编写的二进制忍者原型。
jadx
:
命令行和GUI工具从Android DEX和APK文件生成Java源代码
jeb-intel
:
英特尔反编译程序。
malscan
:
一个简单的PE文件启发式扫描仪。
binnavi
:
一种二进制分析IDE,允许检查、导航、编辑和注释控制流图和反汇编代码的调用图。
backdoor-factory
:
用shellcode修补win32/64二进制文件。
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏