Automated Code Analysis

cppcheck analysis of yap_5.1.3-4.dsc

• ./BEAM/eam_gc.c:471 [error] - Invalid number of character (() when these macros are defined: ''.
• ./BEAM/eam_gc.c:471 [error] - Invalid number of character (() when these macros are defined: 'Clear_MEMORY'.
• ./BEAM/eam_gc.c:471 [error] - Invalid number of character (() when these macros are defined: 'Debug'.
• ./BEAM/eam_gc.c:471 [error] - Invalid number of character (() when these macros are defined: 'Memory_Stat'.
• ./BEAM/eam_split.c:382 [error] - Common realloc mistake: "backup" nulled but not freed upon failure
• ./BEAM/toeam.c:677 [error] - No pair for character ("). Can't process file. File is either invalid or unicode, which is currently not supported.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: ''.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'ANALYST'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'ANALYST;DEBUG_XX'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'BEAM'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'BEAM;CUT_C'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'BEAM;PUSH_REGS'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'BP_FREE'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'BP_FREE;USE_THREADED_CODE'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'COROUTINING'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'COROUTINING;DEPTH_LIMIT'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'COROUTINING;FROZEN_STACKS'.
• ./C/absmi.c:13857 [error] - Invalid number of character ({) when these macros are defined: 'COROUTINING;FROZEN_STACKS;SBA'.
• ./C/gprof.c:633 [error] - Undefined behaviour: FNAME 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.
• ./C/gprof.c:635 [error] - Undefined behaviour: FNAME 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.
• ./C/init.c:502 [error] - Possible null pointer dereference: cl
• ./C/iopreds.c:2337 [error] - Array 'ta[1]' index 1 out of bounds
• ./C/iopreds.c:3699 [error] - Array 'tf[6]' index 6 out of bounds
• ./C/load_aout.c:210 [error] - Resource leak: fildes
• ./C/load_coff.c:254 [error] - Resource leak: fildes
• ./C/stdpreds.c:1861 [error] - Array 'ts[6]' index 6 out of bounds
• ./C/write.c:233 [error] - Undefined behaviour: s 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.
• ./LGPL/JPL/src/hacks.c:33 [error] - Uninitialized variable: env
• ./LGPL/JPL/src/hacks.c:68 [error] - Uninitialized variable: env
• ./MYDDAS/myddas_wkb2prolog.c:201 [error] - Memory leak: c_list
• ./MYDDAS/myddas_wkb2prolog.c:231 [error] - Memory leak: c_list
• ./MYDDAS/myddas_wkb2prolog.c:276 [error] - Memory leak: c_list
• ./MYDDAS/myddas_wkb2prolog.c:310 [error] - Memory leak: c_list
• ./MYDDAS/myddas_wkb2prolog.c:344 [error] - Memory leak: c_list
• ./MYDDAS/myddas_wkb2prolog.c:374 [error] - Memory leak: c_list
• ./OPTYap/or.sbaengine.c:149 [error] - Invalid number of character ({) when these macros are defined: 'SBA'.
• ./OPTYap/or.sbaengine.c:149 [error] - Invalid number of character ({) when these macros are defined: 'SBA;TABLING_INNER_CUTS'.
• ./console/yap.c:658 [error] - Dangerous usage of 'init_file' (strncpy doesn't always 0-terminate it)
• ./library/lammpi/yap_mpi.c:392 [error] - Memory leak: handle
• ./library/lammpi/yap_mpi.c:544 [error] - Memory leak: handle
• ./library/mpi/mpi.c:92 [error] - Common realloc mistake: "buf" nulled but not freed upon failure
• ./library/rltree/range_list.c:144 [error] - Memory leak: new
• ./library/rltree/range_list.c:140 [error] - Memory leak: buf_ptr
• ./m4/m4.cc:3 [error] - No pair for character ('). Can't process file. File is either invalid or unicode, which is currently not supported.

---