cppcheck analysis of picosat_936-1.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, 20 Dec 2010 21:17:49 +0000, based on results by cppcheck 1.46

Automated Code Analysis

cppcheck analysis of picosat_936-1.dsc