[dorianh]

The blog post company does sell a C interpreter that checks for all undefined behaviors (with provenance and offset).