1 result found Sort:

GaloisInc
grease GaloisInc
5
101
bsd-3-clause
6
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
ghidra-plugin binary-analysis program-analysis symbolic-execution under-constrained-symbolic-execution
Created 2025-03-07
40 commits to main branch, last one a day ago