C Code Checker For Static Analysis