The Galois GREASE tool leverages under-constrained symbolic execution to help software reverse engineers analyze binaries and uncover hard-to-spot bugs, ultimately enhancing system security.

GREASE is open source. Check out the documentation and source code on GitHub.