Automated Code Analysis

cppcheck analysis of gnat-gps_4.3-5.dsc

• ./examples/demo/matrix_handling/matrix_utils.c:23 [error] - Undefined behaviour: result is used wrong in call to sprintf or snprintf. Quote: If copying takes place between objects that overlap as a result of a call to sprintf() or snprintf(), the results are undefined.
• ./examples/demo/matrix_handling/matrix_utils.c:27 [error] - Undefined behaviour: result is used wrong in call to sprintf or snprintf. Quote: If copying takes place between objects that overlap as a result of a call to sprintf() or snprintf(), the results are undefined.
• ./kernel/src_info/sn/snsrc/db-2.7.7/btree/bt_rec.c:73 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/btree/bt_rec.c:165 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/btree/bt_rec.c:270 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/btree/bt_rec.c:540 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/btree/bt_rec.c:619 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/btree/bt_rec.c:685 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/btree/bt_rec.c:762 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/btree/bt_rec.c:829 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/db/db_rec.c:53 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/db/db_rec.c:127 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/db/db_rec.c:202 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/db/db_rec.c:355 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/db/db_rec.c:414 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/db/db_rec.c:527 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/db/db_rec.c:607 [error] - Uninitialized variable: argp
• ./kernel/src_info/sn/snsrc/db-2.7.7/examples/ex_mpool.c:134 [error] - Resource leak: fd
• ./kernel/src_info/sn/snsrc/db-2.7.7/examples/ex_thread.c:580 [error] - Resource leak: fp
• ./kernel/src_info/sn/snsrc/db-2.7.7/examples_cxx/LockExample.cpp:161 [error] - Mismatching allocation and deallocation: locks
• ./kernel/src_info/sn/snsrc/db-2.7.7/examples_cxx/LockExample.cpp:210 [error] - Mismatching allocation and deallocation: locks
• ./kernel/src_info/sn/snsrc/db-2.7.7/examples_cxx/MpoolExample.cpp:134 [error] - Resource leak: fd
• ./kernel/src_info/sn/snsrc/db-2.7.7/hash/hash_rec.c:95 [error] - Uninitialized variable: dbc
• ./kernel/src_info/sn/snsrc/db-2.7.7/hash/hash_rec.c:203 [error] - Uninitialized variable: dbc
• ./kernel/src_info/sn/snsrc/db-2.7.7/hash/hash_rec.c:392 [error] - Uninitialized variable: dbc
• ./kernel/src_info/sn/snsrc/db-2.7.7/hash/hash_rec.c:486 [error] - Uninitialized variable: dbc
• ./kernel/src_info/sn/snsrc/db-2.7.7/hash/hash_rec.c:609 [error] - Uninitialized variable: dbc
• ./kernel/src_info/sn/snsrc/db-2.7.7/hash/hash_rec.c:689 [error] - Uninitialized variable: dbc
• ./kernel/src_info/sn/snsrc/db-2.7.7/hash/hash_rec.c:781 [error] - Uninitialized variable: dbc
• ./kernel/src_info/sn/snsrc/db-2.7.7/hash/hash_rec.c:867 [error] - Uninitialized variable: dbc
• ./kernel/src_info/sn/snsrc/db-2.7.7/lock/lock_deadlock.c:493 [error] - Undefined behaviour: msgbuf is used wrong in call to sprintf or snprintf. Quote: If copying takes place between objects that overlap as a result of a call to sprintf() or snprintf(), the results are undefined.
• ./kernel/src_info/sn/snsrc/db-2.7.7/lock/lock_deadlock.c:496 [error] - Undefined behaviour: msgbuf is used wrong in call to sprintf or snprintf. Quote: If copying takes place between objects that overlap as a result of a call to sprintf() or snprintf(), the results are undefined.
• ./kernel/src_info/sn/snsrc/db-2.7.7/test/tcl_lock.c:347 [possible error] - Memory leak: reqlist
• ./kernel/src_info/sn/snsrc/snavigator/db/dbimp.c:346 [error] - Resource leak: fd
• ./kernel/src_info/sn/snsrc/snavigator/db/dbimp.c:793 [possible error] - Resource leak: logfp
• ./kernel/src_info/sn/snsrc/snavigator/parsers/cobol/skeleton.c:301 [possible error] - Resource leak: list_fp
• ./kernel/src_info/sn/snsrc/snavigator/parsers/cpp/cpplib/cp_error.c:83 [error] - Null pointer dereference
• ./kernel/src_info/sn/snsrc/snavigator/parsers/cpp/cpplib/cp_maintest.c:104 [error] - Resource leak: input_files_fp
• ./kernel/src_info/sn/snsrc/snavigator/parsers/cpp/cpplib/token.c:102 [error] - Null pointer dereference
• ./kernel/src_info/sn/snsrc/snavigator/parsers/fortran/ftnchek.c:517 [error] - Resource leak: list_fp
• ./kernel/src_info/sn/snsrc/snavigator/parsers/fortran/ftnchek.c:517 [error] - Resource leak: include_fp
• ./kernel/src_info/sn/snsrc/snavigator/parsers/java/skeleton.c:286 [error] - Resource leak: include_fp
• ./kernel/src_info/sn/snsrc/snavigator/parsers/tcl/skeleton.c:278 [possible error] - Resource leak: list_fp
• ./kernel/src_info/sn/snsrc/snavigator/parsers/tcl/skeleton.c:278 [error] - Resource leak: include_fp

---