博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
klee
Hacking Tools
1187 阅读
描述:
构建在LLVM编译器基础结构之上的符号虚拟机。
类别:
binary
debugger
reversing
版本:
2.1
官网:
https://github.com/klee/klee
更新:
2020-03-19
标签:
相关安全工具
klee的更多信息
ghidra
:
一套软件逆向工程(SRE)工具,由NSA的研究理事会开发,以支持网络安全任务。
dutas
:
分析PE文件或外壳代码。
lldb
:
下一代高性能调试器
vivisect
:
vdb是一个基于python的静态分析和逆向工程框架,它是一个基于python的研究/反向集中的调试器和Kenshoto的Invisigath编程调试API。
jd-cli
:
命令行Java反编译器。
haystack
:
用于从进程内存堆分析内存结构取证中查找C结构的python框架。
sea
:
一种帮助开发二进制程序的工具。
trid
:
一种实用程序,用于从二进制签名中识别文件类型。
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏