225 Open source projects that are alternatives of or similar to validating-binary-decompilation

Design documents related to the decompilation pipeline.

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

QEMU based emulation library for micro-architectural simulation (ARM64 and x86)

MOROS: Obscure Rust Operating System 🦉

DRAGON Stack manager

Lightweight and optimised PHP-FPM (PHP 7.4, 8.0, 8.1) Docker images with essential extensions on top of latest Alpine Linux.

The portable version of JetBrains profiler API for .NET Framework / .NET Core / .NET / .NET Standard / Mono

Code Deobfuscator

Vox language compiler. AOT / JIT / Linker. Zero dependencies

Assembler library for Kotlin

💾 A minimal, experimental and "toy" monolithic kernel to learn about OS development // Work In Progress

An standalone execution trace library built on DynamoRIO.

Flappy Bird as bootable UEFI executable

P4-LLVM is an LLVM based compiler for P4

Homebrew x64 OS written in C++ that runs Doom!

An efficient library for 256 bit integer arithmetic

Source code recreation for the game Earthbound

Experimental x86_64 kernel project. Planned eventual successor to the kernel in ToaruOS. WIP

Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.

Cross-platform process memory inspector

Decompilation of sead: the standard C++ library for first-party Nintendo games

bmod parses binaries for modification/patching and disassembles machine code sections.

UNIX-like operating system written in C and C++

A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.

A REPL for x86-64 assembly language

A high level LLVM IR AST provider for GraphEngine JIT.

A unix operating system written from scratch in c that gives support for arm, x86

.NET Core and .NET Framework binding for the Capstone Disassembly Framework

PowerDNS + Recursor + Admin GUI + Adblock in one single Docker

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Running x86-16 or x86-32 code from x86-64 UEFI; _very experimental_ • mirror of https://gitlab.com/tkchia/biefircate • developer notes at https://gitlab.com/tkchia/biefircate/-/blob/main/doc/NOTES.asciidoc

[SPOILER ALERT] My attempt at tackling the x86_64 asm riddles in xorpd's xchg rax,rax book. Pull requests welcome.

A lightweight dnsmasq DNS server to block traffic to known ad servers with optional DNSCrypt support. Supports x86_64 and Raspberry Pi (armhf).

A hobby operating system for x86_64, boots with UEFI.

MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.

A decompilation of Pikmin brought to you by fans of the series.

AiliceOS: Build an x86_64 and UEFI OS using Rust

OpenWrt action builds

port of GNU Assembler written in go

Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.

Minimal, low-level, fast, and self-contained register-based bytecode virtual machine/runtime environment.

The FoxOS main repository

Compiler for Decaf Programming Language

This is the greatest syntax definition of All Time

libcluon is a small and efficient, single-file and header-only library written in modern C++ to power microservices.

User-mode Windows DLL injector written in Assembly language (FASM syntax) with WinAPI.

SDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.

Kempe is a compiled stack-based language

Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files

Simple automated script to build XMRig (dynamic or static) from source on x86-64, ARMv7, and ARMv8 devices.

Bazel's pre-built binaries for armv7l / aarch64 / x86_64.

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

🏃 An x86-64 assembler written in Go.

Console application for decompiling, recompiling, packaging, and patching tModLoader's .tmod files at blazing-fast speeds.

A parsable list of x86 instructions.

Hobbyist Operating System targeting x86_64 systems. Includes userspace, Virtual File System, An InitFS (tarfs), Lua port, easy porting, a decent LibC and LibM, and a shell that supports: piping, file redirection, and more.

Pink's Tracing Library

Virtual machine monitor for L4Re

Formal semantics of LLVM IR in K