cppcheck analysis of acl2_3.6-4.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 Thu, 16 Dec 2010 05:45:57 +0000, based on results by cppcheck 1.41-modif