GREASE: Open-Source Tool for Finding Bugs in Binaries
2025-03-20
GREASE is an open-source tool that leverages under-constrained symbolic execution to help reverse engineers find hard-to-spot bugs in binary code, improving system security. Supporting various architectures and formats, it integrates with Ghidra, functions as a standalone command-line tool, or a Haskell library. GREASE analyzes functions by running them with fully symbolic registers, iteratively refining symbolic preconditions using heuristics when errors occur. While limitations exist, such as potential false positives and negatives, GREASE significantly aids in enhancing software security, particularly when analyzing COTS software only available in binary form.
Development
bug detection