Automated Code Analysis

cppcheck analysis of splint_3.1.2.dfsg1-2.dsc

• ./src/cpplib.c:7758 [error] - Resource leak: f
• ./src/cpplib.c:8521 [error] - Resource leak: f
• ./src/cpplib.c:7758 [possible error] - Resource leak: f
• ./test/abstptr.c:17 [error] - Null pointer dereference
• ./test/alias2.c:17 [error] - Uninitialized variable: lx
• ./test/buffertest1.c:20 [error] - Uninitialized variable: g
• ./test/constannot.c:6 [possible error] - Array index out of bounds
• ./test/constannot.c:11 [possible error] - Array index out of bounds
• ./test/decl.c:13 [error] - Array 'buf[10]' index 10 out of bounds
• ./test/divzero.c:3 [error] - Division by zero
• ./test/enum.c:15 [error] - Uninitialized variable: a
• ./test/for/for.c:13 [error] - Buffer access out-of-bounds
• ./test/iter.h:7 [error] - Invalid number of character ({) when these macros are defined: ''.
• ./test/iter2.c:14 [error] - Invalid number of character ({) when these macros are defined: ''.
• ./test/malloc.c:5 [error] - Array 'ip[22]' index 88 out of bounds
• ./test/malloc.c:15 [error] - Array 'ip[22]' index 22 out of bounds
• ./test/malloc.c:26 [error] - Array 'ip[87]' index 87 out of bounds
• ./test/malloc.c:35 [error] - Array 'ip[43]' index 86 out of bounds
• ./test/malloc.c:3 [error] - The given size 89 is mismatching
• ./test/malloc.c:33 [error] - The given size 174 is mismatching
• ./test/manual/only.c:14 [error] - Memory leak: m
• ./test/manual/sample.c:11 [error] - Memory leak: x
• ./test/manual/setChar.c:5 [error] - Array 'buf[10]' index 10 out of bounds
• ./test/manual/stack.c:12 [error] - Return of the address of an auto-variable
• ./test/mergestate/taintednm.c:24 [error] - Returning pointer to local array variable
• ./test/metastate/file2.c:13 [error] - Resource leak: fle1
• ./test/metastate/file3.c:13 [error] - Resource leak: fle1
• ./test/moreBufferTests/strncatNotReallyGood.c:4 [error] - Uninitialized variable: buffer
• ./test/moreBufferTests2/initBlock.c:8 [error] - Array 'buf[10]' index 10 out of bounds
• ./test/null1.c:19 [error] - Memory leak: y
• ./test/null1.c:67 [error] - Memory leak: z3
• ./test/nullterminatedtest/test3.c:14 [error] - Uninitialized variable: x
• ./test/outparam.c:37 [error] - Uninitialized variable: c
• ./test/sharing1.c:62 [error] - Memory leak: y2
• ./test/sharing1.c:62 [error] - Memory leak: y3
• ./test/simplebufferConstraintTests/sizeof.c:17 [error] - Array 'x[3]' index 3 out of bounds
• ./test/simplebufferConstraintTests/test3.c:9 [error] - Array 'g[100]' index 101 out of bounds
• ./test/simplebufferConstraintTests/test3.c:10 [error] - Array 'g[100]' index 100 out of bounds
• ./test/sizeof.c:6 [error] - Array 'x[3]' index 3 out of bounds
• ./test/sizeoftest/sizeof.c:6 [error] - Array 'x[3]' index 3 out of bounds
• ./test/stack.c:20 [error] - Return of the address of an auto-variable
• ./test/stack.c:31 [error] - Returning pointer to local array variable
• ./test/t1.c:5 [error] - Memory leak: z
• ./test/tainted/taintedmerge.c:16 [error] - Returning pointer to local array variable
• ./test/test.c:3 [error] - Uninitialized variable: ip
• ./test/tests2.2a/toralf.c:15 [error] - Uninitialized variable: i1
• ./test/tests2.4/array.c:17 [error] - Memory leak: p
• ./test/tests2.4/main.c:10 [error] - Memory leak: p
• ./test/tests2.4/main.c:8 [error] - Uninitialized variable: j
• ./test/tests2.4/timecard.c:156 [error] - Uninitialized variable: m
• ./test/tests2.4/toothman.c:156 [error] - Uninitialized variable: m
• ./test/tests2.5/boolbad.c:12 [error] - Uninitialized variable: foo
• ./test/tests2.5/impabsmodule.c:10 [error] - Uninitialized variable: var
• ./test/ud.c:8 [error] - Uninitialized variable: y
• ./test/ullint.c:30 [error] - Buffer access out-of-bounds

---