Automated Code Analysis

cppcheck analysis of why_2.26+dfsg-3.dsc

• ./bench/c/absint/string.c:20 [error] - Memory leak: tmp
• ./bench/c/absint/string_annot.c:20 [error] - Memory leak: tmp
• ./bench/c/absint/string_full_annot.c:29 [error] - Memory leak: tmp
• ./bench/c/bad-interp/switch4.c:10 [error] - Invalid number of character ({) when these macros are defined: ''.
• ./bench/c/good/false.c:59 [error] - Array 'y[5]' index 5 out of bounds
• ./bench/c/good/false.c:51 [error] - Array 'y[5]' index 5 out of bounds
• ./bench/c/good/false.c:55 [error] - Array index -1 is out of bounds
• ./bench/c/good/local_aliasing.c:115 [error] - Memory leak: q
• ./bench/c/good/local_aliasing.c:122 [error] - Uninitialized variable: buf
• ./bench/c/good/muller.c:86 [error] - Memory leak: u
• ./bench/c/good/return.c:39 [error] - Uninitialized variable: x
• ./bench/c/good/sort.c:38 [error] - Uninitialized variable: b
• ./bench/c/good/sort.c:39 [error] - Uninitialized variable: d
• ./bench/c/good/switch.c:39 [style] - Redundant assignment of "y" in switch
• ./bench/c/good/switch.c:48 [style] - Redundant assignment of "y" in switch
• ./bench/c/good/switch.c:61 [style] - Redundant assignment of "y" in switch
• ./bench/c/good/switch.c:83 [style] - Redundant assignment of "y" in switch
• ./bench/c/good/switch.c:102 [style] - Redundant assignment of "y" in switch
• ./bench/c/good/unsafe.c:41 [error] - Array 't[10]' index 10 out of bounds

---