Xr0 – Vanilla C Made Safe with Annotations
Show HN: Xr0 is a Static Debugger for C
Operating in show hn launch, Xr0 – Vanilla C Made Safe with Annotations operates.
Profile
Xr0 is a new static analyser that aims to make it possible to write vanilla C and get the same safety guarantees that are available other higher-level languages.We've been working on Xr0 for the past couple of months and are excited to share an early prototype.@betz47 and I are here to answer any questions.
Its activity falls under show hn launch; the profile below is assembled from public directory data.
Directory data places it at the Show HN launch stage.
| Sector | Show HN launch |
|---|---|
| Stage | Show HN launch |
Website: xr0.dev/debug
Browse related
Sign in to view the contact information we hold for Xr0 – Vanilla C Made Safe with Annotations.
Create a free account
Create a free account