groundre
binary verifier
ghidra engine
$
groundre
::
deterministic RE verifier
Verdicts & confidence are computed by deterministic checks against the binary —
never an LLM
.
checking if the engine is awake…