
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…

YARI is an interactive debugger for YARA Language.

LLM powered fuzzing via OSS-Fuzz.