Symbolic Execution based on lifting amd64 to z3

Git commit message: how to write a great git commit message and commit template for version control

Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements

simple type recognition in decompiled executables

Evasion by machine code de-optimization.

x86 Real-Mode MS-DOS Emulator using Windows Hypervisor Platform

windows rootkit

The Universal C++ RunTime library, supporting kernel-mode C++ exception-handler and STL.

Tool to statically recompile N64 games into native executables

cr3 CTF 2024

Deobfuscation via optimization with usage of LLVM IR and parsing assembly.

radius2 is a fast binary emulation and symbolic execution framework using radare2

Ergonomic and safe bindings to WHP

Lessons to get to know UEFI programming in Linux with the help of EDKII

An IRC client in your motherboard

An interactive tool for experimenting with LR(1) grammars

Aplos an extremely simple fuzzer for Windows binaries.

This repo is the new home of Proof General

A mono type definition and field inspector for Unity games compiled with mono.

Examples of leaking Kernel Mode information from User Mode on Windows

Implementation of C++ standard libraries in C

🎨 Seamlessly convert your favorite Visual Studio Code themes to IDA Pro themes.

LLVM plugin to transparently apply stack spoofing and indirect syscalls to Windows x64 native calls at compile time.

Report and exploit of CVE-2024-21305.

transpile llil to c++ for execution and testing

A single-header ANSI C immediate mode cross-platform GUI library

A native, user-mode, multi-process, graphical debugger.

Plugin manager for x64dbg

Hardcore Debugging