博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
klee
Hacking Tools
1175 阅读
描述:
构建在LLVM编译器基础结构之上的符号虚拟机。
类别:
binary
debugger
reversing
版本:
2.1
官网:
https://github.com/klee/klee
更新:
2020-03-19
标签:
相关安全工具
klee的更多信息
leena
:
javascript的符号执行引擎
pin
:
动态二进制检测工具。
binflow
:
POSIX函数跟踪。比ftrace更好更快。
swfintruder
:
测试Flash电影安全性的第一个工具。用于SWF外部电影的运行时分析器。它有助于发现闪光灯的缺陷。
pwndbg
:
使用gdb进行调试变得不那么糟糕。
jbe
:
Java字节码编辑器,适用于查看和修改Java类文件。
radare2-cutter
:
用于RADEAR2逆向工程框架的QT和C++ GUI。
frida-ios-dump
:
从越狱设备中提取解密的ipa。
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏