博文
设计开发
网络安全
观察
服务
AI导航
更多
关于
分享
老电影
搜索语法/SHDB
Exploits
SecTools
UserAgent解析
地理坐标在线转换
manticore
Hacking Tools
2808 阅读
描述:
符号执行工具。
类别:
binary
版本:
0.2.4.r30.g67c1d66e
官网:
https://github.com/trailofbits/manticore
更新:
2019-04-07
标签:
相关安全工具
manticore的更多信息
qbdi
:
基于LLVM的动态二进制检测框架。
dynamorio
:
动态二进制检测框架。
chipsec
:
用于分析PC平台安全性的框架,包括硬件、系统固件(bios/uefi)和平台组件。
jwscan
:
扫描jar-to-exe包装,如launch4j、exe4j、jsmooth、jar2exe。
elfparser
:
跨平台ELF分析。
dexpatcher
:
使用Java修改源代码级别的Android DEX/APK文件。
origami
:
旨在提供脚本工具来生成和分析恶意PDF文件。
pextractor
:
一种取证工具,可以从由连接程序或类似程序创建的可执行文件中提取所有文件。
×
扫码分享
验证:
体验盒子
扫码分享
×
打赏零钱
×
支付宝打赏
微信打赏