"StrictCode" is a small prototype c program that can be used to check the correctness and logic of a code independent