Detecting undefined behavior in C programs with CompCerthttp://compcert.inria.fr/man/manual004.html by dhekir • 14 years ago 1 0 14 years agoCOcompcert.inria.fr