
security-audit-skill
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

Differential testing framework for HTTP implementations

Sample extensions, scripts, and API uses for WinDbg.

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

Tool for reverse engineering macOS/OS X

Toolbox containing research notes & PoC code for weaponizing .NET's DLR

An strace-like program for the Windows 'native' API

An Interactive Binary Patching Plugin for IDA Pro

TInjA is a CLI tool for testing web pages for template injection vulnerabilities and supports 44 of the most relevant template engines for eight…

pyREtic is an extensible framework for in-memory Python 2.x bytecode reverse engineering

Code Coverage Exploration Plugin for Ghidra

The first analysis framework for CPU microcode

Toy scripts for playing with WinDbg JS API

User-mode x86_64 binary emulator for malware analysis and reverse engineering. Supports PE, ELF, memory dumps, and raw binaries with syscall tracing,…

Elite is the client-side component of the Covenant project. Covenant is a .NET command and control framework that aims to highlight the attack…

Pishi is a code coverage tool like kcov for macOS.

A Solution For Cross-Platform Obfuscated Commands Detection presented on CIS2019 China. 动静态Bash/CMD/PowerShell命令混淆检测框架 - CIS 2019大会

Runtime JVM analysis toolkit for inspecting classes, methods, fields, constant pool, and bytecode