Automated Code Analysis

cppcheck analysis of frama-c_20090902+beryllium+dfsg-5.dsc

• ./tests/misc/absolute_pointer.c:8 [error] - Null pointer dereference
• ./tests/misc/automalloc.c:16 [error] - Memory leak: buf
• ./tests/misc/cast1.c:15 [error] - Uninitialized variable: x
• ./tests/misc/cast1.c:24 [error] - Uninitialized variable: x
• ./tests/misc/degeneration2.c:19 [error] - Uninitialized variable: offset_uninit
• ./tests/misc/deps.c:11 [error] - Uninitialized variable: w
• ./tests/misc/if.c:26 [error] - Uninitialized variable: c
• ./tests/misc/if.c:55 [error] - Uninitialized variable: e1
• ./tests/misc/if.c:55 [error] - Uninitialized variable: e2
• ./tests/misc/join_misaligned.c:12 [error] - Array 't[5]' index 6 out of bounds
• ./tests/misc/join_misaligned.c:19 [error] - Array 't[5]' index 6 out of bounds
• ./tests/misc/join_misaligned.c:13 [error] - Array 'u[5]' index 6 out of bounds
• ./tests/misc/join_misaligned.c:20 [error] - Array 'u[5]' index 6 out of bounds
• ./tests/misc/local.c:7 [error] - Return of the address of an auto-variable
• ./tests/misc/loop1.c:7 [error] - Buffer access out-of-bounds
• ./tests/misc/misaligned_tabs.c:66 [error] - Uninitialized variable: i
• ./tests/misc/offset_neg.c:3 [error] - Array 'G[5]' index -1 out of bounds
• ./tests/misc/origin.c:62 [error] - Uninitialized variable: pi
• ./tests/misc/origin.c:69 [error] - Uninitialized variable: pi
• ./tests/misc/struct.c:5 [error] - Uninitialized variable: w
• ./tests/misc/struct3.c:36 [error] - Array 'd[10]' index 10 out of bounds
• ./tests/misc/struct_incl.c:48 [error] - Array 'd[10]' index 10 out of bounds
• ./tests/misc/uninit.c:3 [error] - Uninitialized variable: i
• ./tests/pdg/dpds_intra.c:51 [error] - Uninitialized variable: x
• ./tests/security/first.c:27 [error] - Memory leak: c
• ./tests/spec/acsl_allocator.c:311 [error] - Memory leak: mcl
• ./tests/spec/acsl_allocator.c:297 [error] - Memory leak: mb
• ./tests/spec/acsl_allocator.c:259 [error] - Memory leak: mc
• ./tests/spec/acsl_allocator.c:289 [error] - Memory leak: mb_data
• ./tests/wp/wp_if1.c:6 [error] - Uninitialized variable: x

---