Xr0 – Vanilla C Made Safe with Annotations
Xr0 – Vanilla C Made Safe with Annotations
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.
Share cardActual performance
Launch Intel predictions
Analyze your own launch →Correct prediction on native model
Similar products
AsyncQ dotnet thread safe async queues
Safe CarTech – A rear collision prevention system
a safe cracking game on your wrist
Sety is an app that will keep you safe
Antidetect browser for safe multiaccounting.
A more secure Passwørd Safe (scrypt, EAX)
safe-pg-migrations, ActiveRecord migrations for Postgres made safe
Thread safe Jedis client
Our Solution to Safe Harbor Invalidation
SAN – a Safe and Nice TOML/YAML Alternative