Automated Code Analysis

cppcheck analysis of frama-c_20100401+boron+dfsg-5.dsc

• ./share/libc/test.c:48 [error] - Resource leak: f
• ./tests/cil/issues.c:220 [error] - Memory leak: p
• ./tests/cil/overlap.c:9 [error] - Uninitialized variable: z
• ./tests/misc/from_result.c:35 [error] - Memory leak: t
• ./tests/misc/from_result.c:35 [error] - Memory leak: t1
• ./tests/misc/tab.c:20 [error] - Array 'TT[5][5]' index TT[5][5] out of bounds
• ./tests/rte/divmod.c:16 [error] - Division by zero
• ./tests/rte/divmod.c:30 [error] - Division by zero
• ./tests/rte/divmod.c:34 [error] - Division by zero
• ./tests/rte/memaccess.c:10 [error] - Uninitialized variable: p
• ./tests/rte/memaccess.c:11 [error] - Uninitialized variable: p
• ./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/spec/tsets.c:18 [error] - Uninitialized variable: y
• ./tests/wp/Loop_bhv.c:40 [error] - Uninitialized variable: i
• ./tests/wp/swap.c:23 [error] - Uninitialized variable: q
• ./tests/wp/wp_if1.c:6 [error] - Uninitialized variable: x

---