代码库

GaloisInc/grease

132

CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution

Haskell

binary-analysisghidra-pluginhaskellhaskell-libraryprogram-analysissymbolic-executionunder-constrained-symbolic-execution

GaloisInc/crucible

766

Crucible is a library for symbolic simulation of imperative programs

Haskell