cppcheck analysis of picosat_936-2.dsc

./picomus.c:110 [error] - Common realloc mistake: "lits" nulled but not freed upon failure
./picosat.c:975 [error] - Common realloc mistake: "b" nulled but not freed upon failure

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, 04 Apr 2011 06:58:11 +0000, based on results by cppcheck 1.46

Automated Code Analysis

cppcheck analysis of picosat_936-2.dsc