SAL and VCC are for making C programs correct. This is related but not the same ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pascal_cuoq on June 4, 2011 \| parent \| context \| favorite \| on: Are there subsets of C that avoid compiler bugs? SAL and VCC are for making C programs correct. This is related but not the same thing as making the C compiler correct. These source-level tools assume that the compiler translates the programs correctly.

keithnoizu on June 5, 2011 [–]

Hopefully we are self hosting at this point and smart enough to apply SAL and VCC to our compiler itself.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact