
zipbrk
Zip file format fuzzer and multi-tool.

Zip file format fuzzer and multi-tool.

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

Nili is a Tool for Network Scan, Man in the Middle, Protocol Reverse Engineering and Fuzzing.

A powerful static binary rewriting tool


A tool that automatically creates fuzzing harnesses based on a library

Platform security assessment tool for dumping and analyzing UEFI/SMM registers, PCI config space, physical memory, SPI flash, and S3 bootscripts with…

Symbolic execution tool

A hypervisor for fuzzing built with WHVP and Bochs

Static Binary Instrumentation tool for Windows x64 executables

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

A tool that is used to hunt vulnerabilities in x64 WDM drivers

Pishi is a code coverage tool like kcov for macOS.

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

General-purpose data compression library implementing the zlib, deflate, and gzip formats, with thread-safe functions and cross-platform build…

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

PulseAPK Core: Cross-Platform tool for working with APK files: Decompilation, Analysis, Building
