博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
klee
Hacking Tools
1180 阅读
描述:
构建在LLVM编译器基础结构之上的符号虚拟机。
类别:
binary
debugger
reversing
版本:
2.1
官网:
https://github.com/klee/klee
更新:
2020-03-19
标签:
相关安全工具
klee的更多信息
gadgetinspector
:
字节码分析器,用于在Java应用程序中查找反序列化小工具链。
jad
:
Java反编译程序
rizin
:
用于禁用、调试、分析和操作二进制文件的开源工具
pepper
:
对可移植可执行文件执行恶意软件静态分析的开源脚本。
jwscan
:
扫描jar-to-exe包装,如launch4j、exe4j、jsmooth、jar2exe。
jeb-android
:
Android解压器。
plasma-disasm
:
用于x86/ARM/MIPS的交互式反汇编程序。它可以生成带有彩色语法的缩进伪代码。
python2-capstone
:
一个轻量级的多平台多体系结构拆卸框架
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏