
smack
Modular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…
binary-analysiscode-analysisdynamic-code-analysis+1
448

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

LLM powered fuzzing via OSS-Fuzz.

YARI is an interactive debugger for YARA Language.