Automated Code Analysis

cppcheck analysis of gringo_3.0.3-4.dsc

• ./lemon/lemon.c:1376 [error] - Common realloc mistake: "azDefine" nulled but not freed upon failure
• ./lemon/lemon.c:3233 [error] - Common realloc mistake: "z" nulled but not freed upon failure
• ./lemon/lemon.c:2325 [error] - Memory leak: sp
• ./lemon/lemon.c:2527 [error] - Resource leak: fp
• ./lemon/lemon.c:3101 [error] - Memory leak: tpltname
• ./liblua/src/lparser.cpp:359 [error] - Possible null pointer dereference: fs - otherwise it is redundant to check if fs is null at line 379
• ./liblua/src/lparser.cpp:362 [error] - Possible null pointer dereference: fs - otherwise it is redundant to check if fs is null at line 379
• ./liblua/src/lparser.cpp:364 [error] - Possible null pointer dereference: fs - otherwise it is redundant to check if fs is null at line 379
• ./liblua/src/lparser.cpp:366 [error] - Possible null pointer dereference: fs - otherwise it is redundant to check if fs is null at line 379
• ./liblua/src/lparser.cpp:368 [error] - Possible null pointer dereference: fs - otherwise it is redundant to check if fs is null at line 379
• ./liblua/src/lparser.cpp:370 [error] - Possible null pointer dereference: fs - otherwise it is redundant to check if fs is null at line 379
• ./liblua/src/lparser.cpp:375 [error] - Possible null pointer dereference: fs - otherwise it is redundant to check if fs is null at line 379

---