Go 语言的静态安全扫描器,检查源码中的常见安全漏洞和危险写法,可接入 CI 做安全自动化。
用 Python 解析 Android 应用,反编译 DEX 字节码、分析权限与组件,做逆向和渗透测试时不用再手动拆包。
轻量级多架构反汇编框架,支持 ARM、x86、RISC-V、MIPS 等二十多种指令集,常用于逆向工程、二进制分析和安全工具开发。
Triton 是一个动态二进制分析库,提供指令语义提升、符号执行和污点分析能力,用来搭建逆向工程与软件验证工具。
一款带 GUI 的 JAR 包分析工具,能反编译、搜索方法调用链、做污点分析和 JAR 差异对比,帮安全人员快速定位 Java 漏洞。
基于 SpotBugs 的静态代码扫描插件,专门给 Java Web 和 Android 应用做安全审计,能查 CWE 类漏洞并支持污点分析。
面向 Java 和 Android 的静态分析框架,上手门槛低,能构建调用图并做污点分析,适合做代码安全与质量检查。
字节跳动开源的 Android 静态污点分析平台,用于扫描 App 中的隐私合规与安全漏洞,适合上线前的自动化检测。
…志: - [BUG] 修复默认启动的 GUI 底部日志区纵向截断 @4ra1n - [BUG] 修复污点分析失败丢弃已有结果 @4ra1n - [BUG] 修复 long/double 参数污点槽位错位 @4ra1n - [BUG] 修复部分净化规则配置错误 @4ra1n - [BUG] 修复构造器场景污点传播丢失 @4ra1n - [优
重要更新:重构了表达式大幅提升性能,重构了污点分析,优化了 DIFF 功能 更新日志: - [重要] 表达式搜索代码重构提升效率到秒级 @4ra1n - [重要] 污点分析引擎重写提高分析能力 @4ra1n - [功能] 表达式搜素面板重构更美观更方便 @4ra1n - [功能] 数据库新增索引提高查询效率 @4ra1n - [功能] 支