You might be interested in tis-interpreter: http://trust-in-soft.com/tis-interpreter/ http://trust-in-soft.com/tis-interpreter/ It can’t prove a program is 10

You might be interested in tis-interpreter: http://trust-in-soft.com/tis-interpreter/ http://trust-in-soft.com/tis-interpreter/ It can’t prove a program is 100% conformant, but it can detect a much broader range of undefined behaviors than regular compilers, and does other things more strictly (like, IIRC, limiting the declarations exposed by standard library includes to what the standards guarantees they expose).