博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
manticore
Hacking Tools
2809 阅读
描述:
符号执行工具。
类别:
binary
版本:
0.2.4.r30.g67c1d66e
官网:
https://github.com/trailofbits/manticore
更新:
2019-04-07
标签:
相关安全工具
manticore的更多信息
soot
:
一个Java字节码分析和转换框架。
sea
:
一种帮助开发二进制程序的工具。
ropper
:
显示有关二进制文件的信息,并查找用于为不同架构构建ROP链的小工具
binflow
:
POSIX函数跟踪。比ftrace更好更快。
python2-frida
:
面向开发人员、逆向工程师和安全研究人员的动态工具工具包。
cpp2il
:
一种逆转unity的IL2PP工具链的工具
origami
:
旨在提供脚本工具来生成和分析恶意PDF文件。
unifuzzer
:
基于Unicorn和LibFuzzer的封闭源代码二进制文件的模糊化工具。
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏