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

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

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

match functions in binaries by what they do, not what their bytes look like. behavioral function fingerprinting via microexecution.

Automated DLL Hijacking Discovery, Validation, and Confirmation. Turning local misconfigurations into weaponized, confirmed attack paths.

.NET deobfuscator and unpacker.

GNU IFUNC is the real culprit behind CVE-2024-3094

Maps execution-coverage data onto Ghidra disassembly to highlight visited code paths and accelerate reverse-engineering workflows.

Xyntia, the black-box deobfuscator

DLLirant is a tool to automatize the DLL Hijacking researches on a specified binary.

Runtime libc function auditor that detects file access race conditions and symlink vulnerabilities by hooking filesystem syscalls via LD_PRELOAD,…

Static Binary Instrumentation tool for Windows x64 executables

VMUnprotect.Dumper can dynamically untamper VMProtected Assembly.

A script to detect stack-strings by using emulation (leveraging Unicorn)

Winstrument is a framework of modular scripts to aid in instrumenting Windows software using Frida for reverse engineering and attack surface…

Code Coverage Exploration Plugin for Ghidra

Pishi is a code coverage tool like kcov for macOS.

Golang bindings for PE-sieve

ExportHider: Generating Export Table during Runtime to Hide the Exported Functions from the DLL File.