cppcheck analysis of boolector_1.4.ffc2089.100608-1.dsc
- ./deltabtor.c:213 [error] - Common realloc mistake: "buf" nulled but not freed upon failure
- ./deltabtor.c:219 [error] - Common realloc mistake: "buf" nulled but not freed upon failure
- ./deltabtor.c:251 [error] - Common realloc mistake: "buf" nulled but not freed upon failure
- ./deltabtor.c:258 [error] - Common realloc mistake: "buf" 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:12:43 +0000, based on results by cppcheck 1.46
Automated Code Analysis