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.
반응 (1)
비슷한 프로덕트
설명이 비슷한 순
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.
설명이 비슷한 순