Automated Code Analysis

cppcheck analysis of mcrl2_201103-1.dsc

• ./libraries/core/source/typecheck.cpp:5139 [error] - Possible null pointer dereference: Pars
• ./libraries/data/source/detail/enumerate/enum_standard.cpp:798 [error] - Memory leak: sols
• ./libraries/data/source/detail/rewrite/innerc.cpp:419 [error] - Common realloc mistake: "whitespace_str" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/innerc.cpp:1341 [error] - Common realloc mistake: "i_t_st" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jitty.cpp:127 [error] - Common realloc mistake: "apples" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:513 [error] - Common realloc mistake: "apples" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:544 [error] - Common realloc mistake: "int2aterms" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:581 [error] - Common realloc mistake: "rewrappls" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:716 [error] - Common realloc mistake: "whitespace_str" nulled but not freed upon failure
• ./libraries/data/source/detail/rewrite/jittyc.cpp:2414 [error] - Common realloc mistake: "i_t_st" nulled but not freed upon failure
• ./libraries/lts/source/liblts_bcg.cpp:127 [error] - Common realloc mistake: "buf" nulled but not freed upon failure
• ./libraries/lts/source/liblts_dotparser.cpp:1333 [error] - Memory leak: yyptr
• ./libraries/lts/source/liblts_fsmparser.cpp:1364 [error] - Memory leak: yyptr
• ./tools/grapemcrl2/grapeapp/visuals/geometric.cpp:1177 [error] - Array 'points[36]' index 36 out of bounds
• ./tools/ltsgraph/springlayout.cpp:402 [error] - Possible null pointer dereference: app - otherwise it is redundant to check if app is null at line 414
• ./tools/ltsgraph/visualizer.cpp:1185 [error] - Passing value 0.0 and 0.0 to atan2() leads to undefined result
• ./tools/ltsview/primitivefactory.cpp:152 [error] - Common realloc mistake: "cos_theta" nulled but not freed upon failure
• ./tools/ltsview/primitivefactory.cpp:153 [error] - Common realloc mistake: "sin_theta" nulled but not freed upon failure
• ./tools/lysa2mcrl2/lysaparser.cpp:1490 [error] - Memory leak: yyptr
• ./tools/tbf2lps/lpstrans.cpp:222 [error] - Buffer access out-of-bounds: s

---