GaloisInc/grease

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

语言：Haskell · GitHub 星标：134 · Fork：12

话题：binary-analysis · ghidra-plugin · haskell · haskell-library · program-analysis · symbolic-execution · under-constrained-symbolic-execution

在 GitHub 上查看原仓库