PrototypeCommon
GaloisInc/grease
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
- Owner
- GaloisInc (organization)
- Stars
- Stars: 134
- Forks
- Forks: 11
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2025
- Topics
- binary-analysisghidra-pluginprogram-analysissymbolic-executionunder-constrained-symbolic-executionhaskellhaskell-library
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by GaloisInc
All 15 repos by GaloisInc- GaloisInc/cryptolStars: 1,227HaskellBeta
- GaloisInc/HaLVMStars: 1,069HaskellBeta
- GaloisInc/crucibleStars: 781HaskellBeta
- GaloisInc/saw-scriptStars: 525HaskellAlpha
- GaloisInc/ivoryStars: 417HaskellAlpha
- GaloisInc/swankyStars: 366SieveAlpha
Nearby in Haskell
All Haskell repos- bschwb/cis194-solutionsStars: 134HaskellPrototype
- Plutonomicon/plutarch-plutusStars: 134HaskellPrototype
- garnix-io/nixos-composeStars: 134HaskellPrototype
- ollef/BidirectionalStars: 134HaskellPrototype