3 ms·
You could already use ASAN + UBSan, or Frama-C.
by astrange 2y ago
You could already use ASAN + UBSan, or Frama-C.
- the8472 2y agoI 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.