GaloisInc/grease
GitHub: GaloisInc/grease
基于欠约束符号执行技术的二进制分析工具，提供 Ghidra 插件、命令行和 Haskell 库多种使用方式，用于检查二进制程序的安全属性。
Stars: 130 | Forks: 9
# GREASE
GREASE 是一款命令行工具、Ghidra 插件和 Haskell 库，它利用非约束符号执行 来检查二进制文件的属性。
欲了解更多信息，请参阅[介绍 GREASE 的博客文章](https://www.galois.com/articles/introducing-grease)，或[文档](https://galoisinc.github.io/grease)。
## 致谢
本材料基于美国国防高级研究计划局 在合同编号 W31P4Q-22-C-0017 和 W31P4Q-23-C-0020 下支持的工作。
本材料中表达的任何意见、发现、结论或建议均属于作者，并不一定反映美国国防高级研究计划局或美国政府的观点。
分发声明 A。已批准公开发布：分发无限制。
## 版权
版权所有 (c) Galois, Inc. 2024。
## 致谢
本材料基于美国国防高级研究计划局 在合同编号 W31P4Q-22-C-0017 和 W31P4Q-23-C-0020 下支持的工作。
本材料中表达的任何意见、发现、结论或建议均属于作者，并不一定反映美国国防高级研究计划局或美国政府的观点。
分发声明 A。已批准公开发布：分发无限制。
## 版权
版权所有 (c) Galois, Inc. 2024。标签：Assetfinder, CLI, Ghidra插件, Haskell, WiFi技术, 二进制分析, 二进制安全, 云安全监控, 云安全运维, 云资产清单, 可配置连接, 形式化验证, 文档结构分析, 欠约束符号执行, 程序分析, 符号执行, 系统运维工具, 逆向工程, 静态分析