You could already use ASAN + UBSan, or Frama-C. | Hacker News

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

		astrange on July 31, 2024 \| parent \| context \| favorite \| on: Translating All C to Rust (TRACTOR) You could already use ASAN + UBSan, or Frama-C.

the8472 on July 31, 2024 [–]

I did mention using sanitizers in the verification step of the optimization loop. The optimization goal here would be reducing the lines of `unsafe` while preserving program semantics.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact