Xr0 is a Static Debugger for C
Xr0 is a verifier for C that eliminates undefined behaviour, like use-after-frees, double frees, null pointer dereferences and the use of uninitialised memory.
Xr0 is a Static Debugger for C launched on May 25, 2024 with 36 votes, #712 of 4,539 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 2 years on.
In plain words
Xr0 is a static debugger designed for C programming. It analyzes code without executing it, helping developers identify potential issues in their C programs. The tool is intended for C programmers who want to catch bugs during development rather than at runtime. Xr0 distinguishes itself by performing static analysis, which means developers can find and fix problems before their code runs.
written from the facts on this page · September 2026
From the sources
A static debugger is the compile-time analogue of runtime debuggers like GDB. Runtime debuggers require you to execute a program in order to analyse it, but 0db shows line-by-line the state of a C program on the basis of the semantics of the language alone. This matters because at runtime we interact with a very tiny subset of a program’s possible behaviours. In the state supplied by 0db you see at once what applies to all possible executions of a program. 0db is an interface for Xr0 , a new verifier meant to eliminate undefined behaviour from C. Thus 0db is, of necessity, as limited as Xr0, which works for a small-but-growing subset of C89. Its main utility right now is it helps us…from xr0.dev
Does a similar job
all alternatives →
A simple garbage collector for C2019 · github.com · ▲192Simple, zero-dependency garbage collection for C. Contribute to mkirchner/gc development by creating an account on GitHub.
Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 linesDec 2025 · github.com · ▲154Repo: https://github.com/valdanylchuk/xcc700 Hi Everyone! I just wrote my first compiler! - single pass, recursive descent, direct emission - generates REL ELF binaries, runnable using ESP-IDF elf_loader - very basic features only, just enough for self-hosting - treats the Xtensa CPU as a stack machine for simplicity, no register allocation / window usage - compilable on Mac, probably also Linux, can cross-compile for esp32 there - wrote for fun / cyberdeck project Sample output from esp32: xcc700.elf xcc700.c -o /d/cc.elf [ xcc700 ] BUILD COMPLETED >…
A minimal C runtime for Linux i386 and x86_64 in 87 SLOC of C2015 · github.com · ▲172A minimal C runtime for Linux i386 & x86_64. Contribute to lpsantil/rt0 development by creating an account on GitHub.
A dbg(...) macro for C++2019 · github.com · ▲162A dbg(…) macro for C++. Contribute to sharkdp/dbg-macro development by creating an account on GitHub.
A work-in-progress C compiler from scratch2021 · github.com · ▲159Programming language that compiles into a x86 ELF executable. - riicchhaarrd/ocean
Assembly to C code Decompiler2016 · decompiler.org · ▲98
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 3d ago · permit.petercai.com
- IV
Life & fun · 15d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 16d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 10d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 14d ago · carrierexplode.com
Life & fun · 24d ago · space.bl2.net
Source: Show HN post ↗
