It's worth studying a bit on static analysis tools for C. C's lack of adequate specification and undefined/unspecified cases make it a shambling mess to have tr

It's worth studying a bit on static analysis tools for C. C's lack of adequate specification and undefined/unspecified cases make it a shambling mess to have truly correct C, particularly multiplatform or in unusual CPU environments. C++ does not improve this.