PrototypeCommune
GaloisInc/grease
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
- Propriétaire
- GaloisInc (organisation)
- Étoiles
- Étoiles : 134
- Forks
- Forks : 11
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2025
- Sujets
- binary-analysisghidra-pluginprogram-analysissymbolic-executionunder-constrained-symbolic-executionhaskellhaskell-library
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de GaloisInc
Les 15 dépôts de GaloisInc- GaloisInc/cryptolÉtoiles : 1 227HaskellBêta
- GaloisInc/HaLVMÉtoiles : 1 069HaskellBêta
- GaloisInc/crucibleÉtoiles : 781HaskellBêta
- GaloisInc/saw-scriptÉtoiles : 525HaskellAlpha
- GaloisInc/ivoryÉtoiles : 417HaskellAlpha
- GaloisInc/swankyÉtoiles : 366SieveAlpha
D’autres dépôts Haskell
Tous les dépôts Haskell- bschwb/cis194-solutionsÉtoiles : 134HaskellPrototype
- Plutonomicon/plutarch-plutusÉtoiles : 134HaskellPrototype
- garnix-io/nixos-composeÉtoiles : 134HaskellPrototype
- ollef/BidirectionalÉtoiles : 134HaskellPrototype