
yari
YARI is an interactive debugger for YARA Language.
binary-analysiscode-analysisdebuggers+2

YARI is an interactive debugger for YARA Language.

LLM powered fuzzing via OSS-Fuzz.

Modular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…