https://github.com/galoisinc/grease
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
https://github.com/galoisinc/grease
binary-analysis ghidra-plugin haskell haskell-library program-analysis symbolic-execution under-constrained-symbolic-execution
Last synced: 11 months ago
JSON representation
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
- Host: GitHub
- URL: https://github.com/galoisinc/grease
- Owner: GaloisInc
- License: bsd-3-clause
- Created: 2025-03-07T21:07:45.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-06-26T17:55:29.000Z (12 months ago)
- Last Synced: 2025-06-26T18:37:14.879Z (12 months ago)
- Topics: binary-analysis, ghidra-plugin, haskell, haskell-library, program-analysis, symbolic-execution, under-constrained-symbolic-execution
- Language: Haskell
- Homepage: https://galoisinc.github.io/grease/
- Size: 1.76 MB
- Stars: 118
- Watchers: 6
- Forks: 7
- Open Issues: 82
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# GREASE
GREASE is command-line tool, Ghidra plug-in, and Haskell library that checks properties about binaries using under-constrained symbolic execution.
For more information, see [the blog post introducing GREASE](https://www.galois.com/articles/introducing-grease), or [the documentation](https://galoisinc.github.io/grease).
## Acknowledgements
This material is based upon work supported by the Defense Advanced Research Projects Agency under Contract No. W31P4Q-22-C-0017 and W31P4Q-23-C-0020.
Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Defense Advanced Research Projects Agency or the U.S. Government.
Distribution Statement A. Approved for public release: distribution is unlimited.
## Copyright
Copyright (c) Galois, Inc. 2024.