Get in touch with us to connect with Galois by emailing a brief description of your request. Secure your high-assurance systems by using GREASE, an open-source tool for analyzing binaries and uncovering hard-to-spot bugs, particularly crucial for systems with COTS software in binary form. GREASE can be used as a Ghidra plug-in, standalone tool, or Haskell library with support for various platforms. It can automatically detect bugs like division by zero in complex code. Comparisons with angr, KLEE, UC-KLEE, and Macaw show GREASE’s unique approach to under-constrained symbolic execution. We welcome contributions and queries at [email protected].
https://www.galois.com/articles/introducing-grease