Coding Guarantees in C

Guarantee your code operates correctly using a combination of static assertions and runtime checks to make code obviously and understandably correct. This book covers ten common coding areas that every C programmer faces. Each area includes a discussion of the problems, a checklist for reviewing code in that area, and examples that make guarantees that the code operates correctly.