Automated Code Analysis

cppcheck analysis of mcrl2_201007~rc1-1.dsc

• ./3rd-party/aterm/source/aterm.c:2052 [error] - Memory leak: name
• ./3rd-party/aterm/source/aterm.c:2103 [error] - Memory leak: name
• ./3rd-party/aterm/source/memory.c:508 [error] - Resource leak: f
• ./libraries/core/source/typecheck.cpp:3814 [error] - Possible null pointer dereference: Pars
• ./libraries/data/source/detail/enumerate/enum_standard.cpp:744 [error] - Memory leak: sols
• ./libraries/data/source/detail/rewrite/innerc.cpp:398 [error] - Common realloc mistake: "whitespace_str" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/innerc.cpp:1219 [error] - Common realloc mistake: "i_t_st" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jitty.cpp:171 [error] - Common realloc mistake: "apples" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:487 [error] - Common realloc mistake: "apples" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:518 [error] - Common realloc mistake: "int2aterms" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:555 [error] - Common realloc mistake: "rewrappls" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:681 [error] - Common realloc mistake: "whitespace_str" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:2215 [error] - Common realloc mistake: "i_t_st" nulled but not freed upon failure
• ./libraries/lts/source/liblts_bcg.cpp:137 [error] - Common realloc mistake: "buf" nulled but not freed upon failure
• ./libraries/lts/source/liblts_dotparser.cpp:1318 [error] - Memory leak: yyptr
• ./libraries/lts/source/liblts_fsm.cpp:222 [error] - Memory leak: set
• ./libraries/lts/source/liblts_fsmparser.cpp:1337 [error] - Memory leak: yyptr
• ./tools/grapemcrl2/grapeapp/visuals/geometric.cpp:1091 [error] - Array 'points[36]' index 36 out of bounds
• ./tools/ltsgraph/springlayout.cpp:400 [error] - Possible null pointer dereference: app - otherwise it is redundant to check if app is null at line 411
• ./tools/ltsgraph/visualizer.cpp:1146 [error] - Passing value 0.0 and 0.0 to atan2() leads to undefined result
• ./tools/ltsview/primitivefactory.cpp:133 [error] - Common realloc mistake: "cos_theta" nulled but not freed upon failure
• ./tools/ltsview/primitivefactory.cpp:134 [error] - Common realloc mistake: "sin_theta" nulled but not freed upon failure
• ./tools/lysa2mcrl2/lysaparser.cpp:1454 [error] - Memory leak: yyptr
• ./tools/mcrl2-gui/gui/projectcontrol.h:465 [error] - Resource leak: file
• ./tools/tbf2lps/lpstrans.cpp:214 [error] - Buffer access out-of-bounds: s

---