Writing Bug-Free C Code A Programming Style That Automatically Detects Bugs in C Code by Jerry Jongerius / January 1995