Automated Code Analysis

cppcheck analysis of guava_3.6-2.dsc

• ./src/leon/src/cuprstab.c:416 [error] - Invalid number of character (() when these macros are defined: 'xxxx'.
• ./src/leon/src/relator.c:758 [error] - Memory leak: found
• ./src/leon/src/setstab.c:216 [error] - Buffer access out-of-bounds: ordUnord
• ./src/leon/src/setstab.c:220 [error] - Buffer access out-of-bounds: ordUnord
• ./src/leon/src/stcs.c:473 [error] - Array 'RelSel[5]' index 5 out of bounds
• ./src/leon/src/stcs.c:652 [error] - Array 'RelSel[5]' index 5 out of bounds
• ./src/leon/src/stcs.c:473 [error] - Array 'relatorSelection[5]' index 5 out of bounds
• ./src/leon/src/stcs.c:652 [error] - Array 'relatorSelection[5]' index 5 out of bounds
• ./src/leon/src/wtdist.c:157 [error] - Memory leak: freq
• ./src/leon/src/wtdist.c:576 [error] - Memory leak: onesCount
• ./src/leon/src/wtdist.c:929 [error] - Invalid number of character ({) when these macros are defined: 'xxxxxx'.

---