Automated Code Analysis

cppcheck analysis of buddy_2.4-8.dsc

• ./examples/bddcalc/parser.cxx:1036 [error] - Memory leak: yyptr
• ./examples/cmilner/cmilner.c:290 [error] - Memory leak: c
• ./examples/cmilner/cmilner.c:290 [error] - Memory leak: cp
• ./examples/cmilner/cmilner.c:290 [error] - Memory leak: h
• ./examples/cmilner/cmilner.c:290 [error] - Memory leak: hp
• ./examples/cmilner/cmilner.c:290 [error] - Memory leak: t
• ./examples/cmilner/cmilner.c:290 [error] - Memory leak: tp
• ./examples/milner/milner.cxx:175 [error] - Memory leak: c
• ./examples/milner/milner.cxx:175 [error] - Memory leak: cp
• ./examples/milner/milner.cxx:175 [error] - Memory leak: t
• ./examples/milner/milner.cxx:175 [error] - Memory leak: tp
• ./examples/milner/milner.cxx:175 [error] - Memory leak: h
• ./examples/milner/milner.cxx:175 [error] - Memory leak: hp
• ./src/fdd.c:146 [error] - Common realloc mistake: "domain" nulled but not freed upon failure
• ./src/fdd.c:222 [error] - Common realloc mistake: "domain" nulled but not freed upon failure
• ./src/kernel.c:330 [error] - Common realloc mistake: "bddvarset" nulled but not freed upon failure
• ./src/kernel.c:332 [error] - Common realloc mistake: "bddlevel2var" nulled but not freed upon failure
• ./src/kernel.c:337 [error] - Common realloc mistake: "bddvar2level" nulled but not freed upon failure

---