cppcheck analysis of acl2_4.1-5.dsc
- ./books/clause-processors/SULFA/c-files/sat-input-formater.c:51 [error] - Resource leak: cnf_file
- ./books/clause-processors/SULFA/c-files/zchaff-output-formater.c:16 [error] - Uninitialized variable: curr_char
- ./books/unicode/test-performance/timing.c:27 [error] - Resource leak: in
Note: if you think the results reveal a security bug,
please don't hesitate to contact the
security team
This report was generated on Mon, 20 Dec 2010 21:12:12 +0000, based on results by cppcheck 1.46
Automated Code Analysis