The CVE Machine: Autonomous Vulnerability Researcher

Vegacorn Dynamic Analysis Framework

Unicorn Engine port for UEFI firmware

Run Code-server on Android

Decompiler for Move smart contracts

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

Bochs - Cross Platform x86 Emulator Project

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

Windows kernel and user mode emulation.

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) - автоматический генератор фаззинг-оберток для библиотек

A modern smart contract platform for Cardano

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

Collection of DBI evasion techniques