Stars
find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
OFRAK: unpack, modify, and repack binaries.
A fast, multithreaded, ROP-gadget semantics analyzer.
Lessons to get to know UEFI programming in Linux with the help of EDKII
Official AQEMU repository - a GUI for virtual machines using QEMU as the backend
A blazing fast and fully configurable Blind SQL Injection optimization and automation framework.
An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
Modelsim QEMU Unicorn integration via the FLI
⚔️ A CodeQL automation tool to execute code scanning.
🏬 The project that simplifies the use of CodeQL
FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
Fizzy aims to be a fast, deterministic, and pedantic WebAssembly interpreter written in C++.
Coverage-based fuzzer for python applications
⛏️ An extension for Visual Studio Code that simplifies CodeQL usage and executes code scanning automatically.
Unicorn Emulator Debug Server - Written in Rust, with bindings for C, Go, Java and Python
An attempt to port David Beazley's PLY to RPython, and give it a cooler API.
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
A complementary resource that helps python programmers to learn Haskell
A lightweight Cardano library in Python