Automated Code Analysis

cppcheck analysis of otter_3.3f-1.dsc

• ./source/clause.c:3284 [error] - Resource leak: fin
• ./source/clause.c:3284 [error] - Resource leak: fout
• ./source/formula.c:1642 [error] - Possible null pointer dereference: f1 - otherwise it is redundant to check if f1 is null at line 1651
• ./source/formula.c:1645 [error] - Possible null pointer dereference: f1 - otherwise it is redundant to check if f1 is null at line 1651
• ./source/formula.c:2171 [error] - Possible null pointer dereference: f1 - otherwise it is redundant to check if f1 is null at line 2175
• ./source/formula.c:2172 [error] - Possible null pointer dereference: f1 - otherwise it is redundant to check if f1 is null at line 2175
• ./source/formula.c:2190 [error] - Possible null pointer dereference: f1 - otherwise it is redundant to check if f1 is null at line 2194
• ./source/formula.c:2191 [error] - Possible null pointer dereference: f1 - otherwise it is redundant to check if f1 is null at line 2194
• ./source/nonport.c:300 [possible error] - Resource leak: fin
• ./source/share.c:390 [error] - Buffer access out-of-bounds

---