#2一个基于 VTIL 的动态 VMP 转储器和导入修复器。

适用于您的 AI 代理的本地沙箱



适用于 Linux/Android iOS/macOS 的文件系统监控工具




适用于 iOS 11.0 - 11.1.2 的 Dylib 注入,兼容 LiberiOS 和 Electra 越狱

B2R2 是一个完全用 F# 编写的托管二进制分析框架。它提供了丰富的算法、函数和工具,用于逆向工程、程序分析和二进制级检查。

开源交互式应用程序安全测试(IAST)工具,能够在开发测试期间被动插桩Java应用程序,实时检测漏洞和第三方组件风险。

CuckooDroid - 使用Cuckoo沙盒的自动化Android恶意软件分析。

面向动态分析的大规模 IoT 固件仿真

基于 eBPF 的数据包分析器,能够捕获网络流量,并自动添加进程、容器和 Kubernetes Pod 元数据注释,支持 tcpdump 兼容的过滤和 PcapNG 输出。

静态和动态分析工具,用于审计开源软件包中的恶意、易受攻击和风险属性,并提供沙箱化安装以防止供应链攻击。

一个用于自主 AI 代理的安全*运行时。策略源自纯英文宪法。(*https://ironcurtain.dev)

动态符号执行与二进制分析框架,具备污点分析、约束求解、基于Ghidra Sleigh的多架构仿真以及Python绑定,用于自动化漏洞发现。