Flawfinder version 2.0.10, (C) 2001-2019 David A. Wheeler.
Number of rules (primarily dangerous function names) in C/C++ ruleset: 223
Examining data/polyml-5.7.1/polystatistics.h
Examining data/polyml-5.7.1/winconfig.h
Examining data/polyml-5.7.1/libffi/include/ffi_common.h
Examining data/polyml-5.7.1/libffi/src/sh/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/sh/ffi.c
Examining data/polyml-5.7.1/libffi/src/alpha/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/alpha/ffi.c
Examining data/polyml-5.7.1/libffi/src/aarch64/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/aarch64/ffi.c
Examining data/polyml-5.7.1/libffi/src/mips/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/mips/ffi.c
Examining data/polyml-5.7.1/libffi/src/avr32/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/avr32/ffi.c
Examining data/polyml-5.7.1/libffi/src/vax/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/vax/ffi.c
Examining data/polyml-5.7.1/libffi/src/pa/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/pa/ffi.c
Examining data/polyml-5.7.1/libffi/src/closures.c
Examining data/polyml-5.7.1/libffi/src/m88k/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/m88k/ffi.c
Examining data/polyml-5.7.1/libffi/src/frv/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/frv/ffi.c
Examining data/polyml-5.7.1/libffi/src/moxie/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/moxie/ffi.c
Examining data/polyml-5.7.1/libffi/src/m68k/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/m68k/ffi.c
Examining data/polyml-5.7.1/libffi/src/bfin/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/bfin/ffi.c
Examining data/polyml-5.7.1/libffi/src/dlmalloc.c
Examining data/polyml-5.7.1/libffi/src/microblaze/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/microblaze/ffi.c
Examining data/polyml-5.7.1/libffi/src/xtensa/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/xtensa/ffi.c
Examining data/polyml-5.7.1/libffi/src/prep_cif.c
Examining data/polyml-5.7.1/libffi/src/arc/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/arc/ffi.c
Examining data/polyml-5.7.1/libffi/src/ia64/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/ia64/ffi.c
Examining data/polyml-5.7.1/libffi/src/ia64/ia64_flags.h
Examining data/polyml-5.7.1/libffi/src/or1k/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/or1k/ffi.c
Examining data/polyml-5.7.1/libffi/src/metag/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/metag/ffi.c
Examining data/polyml-5.7.1/libffi/src/sparc/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/sparc/ffi.c
Examining data/polyml-5.7.1/libffi/src/cris/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/cris/ffi.c
Examining data/polyml-5.7.1/libffi/src/raw_api.c
Examining data/polyml-5.7.1/libffi/src/s390/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/s390/ffi.c
Examining data/polyml-5.7.1/libffi/src/tile/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/tile/ffi.c
Examining data/polyml-5.7.1/libffi/src/types.c
Examining data/polyml-5.7.1/libffi/src/x86/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/x86/ffi.c
Examining data/polyml-5.7.1/libffi/src/x86/ffi64.c
Examining data/polyml-5.7.1/libffi/src/powerpc/ffi_linux64.c
Examining data/polyml-5.7.1/libffi/src/powerpc/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/powerpc/ffi.c
Examining data/polyml-5.7.1/libffi/src/powerpc/ffi_sysv.c
Examining data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c
Examining data/polyml-5.7.1/libffi/src/powerpc/ffi_powerpc.h
Examining data/polyml-5.7.1/libffi/src/powerpc/asm.h
Examining data/polyml-5.7.1/libffi/src/arm/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/arm/ffi.c
Examining data/polyml-5.7.1/libffi/src/sh64/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/sh64/ffi.c
Examining data/polyml-5.7.1/libffi/src/m32r/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/m32r/ffi.c
Examining data/polyml-5.7.1/libffi/src/java_raw_api.c
Examining data/polyml-5.7.1/libffi/src/nios2/ffitarget.h
Examining data/polyml-5.7.1/libffi/src/nios2/ffi.c
Examining data/polyml-5.7.1/libffi/src/debug.c
Examining data/polyml-5.7.1/libffi/src/riscv/ffi.c
Examining data/polyml-5.7.1/libffi/src/riscv/ffitarget.h
Examining data/polyml-5.7.1/libffi/msvc32include/fficonfig.h
Examining data/polyml-5.7.1/libffi/msvc32include/ffi.h
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_8byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_12byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/float3.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/float2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct4.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_fn2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_stdcall.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct8.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/huge_struct.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_double.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_sint64.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/err_bad_typedef.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/float4.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/va_struct3.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_dbl1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_9byte2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_3byte2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_fl2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_7_1_byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_dbl.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_1_1byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_pointer_stack.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_double_va.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_sint32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_uint32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_thiscall.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_ushortchar.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/pyobjc-tc.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/float.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_ulong_va.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_schar.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_fl.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct11.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_uint64.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_7byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/ffitest.h
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_9byte1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct8.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_loc_fn0.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_fl3.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_longdouble.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_sshort.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/stret_large2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct9.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_4_1byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_dbls_struct.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct6.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_longdouble_split.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_5byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_pointer.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_16byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_uint_va.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct9.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_fn4.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/err_bad_abi.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_ul.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_ll.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/many.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/float_va.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_fn3.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/fastthis3_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct7.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/many2_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/testclosure.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_5_1_byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_longdouble.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_fn1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_pointer.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_uchar.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct6.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_struct_va1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/stret_large.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_20byte1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/va_struct1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/float1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/many_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/fastthis1_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/uninitialized.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_schar.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_18byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_24byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_longdouble_va.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct3.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_6byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_sc.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_3byte1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_sint.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_sint16.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_6_1_byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_64byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_ll1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_3_1byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_uint16.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_longdouble_split2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_ushort_va.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_19byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct10.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/va_struct2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_ushort.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/va_1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct5.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_sshort.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_uchar_va.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_ushort.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/problem1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_fn6.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_fl1.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_double.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/negint.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/promotion.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct1_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_sshortchar.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_uint.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_uc.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/strlen_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_fn0.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/stret_medium2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_dbl2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_align_float.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/many2.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_float.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct2_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/strlen.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_sl.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_ulonglong.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/strlen2_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct5.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_fn5.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct7.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/stret_medium.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_4byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_20byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/nested_struct3.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_2byte.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/return_ldl.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/fastthis2_win32.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.call/struct4.c
Examining data/polyml-5.7.1/libffi/testsuite/libffi.special/unwindtest.cc
Examining data/polyml-5.7.1/libffi/testsuite/libffi.special/unwindtest_ffi_call.cc
Examining data/polyml-5.7.1/libffi/testsuite/libffi.special/ffitestcxx.h
Examining data/polyml-5.7.1/polyimport.c
Examining data/polyml-5.7.1/libpolymain/polystub.c
Examining data/polyml-5.7.1/PolyPerf/PolyPerf.cpp
Examining data/polyml-5.7.1/polyexports.h
Examining data/polyml-5.7.1/libpolyml/io_internal.h
Examining data/polyml-5.7.1/libpolyml/globals.h
Examining data/polyml-5.7.1/libpolyml/memmgr.h
Examining data/polyml-5.7.1/libpolyml/processes.h
Examining data/polyml-5.7.1/libpolyml/Console.cpp
Examining data/polyml-5.7.1/libpolyml/network.cpp
Examining data/polyml-5.7.1/libpolyml/foreign.cpp
Examining data/polyml-5.7.1/libpolyml/statistics.h
Examining data/polyml-5.7.1/libpolyml/xwindows.cpp
Examining data/polyml-5.7.1/libpolyml/PolyControl.h
Examining data/polyml-5.7.1/libpolyml/statistics.cpp
Examining data/polyml-5.7.1/libpolyml/realconv.cpp
Examining data/polyml-5.7.1/libpolyml/windows_specific.cpp
Examining data/polyml-5.7.1/libpolyml/osmem.h
Examining data/polyml-5.7.1/libpolyml/savestate.h
Examining data/polyml-5.7.1/libpolyml/diagnostics.h
Examining data/polyml-5.7.1/libpolyml/gc_update_phase.cpp
Examining data/polyml-5.7.1/libpolyml/Console.h
Examining data/polyml-5.7.1/libpolyml/machoexport.cpp
Examining data/polyml-5.7.1/libpolyml/gctaskfarm.cpp
Examining data/polyml-5.7.1/libpolyml/polystring.h
Examining data/polyml-5.7.1/libpolyml/network.h
Examining data/polyml-5.7.1/libpolyml/basicio.h
Examining data/polyml-5.7.1/libpolyml/locking.h
Examining data/polyml-5.7.1/libpolyml/processes.cpp
Examining data/polyml-5.7.1/libpolyml/timing.cpp
Examining data/polyml-5.7.1/libpolyml/exporter.cpp
Examining data/polyml-5.7.1/libpolyml/profiling.h
Examining data/polyml-5.7.1/libpolyml/mpoly.cpp
Examining data/polyml-5.7.1/libpolyml/unix_specific.cpp
Examining data/polyml-5.7.1/libpolyml/polyffi.h
Examining data/polyml-5.7.1/libpolyml/realconv.h
Examining data/polyml-5.7.1/libpolyml/process_env.h
Examining data/polyml-5.7.1/libpolyml/sharedata.h
Examining data/polyml-5.7.1/libpolyml/reals.cpp
Examining data/polyml-5.7.1/libpolyml/rtsentry.cpp
Examining data/polyml-5.7.1/libpolyml/bitmap.cpp
Examining data/polyml-5.7.1/libpolyml/run_time.h
Examining data/polyml-5.7.1/libpolyml/gc_mark_phase.cpp
Examining data/polyml-5.7.1/libpolyml/arb.cpp
Examining data/polyml-5.7.1/libpolyml/foreign.h
Examining data/polyml-5.7.1/libpolyml/memmgr.cpp
Examining data/polyml-5.7.1/libpolyml/check_objects.h
Examining data/polyml-5.7.1/libpolyml/pecoffexport.cpp
Examining data/polyml-5.7.1/libpolyml/profiling.cpp
Examining data/polyml-5.7.1/libpolyml/save_vec.cpp
Examining data/polyml-5.7.1/libpolyml/gc.h
Examining data/polyml-5.7.1/libpolyml/gc_check_weak_ref.cpp
Examining data/polyml-5.7.1/libpolyml/rts_module.h
Examining data/polyml-5.7.1/libpolyml/sighandler.h
Examining data/polyml-5.7.1/libpolyml/heapsizing.cpp
Examining data/polyml-5.7.1/libpolyml/noreturn.h
Examining data/polyml-5.7.1/libpolyml/int_opcodes.h
Examining data/polyml-5.7.1/libpolyml/sharedata.cpp
Examining data/polyml-5.7.1/libpolyml/gc.cpp
Examining data/polyml-5.7.1/libpolyml/timing.h
Examining data/polyml-5.7.1/libpolyml/reals.h
Examining data/polyml-5.7.1/libpolyml/gc_share_phase.cpp
Examining data/polyml-5.7.1/libpolyml/diagnostics.cpp
Examining data/polyml-5.7.1/libpolyml/arb.h
Examining data/polyml-5.7.1/libpolyml/elfexport.h
Examining data/polyml-5.7.1/libpolyml/interpret.cpp
Examining data/polyml-5.7.1/libpolyml/xcall_numbers.h
Examining data/polyml-5.7.1/libpolyml/heapsizing.h
Examining data/polyml-5.7.1/libpolyml/pexport.h
Examining data/polyml-5.7.1/libpolyml/pexport.cpp
Examining data/polyml-5.7.1/libpolyml/mpoly.h
Examining data/polyml-5.7.1/libpolyml/run_time.cpp
Examining data/polyml-5.7.1/libpolyml/errors.cpp
Examining data/polyml-5.7.1/libpolyml/sys.h
Examining data/polyml-5.7.1/libpolyml/bitmap.h
Examining data/polyml-5.7.1/libpolyml/sighandler.cpp
Examining data/polyml-5.7.1/libpolyml/errors.h
Examining data/polyml-5.7.1/libpolyml/savestate.cpp
Examining data/polyml-5.7.1/libpolyml/objsize.h
Examining data/polyml-5.7.1/libpolyml/quick_gc.cpp
Examining data/polyml-5.7.1/libpolyml/os_specific.h
Examining data/polyml-5.7.1/libpolyml/scanaddrs.cpp
Examining data/polyml-5.7.1/libpolyml/poly_specific.cpp
Examining data/polyml-5.7.1/libpolyml/gc_copy_phase.cpp
Examining data/polyml-5.7.1/libpolyml/rtsentry.h
Examining data/polyml-5.7.1/libpolyml/locking.cpp
Examining data/polyml-5.7.1/libpolyml/polystring.cpp
Examining data/polyml-5.7.1/libpolyml/scanaddrs.h
Examining data/polyml-5.7.1/libpolyml/pecoffexport.h
Examining data/polyml-5.7.1/libpolyml/machoexport.h
Examining data/polyml-5.7.1/libpolyml/gctaskfarm.h
Examining data/polyml-5.7.1/libpolyml/rts_module.cpp
Examining data/polyml-5.7.1/libpolyml/version.h
Examining data/polyml-5.7.1/libpolyml/check_objects.cpp
Examining data/polyml-5.7.1/libpolyml/poly_specific.h
Examining data/polyml-5.7.1/libpolyml/exporter.h
Examining data/polyml-5.7.1/libpolyml/machine_dep.h
Examining data/polyml-5.7.1/libpolyml/process_env.cpp
Examining data/polyml-5.7.1/libpolyml/objsize.cpp
Examining data/polyml-5.7.1/libpolyml/save_vec.h
Examining data/polyml-5.7.1/libpolyml/osmem.cpp
Examining data/polyml-5.7.1/libpolyml/x86_dep.cpp
Examining data/polyml-5.7.1/libpolyml/basicio.cpp
Examining data/polyml-5.7.1/libpolyml/xwindows.h
Examining data/polyml-5.7.1/libpolyml/elfexport.cpp
Examining data/polyml-5.7.1/libpolyml/polyffi.cpp
Examining data/polyml-5.7.1/wininstall/polyicon/polyicon.c
Examining data/polyml-5.7.1/wininstall/polyicon/resource.h
Examining data/polyml-5.7.1/mlsource/extra/CInterface/Examples/ForeignTest.c
Examining data/polyml-5.7.1/interruptpoly/interruptpoly.c
Examining data/polyml-5.7.1/resource.h

FINAL RESULTS:

data/polyml-5.7.1/libpolyml/basicio.cpp:1761:28:  [5] (race) readlink:
  This accepts filename arguments; if an attacker can move those files or
  change the link content, a race condition results. Also, it does not
  terminate with ASCII NUL. (CWE-362, CWE-20). Reconsider approach.
            while ((nLen = readlink(linkName, resBuf, size)) >= (ssize_t) size) {
data/polyml-5.7.1/libpolyml/unix_specific.cpp:854:19:  [5] (race) chmod:
  This accepts filename arguments; if an attacker can move those files, a
  race condition results. (CWE-362). Use fchmod( ) instead.
            res = chmod(name, mode);
data/polyml-5.7.1/libpolyml/unix_specific.cpp:877:19:  [5] (race) chown:
  This accepts filename arguments; if an attacker can move those files, a
  race condition results. (CWE-362). Use fchown( ) instead.
            res = chown(name, uid, gid);
data/polyml-5.7.1/PolyPerf/PolyPerf.cpp:149:5:  [4] (format) sprintf:
  Potential format string problem (CWE-134). Make format string constant.
    sprintf(shmName, POLY_STATS_NAME "%lu", pId);
data/polyml-5.7.1/PolyPerf/PolyPerf.cpp:691:9:  [4] (buffer) wcscpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using a function version that stops copying at the end
  of the buffer.
        wcscpy(pName, pProc->processName);
data/polyml-5.7.1/libffi/src/closures.c:374:7:  [4] (race) access:
  This usually indicates a security flaw. If an attacker can change anything
  along the path between the call to access() and the file's actual use
  (e.g., by moving files), the attacker can exploit the race condition
  (CWE-362/CWE-367!). Set up the correct permissions (e.g., using setuid())
  and try to open the file directly.
	  || access (mnt.mnt_dir, W_OK))
data/polyml-5.7.1/libffi/src/pa/ffi.c:52:57:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
#define debug(lvl, x...) do { if (lvl <= DEBUG_LEVEL) { printf(x); } } while (0)
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_double_va.c:20:20:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
	*(ffi_arg*)resp = printf(format, doubleValue);
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_double_va.c:47:24:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
	ffi_call(&cif, FFI_FN(printf), &res, args);
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_longdouble_va.c:20:20:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
	*(ffi_arg*)resp = printf(format, ldValue);
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_longdouble_va.c:47:24:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
	ffi_call(&cif, FFI_FN(printf), &res, args);
data/polyml-5.7.1/libpolyml/basicio.cpp:109:9:  [4] (buffer) lstrcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120).
#define lstrcat strcat
data/polyml-5.7.1/libpolyml/basicio.cpp:109:17:  [4] (buffer) strcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
  snprintf (warning: strncat is easily misused).
#define lstrcat strcat
data/polyml-5.7.1/libpolyml/basicio.cpp:111:18:  [4] (tmpfile) mktemp:
  Temporary file race condition (CWE-377).
#define _tmktemp mktemp
data/polyml-5.7.1/libpolyml/basicio.cpp:420:76:  [4] (race) access:
  This usually indicates a security flaw. If an attacker can change anything
  along the path between the call to access() and the file's actual use
  (e.g., by moving files), the attacker can exploit the race condition
  (CWE-362/CWE-367!). Set up the correct permissions (e.g., using setuid())
  and try to open the file directly.
static Handle open_file(TaskData *taskData, Handle filename, int mode, int access, int isPosix)
data/polyml-5.7.1/libpolyml/basicio.cpp:429:46:  [4] (race) access:
  This usually indicates a security flaw. If an attacker can change anything
  along the path between the call to access() and the file's actual use
  (e.g., by moving files), the attacker can exploit the race condition
  (CWE-362/CWE-367!). Set up the correct permissions (e.g., using setuid())
  and try to open the file directly.
        int stream = _topen(cFileName, mode, access);
data/polyml-5.7.1/libpolyml/basicio.cpp:1470:13:  [4] (race) access:
  This usually indicates a security flaw. If an attacker can change anything
  along the path between the call to access() and the file's actual use
  (e.g., by moving files), the attacker can exploit the race condition
  (CWE-362/CWE-367!). Set up the correct permissions (e.g., using setuid())
  and try to open the file directly.
        if (access(fileName, mode) == 0)
data/polyml-5.7.1/libpolyml/basicio.cpp:1822:13:  [4] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused).
            strcpy(buff, P_tmpdir);
data/polyml-5.7.1/libpolyml/basicio.cpp:1827:13:  [4] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused).
            strcpy(buff, tmpdir);
data/polyml-5.7.1/libpolyml/basicio.cpp:1829:13:  [4] (buffer) strcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
  snprintf (warning: strncat is easily misused).
            strcat(buff, template_subdir);
data/polyml-5.7.1/libpolyml/basicio.cpp:1886:60:  [4] (race) access:
  This usually indicates a security flaw. If an attacker can change anything
  along the path between the call to access() and the file's actual use
  (e.g., by moving files), the attacker can exploit the race condition
  (CWE-362/CWE-367!). Set up the correct permissions (e.g., using setuid())
  and try to open the file directly.
            return open_file(taskData, name, mode|O_CREAT, access, 1);
data/polyml-5.7.1/libpolyml/diagnostics.cpp:88:5:  [4] (format) vfprintf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
    vfprintf(polyStdout, msg, vl);
data/polyml-5.7.1/libpolyml/diagnostics.cpp:108:5:  [4] (format) vfprintf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
    vfprintf(polyStdout, msg, vl);
data/polyml-5.7.1/libpolyml/diagnostics.cpp:176:20:  [4] (format) vfprintf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
    if (logStream) vfprintf(logStream, msg, vl);
data/polyml-5.7.1/libpolyml/exporter.cpp:59:9:  [4] (buffer) _tcscat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120).
#define _tcscat strcat
data/polyml-5.7.1/libpolyml/exporter.cpp:59:17:  [4] (buffer) strcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
  snprintf (warning: strncat is easily misused).
#define _tcscat strcat
data/polyml-5.7.1/libpolyml/exporter.cpp:461:9:  [4] (buffer) _tcscat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120).
        _tcscat(fileNameBuff, extension);
data/polyml-5.7.1/libpolyml/exporter.cpp:768:5:  [4] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused).
    strcpy(strings + stringSize, str);
data/polyml-5.7.1/libpolyml/foreign.cpp:173:9:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
        printf ARGS; \
data/polyml-5.7.1/libpolyml/foreign.cpp:514:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(buf, "Unknown ctype <%s>", stringOfCtype(ctype));
data/polyml-5.7.1/libpolyml/foreign.cpp:557:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(buf, "Unknown ctype <%s>", stringOfCtype(ctype));
data/polyml-5.7.1/libpolyml/foreign.cpp:753:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(buf, "load_lib <%s> : %lu", name, GetLastError());
data/polyml-5.7.1/libpolyml/foreign.cpp:767:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(buf, "load_lib <%s> : %s", name, dlerror());
data/polyml-5.7.1/libpolyml/foreign.cpp:797:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(buf, "load_sym <%s> : %lu", name, GetLastError());
data/polyml-5.7.1/libpolyml/foreign.cpp:811:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(buf, "load_sym <%s> : %s", name, dlerror());
data/polyml-5.7.1/libpolyml/machoexport.cpp:458:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(fullSymbol, "_%s", symbolName);
data/polyml-5.7.1/libpolyml/mpoly.cpp:435:5:  [4] (format) vfprintf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
    vfprintf(polyStdout, message, vl);
data/polyml-5.7.1/libpolyml/mpoly.cpp:476:22:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        int spaces = sprintf(p, "%S <%s>\n", argTable[j].argName, argTable[j].argHelp);
data/polyml-5.7.1/libpolyml/mpoly.cpp:478:22:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        int spaces = sprintf(p, "%s <%s>\n", argTable[j].argName, argTable[j].argHelp);
data/polyml-5.7.1/libpolyml/mpoly.cpp:489:22:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        int spaces = sprintf(p, "%S <%s>\n", debugOptTable[k].optName, debugOptTable[k].optHelp);
data/polyml-5.7.1/libpolyml/mpoly.cpp:491:22:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        int spaces = sprintf(p, "%s <%s>\n", debugOptTable[k].optName, debugOptTable[k].optHelp);
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:127:5:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
    sprintf(fullSymbol, "%s%s", POLY_PREFIX_STRING, symbolName);
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:132:9:  [4] (buffer) strcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
  snprintf (warning: strncat is easily misused).
        strcat((char*)symbol.N.ShortName, fullSymbol);
data/polyml-5.7.1/libpolyml/pexport.cpp:112:9:  [4] (format) fprintf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
        fprintf(exportFile, "%" POLYSFMT, UNTAGGED(q));
data/polyml-5.7.1/libpolyml/pexport.cpp:472:9:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
        fscanf(f, "%" POLYUFMT, &obj);
data/polyml-5.7.1/libpolyml/pexport.cpp:480:9:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
        fscanf(f, "%" POLYUFMT "+%" POLYUFMT, &obj, &offset);
data/polyml-5.7.1/libpolyml/pexport.cpp:491:9:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
        fscanf(f, "%" POLYSFMT, &j);
data/polyml-5.7.1/libpolyml/pexport.cpp:501:9:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
        fscanf(f, "%" POLYUFMT, &j);
data/polyml-5.7.1/libpolyml/pexport.cpp:546:5:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
    fscanf(f, "%" POLYUFMT, &nObjects);
data/polyml-5.7.1/libpolyml/pexport.cpp:561:5:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
    fscanf(f, "%" POLYUFMT, &nRoot);
data/polyml-5.7.1/libpolyml/pexport.cpp:575:9:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
        fscanf(f, "%" POLYUFMT, &objNo);
data/polyml-5.7.1/libpolyml/pexport.cpp:594:13:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
            fscanf(f, "%" POLYUFMT, &nWords);
data/polyml-5.7.1/libpolyml/pexport.cpp:599:13:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
            fscanf(f, "%" POLYUFMT, &nBytes);
data/polyml-5.7.1/libpolyml/pexport.cpp:607:13:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
            fscanf(f, "%" POLYUFMT, &nBytes);
data/polyml-5.7.1/libpolyml/pexport.cpp:618:13:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
            fscanf(f, "%" POLYUFMT ",%" POLYUFMT, &nWords, &nBytes);
data/polyml-5.7.1/libpolyml/pexport.cpp:660:9:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
        fscanf(f, "%" POLYUFMT, &objNo);
data/polyml-5.7.1/libpolyml/pexport.cpp:678:13:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
            fscanf(f, "%" POLYUFMT, &nWords);
data/polyml-5.7.1/libpolyml/pexport.cpp:697:17:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
                fscanf(f, "%" POLYUFMT, &nBytes);
data/polyml-5.7.1/libpolyml/pexport.cpp:720:17:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
                fscanf(f, "%" POLYUFMT, &nBytes);
data/polyml-5.7.1/libpolyml/pexport.cpp:742:17:  [4] (buffer) fscanf:
  The scanf() family's %s operation, without a limit specification, permits
  buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a
  different input function. If the scanf format is influenceable by an
  attacker, it's exploitable.
                fscanf(f, "%" POLYUFMT ",%" POLYUFMT, &nWords, &nBytes);
data/polyml-5.7.1/libpolyml/poly_specific.cpp:192:25:  [4] (buffer) _tcscat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120).
                        _tcscat(buff, MODULEDIR);
data/polyml-5.7.1/libpolyml/process_env.cpp:249:17:  [4] (shell) execv:
  This causes a new program to execute and is difficult to use safely
  (CWE-78). try using a library call that implements the same functionality
  if available.
                execv("/bin/sh", argv);
data/polyml-5.7.1/libpolyml/realconv.cpp:1868:13:  [4] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused).
            strcpy((char*)decimalpoint_cache, (CONST char*)s0);
data/polyml-5.7.1/libpolyml/rtsentry.cpp:116:5:  [4] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused).
    strcpy((char*)(refH->WordP()->AsBytePtr() + sizeof(PolyWord)), entryName);
data/polyml-5.7.1/libpolyml/savestate.cpp:81:9:  [4] (buffer) _tcscpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using a function version that stops copying at the end
  of the buffer.
#define _tcscpy strcpy
data/polyml-5.7.1/libpolyml/savestate.cpp:81:17:  [4] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused).
#define _tcscpy strcpy
data/polyml-5.7.1/libpolyml/savestate.cpp:1272:13:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
            sprintf(buff, "%s: %S", loader.errorResult, (TCHAR *)loader.fileName);
data/polyml-5.7.1/libpolyml/savestate.cpp:1274:13:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
            sprintf(buff, "%s: %s", loader.errorResult, (TCHAR *)loader.fileName);
data/polyml-5.7.1/libpolyml/savestate.cpp:1328:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(buff, "Cannot open load file: %s", (TCHAR *)fileNameBuff);
data/polyml-5.7.1/libpolyml/savestate.cpp:1384:9:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
        sprintf(buff, "Cannot open load file: %s", (TCHAR *)fileNameBuff);
data/polyml-5.7.1/libpolyml/savestate.cpp:1796:13:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
            sprintf(buff, "%s: %S", loader.errorResult, loader.fileName);
data/polyml-5.7.1/libpolyml/savestate.cpp:1798:13:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
            sprintf(buff, "%s: %s", loader.errorResult, loader.fileName);
data/polyml-5.7.1/libpolyml/statistics.cpp:207:9:  [4] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused).
        strcpy(mapFileName, homeDir);
data/polyml-5.7.1/libpolyml/statistics.cpp:686:13:  [4] (format) snprintf:
  If format strings can be influenced by an attacker, they can be exploited,
  and note that sprintf variations do not always \0-terminate (CWE-134). Use
  a constant for the format specification.
    while ((snprintf(remMapFileName, remMapSize, "%s/.polyml/" POLY_STATS_NAME "%" POLYUFMT, homeDir, pid), strlen(remMapFileName) >= remMapSize - 1)) {
data/polyml-5.7.1/libpolyml/unix_specific.cpp:533:13:  [4] (shell) execv:
  This causes a new program to execute and is difficult to use safely
  (CWE-78). try using a library call that implements the same functionality
  if available.
            execv(path, argl);
data/polyml-5.7.1/libpolyml/unix_specific.cpp:563:13:  [4] (shell) execvp:
  This causes a new program to execute and is difficult to use safely
  (CWE-78). try using a library call that implements the same functionality
  if available.
            execvp(path, argl);
data/polyml-5.7.1/libpolyml/unix_specific.cpp:688:27:  [4] (misc) getlogin:
  It's often easy to fool getlogin. Sometimes it does not work at all,
  because some program messed up the utmp file. Often, it gives only the
  first 8 characters of the login name. The user currently logged in on the
  controlling tty of our program need not be the user who started it. Avoid
  getlogin() for security-related purposes (CWE-807). Use getpwuid(geteuid())
  and extract the desired information instead.
            char *login = getlogin();
data/polyml-5.7.1/libpolyml/unix_specific.cpp:841:19:  [4] (race) access:
  This usually indicates a security flaw. If an attacker can change anything
  along the path between the call to access() and the file's actual use
  (e.g., by moving files), the attacker can exploit the race condition
  (CWE-362/CWE-367!). Set up the correct permissions (e.g., using setuid())
  and try to open the file directly.
            res = access(name, amode);
data/polyml-5.7.1/libpolyml/xwindows.cpp:265:53:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
#define debug1(fmt,p1) {if (debugOptions & DEBUG_X) printf(fmt,p1);}
data/polyml-5.7.1/libpolyml/xwindows.cpp:266:59:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
#define debug3(fmt,p1,p2,p3) {if (debugOptions & DEBUG_X) printf(fmt,p1,p2,p3);}
data/polyml-5.7.1/libpolyml/xwindows.cpp:340:4:  [4] (buffer) strcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
  snprintf (warning: strncat is easily misused).
   strcat(strncpy(mess,varmessage,n1),message); \
data/polyml-5.7.1/libpolyml/xwindows.cpp:6528:13:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
            sprintf(buffer,"XtGetValues (%s) failed",T.name);
data/polyml-5.7.1/libpolyml/xwindows.cpp:9425:3:  [4] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf.
  sprintf(buffer,"%s in %s",errorName,requestName);
data/polyml-5.7.1/mlsource/extra/CInterface/Examples/ForeignTest.c:35:26:  [4] (buffer) strcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
  snprintf (warning: strncat is easily misused).
	for (i = 0; i < n; i++) strcat(res, str);
data/polyml-5.7.1/libffi/src/closures.c:328:23:  [3] (buffer) getenv:
  Environment variables are untrustable input if they can be set by an
  attacker. They can have any content and length, and the same variable can
  be set more than once (CWE-807, CWE-20). Check environment variables
  carefully before using them.
  const char *value = getenv (envvar);
data/polyml-5.7.1/libpolyml/Console.cpp:136:5:  [3] (misc) EnterCriticalSection:
  On some versions of Windows, exceptions can be thrown in low-memory
  situations. Use InitializeCriticalSectionAndSpinCount instead.
    EnterCriticalSection(&csIOInterlock);
data/polyml-5.7.1/libpolyml/Console.cpp:147:5:  [3] (misc) EnterCriticalSection:
  On some versions of Windows, exceptions can be thrown in low-memory
  situations. Use InitializeCriticalSectionAndSpinCount instead.
    EnterCriticalSection(&csIOInterlock);
data/polyml-5.7.1/libpolyml/Console.cpp:168:9:  [3] (misc) EnterCriticalSection:
  On some versions of Windows, exceptions can be thrown in low-memory
  situations. Use InitializeCriticalSectionAndSpinCount instead.
        EnterCriticalSection(&csIOInterlock);
data/polyml-5.7.1/libpolyml/Console.cpp:392:13:  [3] (misc) EnterCriticalSection:
  On some versions of Windows, exceptions can be thrown in low-memory
  situations. Use InitializeCriticalSectionAndSpinCount instead.
            EnterCriticalSection(&csIOInterlock);
data/polyml-5.7.1/libpolyml/Console.cpp:615:21:  [3] (misc) EnterCriticalSection:
  On some versions of Windows, exceptions can be thrown in low-memory
  situations. Use InitializeCriticalSectionAndSpinCount instead.
                    EnterCriticalSection(&csIOInterlock);
data/polyml-5.7.1/libpolyml/Console.cpp:756:5:  [3] (misc) InitializeCriticalSection:
  Exceptions can be thrown in low-memory situations. Use
  InitializeCriticalSectionAndSpinCount instead.
    InitializeCriticalSection(&csIOInterlock);
data/polyml-5.7.1/libpolyml/basicio.cpp:1283:28:  [3] (buffer) realpath:
  This function does not protect against buffer overflows, and some
  implementations can overflow internally (CWE-120/CWE-785!). Ensure that the
  destination buffer is at least of size MAXPATHLEN, andto protect against
  implementation problems, the input argument should also be checked to
  ensure it is no larger than MAXPATHLEN.
        TempCString resBuf(realpath(cFileName, NULL));
data/polyml-5.7.1/libpolyml/foreign.cpp:746:16:  [3] (misc) LoadLibrary:
  Ensure that the full path to the library is specified, or current directory
  may be used (CWE-829, CWE-20). Use registry entry or GetWindowsDirectory to
  find library path, if you aren't already.
    else lib = LoadLibrary(name);
data/polyml-5.7.1/libpolyml/locking.cpp:84:5:  [3] (misc) InitializeCriticalSection:
  Exceptions can be thrown in low-memory situations. Use
  InitializeCriticalSectionAndSpinCount instead.
    InitializeCriticalSection(&lock);
data/polyml-5.7.1/libpolyml/locking.cpp:119:5:  [3] (misc) EnterCriticalSection:
  On some versions of Windows, exceptions can be thrown in low-memory
  situations. Use InitializeCriticalSectionAndSpinCount instead.
    EnterCriticalSection(&lock);
data/polyml-5.7.1/libpolyml/polyffi.cpp:204:29:  [3] (misc) LoadLibrary:
  Ensure that the full path to the library is specified, or current directory
  may be used (CWE-829, CWE-20). Use registry entry or GetWindowsDirectory to
  find library path, if you aren't already.
            HINSTANCE lib = LoadLibrary(libName);
data/polyml-5.7.1/libpolyml/process_env.cpp:75:18:  [3] (buffer) getenv:
  Environment variables are untrustable input if they can be set by an
  attacker. They can have any content and length, and the same variable can
  be set more than once (CWE-807, CWE-20). Check environment variables
  carefully before using them.
#define _tgetenv getenv
data/polyml-5.7.1/libpolyml/statistics.cpp:204:25:  [3] (buffer) getenv:
  Environment variables are untrustable input if they can be set by an
  attacker. They can have any content and length, and the same variable can
  be set more than once (CWE-807, CWE-20). Check environment variables
  carefully before using them.
        char *homeDir = getenv("HOME");
data/polyml-5.7.1/libpolyml/statistics.cpp:676:21:  [3] (buffer) getenv:
  Environment variables are untrustable input if they can be set by an
  attacker. They can have any content and length, and the same variable can
  be set more than once (CWE-807, CWE-20). Check environment variables
  carefully before using them.
    char *homeDir = getenv("HOME");
data/polyml-5.7.1/libpolyml/timing.cpp:569:31:  [3] (buffer) getenv:
  Environment variables are untrustable input if they can be set by an
  attacker. They can have any content and length, and the same variable can
  be set more than once (CWE-807, CWE-20). Check environment variables
  carefully before using them.
    char *source_date_epoch = getenv("SOURCE_DATE_EPOCH");
data/polyml-5.7.1/PolyPerf/PolyPerf.cpp:148:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char shmName[MAX_PATH];
data/polyml-5.7.1/libffi/include/ffi_common.h:55:11:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
#  define memcpy(d, s, n) bcopy ((s), (d), (n))
data/polyml-5.7.1/libffi/include/ffi_common.h:55:27:  [2] (buffer) bcopy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
#  define memcpy(d, s, n) bcopy ((s), (d), (n))
data/polyml-5.7.1/libffi/msvc32include/ffi.h:264:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char      data[FFI_SIZEOF_ARG];
data/polyml-5.7.1/libffi/msvc32include/ffi.h:275:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char		data[FFI_SIZEOF_JAVA_RAW];
data/polyml-5.7.1/libffi/msvc32include/ffi.h:317:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char tramp[FFI_TRAMPOLINE_SIZE];
data/polyml-5.7.1/libffi/msvc32include/ffi.h:355:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char tramp[FFI_TRAMPOLINE_SIZE];
data/polyml-5.7.1/libffi/msvc32include/ffi.h:380:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char tramp[FFI_TRAMPOLINE_SIZE];
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:569:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy (allocate_to_stack (state, stack, ty->alignment, ty->size),
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:720:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		  memcpy (allocate_to_x (context, &state),
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:733:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (allocate_to_stack (&state, stack, ty->alignment,
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:879:21:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
                    memcpy (rvalue, get_x_addr (&context, 0), size);
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:894:13:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
            memcpy (get_x_addr (&context, 8), &rvalue, sizeof (UINT64));
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:920:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy (__tramp, trampoline, sizeof (trampoline));			\
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:921:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy (__tramp + 12, &__fun, sizeof (__fun));			\
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:922:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy (__tramp + 20, &__ctx, sizeof (__ctx));			\
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:923:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy (__tramp + 28, &__flags, sizeof (__flags));			\
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:1033:6:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
			  memcpy (&p[j],
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:1054:6:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
			  memcpy (&p[j],
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:1062:6:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
			  memcpy (&avalue[i],
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:1161:15:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
              memcpy (get_x_addr (context, 0), rvalue, size);
data/polyml-5.7.1/libffi/src/aarch64/ffi.c:1175:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy (&rvalue, get_x_addr (context, 8), sizeof (UINT64));
data/polyml-5.7.1/libffi/src/alpha/ffi.c:158:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy(argp, *avalue, (*arg_types)->size);
data/polyml-5.7.1/libffi/src/arc/ffi.c:102:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (argp, *p_argv, (*p_arg)->size);
data/polyml-5.7.1/libffi/src/arc/ffi.c:117:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/arc/ffi.c:122:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/arm/ffi.c:97:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy(argp, *p_argv, (*p_arg)->size);
data/polyml-5.7.1/libffi/src/arm/ffi.c:117:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/arm/ffi.c:355:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy (rvalue, &temp, cif->rtype->size);
data/polyml-5.7.1/libffi/src/arm/ffi.c:361:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy (rvalue, ecif.rvalue, cif->rtype->size);
data/polyml-5.7.1/libffi/src/arm/ffi.c:759:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
   memcpy (__tramp, ffi_arm_trampoline, sizeof ffi_arm_trampoline);     \
data/polyml-5.7.1/libffi/src/arm/ffitarget.h:57:10:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  signed char vfp_args[16]			\
data/polyml-5.7.1/libffi/src/avr32/ffi.c:153:13:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
            memcpy(addr, *p_argv, z);
data/polyml-5.7.1/libffi/src/bfin/ffi.c:179:16:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
               memcpy(argp, *p_argv, (*p_arg)->size);
data/polyml-5.7.1/libffi/src/bfin/ffi.c:188:10:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
         memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/closures.c:143:7:  [2] (misc) fopen:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
  f = fopen ("/proc/mounts", "r");
data/polyml-5.7.1/libffi/src/closures.c:188:7:  [2] (misc) fopen:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
  f = fopen ("/proc/self/status", "r");
data/polyml-5.7.1/libffi/src/closures.c:275:8:  [2] (tmpfile) mkstemp:
  Potential for temporary file vulnerability in some circumstances. Some
  older Unix-like systems create temp files with permission to write by all
  by default, so be sure to set the umask to override this. Also, some older
  Unix systems might fail to use O_EXCL when opening the file, so make sure
  that O_EXCL is used by the library (CWE-377).
  fd = mkstemp (name);
data/polyml-5.7.1/libffi/src/closures.c:302:8:  [2] (misc) open:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
  fd = open (dir, flags | O_RDWR | O_EXCL | O_TMPFILE, 0700);
data/polyml-5.7.1/libffi/src/closures.c:317:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
  memcpy (tempname, dir, lendir);
data/polyml-5.7.1/libffi/src/closures.c:318:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
  memcpy (tempname + lendir, suffix, sizeof (suffix));
data/polyml-5.7.1/libffi/src/closures.c:367:7:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
      char buf[MAXPATHLEN * 3];
data/polyml-5.7.1/libffi/src/cris/ffi.c:94:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/cris/ffi.c:99:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/cris/ffi.c:110:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy ((stack + uiLocOnStack), *p_argv, (*p_arg)->size);
data/polyml-5.7.1/libffi/src/cris/ffi.c:146:6:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	    memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/cris/ffi.c:378:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
  memcpy (closure->tramp, ffi_cris_trampoline_template,
data/polyml-5.7.1/libffi/src/cris/ffi.c:380:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
  memcpy (closure->tramp + ffi_cris_trampoline_fn_offset,
data/polyml-5.7.1/libffi/src/cris/ffi.c:382:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
  memcpy (closure->tramp + ffi_cris_trampoline_closure_offset,
data/polyml-5.7.1/libffi/src/dlmalloc.c:1319:27:  [2] (misc) open:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
           (dev_zero_fd = open("/dev/zero", O_RDWR), \
data/polyml-5.7.1/libffi/src/dlmalloc.c:2525:16:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
      unsigned char buf[sizeof(size_t)];
data/polyml-5.7.1/libffi/src/dlmalloc.c:2527:17:  [2] (misc) open:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
      if ((fd = open("/dev/urandom", O_RDONLY)) >= 0 &&
data/polyml-5.7.1/libffi/src/dlmalloc.c:3894:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy(newmem, oldmem, (oc < bytes)? oc : bytes);
data/polyml-5.7.1/libffi/src/frv/ffi.c:103:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/ia64/ffi.c:330:6:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	    memcpy (&tmp, avalue[i], sizeof (UINT32));
data/polyml-5.7.1/libffi/src/ia64/ffi.c:338:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (&stack->gp_regs[gpcount++], avalue[i], sizeof (UINT64));
data/polyml-5.7.1/libffi/src/ia64/ffi.c:346:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (&stack->gp_regs[gpcount], avalue[i], 16);
data/polyml-5.7.1/libffi/src/ia64/ffi.c:378:6:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	    memcpy (&stack->gp_regs[gpcount], avalue[i], size);
data/polyml-5.7.1/libffi/src/ia64/ffi.c:568:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		  memcpy (addr + offset, (char *)stack->gp_regs + gp_offset,
data/polyml-5.7.1/libffi/src/java_raw_api.c:235:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy ((void*) raw->data, (void*)*args, (*tp)->size);
data/polyml-5.7.1/libffi/src/m32r/ffi.c:95:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		    memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/m32r/ffi.c:97:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		    memcpy (argp + 4 - z, *p_argv, z);
data/polyml-5.7.1/libffi/src/m32r/ffi.c:120:16:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	              memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/m32r/ffi.c:127:12:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	          memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/m32r/ffi.c:214:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		  memcpy (ecif.rvalue, ecif.rvalue + 8-size, size);
data/polyml-5.7.1/libffi/src/m32r/ffi.c:222:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		    memcpy (ecif.rvalue, ecif.rvalue + 8-size, size);
data/polyml-5.7.1/libffi/src/m68k/ffi.c:89:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy (argp + 2, *p_argv, z);
data/polyml-5.7.1/libffi/src/m68k/ffi.c:91:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/m68k/ffi.c:93:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (argp + sizeof (int) - z, *p_argv, z);
data/polyml-5.7.1/libffi/src/m68k/ffi.c:104:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/m88k/ffi.c:171:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/metag/ffi.c:82:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
				memcpy(argp, *p_argv, (*p_arg)->size);
data/polyml-5.7.1/libffi/src/metag/ffi.c:90:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
			memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/metag/ffi.c:205:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy (rvalue, &temp, cif->rtype->size);
data/polyml-5.7.1/libffi/src/metag/ffi.c:228:2:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	memcpy (__tramp, ffi_metag_trampoline, sizeof(ffi_metag_trampoline));
data/polyml-5.7.1/libffi/src/microblaze/ffi.c:62:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy(addr, &(ecif->rvalue), WORD_SIZE);
data/polyml-5.7.1/libffi/src/microblaze/ffi.c:122:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
				  memcpy (addr + (WORD_SIZE - size), value, size);
data/polyml-5.7.1/libffi/src/microblaze/ffi.c:133:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
				memcpy(addr, value, aligned_size);
data/polyml-5.7.1/libffi/src/microblaze/ffi.c:201:2:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	memcpy(stackclone, register_args, registers_used);
data/polyml-5.7.1/libffi/src/microblaze/ffi.c:206:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy(stackclone + ARGS_REGISTER_SIZE, stack_args, stack_used);
data/polyml-5.7.1/libffi/src/microblaze/ffi.c:244:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
				  memcpy (ptr, ptr + (WORD_SIZE - arg_types[i]->size), arg_types[i]->size);
data/polyml-5.7.1/libffi/src/mips/ffi.c:190:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy(argp, *p_argv, (*p_arg)->size);
data/polyml-5.7.1/libffi/src/mips/ffi.c:197:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/mips/ffi.c:207:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/mips/ffi.c:212:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy(argp, *p_argv, portion);
data/polyml-5.7.1/libffi/src/mips/ffi.c:215:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy(argp, (void*)((unsigned long)(*p_argv) + portion),
data/polyml-5.7.1/libffi/src/mips/ffi.c:647:11:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
          memcpy(ecif.rvalue, rvalue_copy + copy_offset, cif->rtype->size);
data/polyml-5.7.1/libffi/src/mips/ffi.c:893:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy(tp, argp + arg_offset, elt_type->size);
data/polyml-5.7.1/libffi/src/moxie/ffi.c:96:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/nios2/ffi.c:130:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (argp, avalue, atype->size);
data/polyml-5.7.1/libffi/src/nios2/ffi.c:140:2:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	memcpy (argp, avalue, size);
data/polyml-5.7.1/libffi/src/nios2/ffi.c:193:2:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	memcpy (rvalue, (void *)&result, cif->rtype->size);
data/polyml-5.7.1/libffi/src/or1k/ffi.c:99:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy(stack, *argv, s);
data/polyml-5.7.1/libffi/src/pa/ffi.c:239:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy(dest_cpy, (char *)*p_argv, len);
data/polyml-5.7.1/libffi/src/pa/ffi.c:245:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy(dest_cpy, (char *)*p_argv, len);
data/polyml-5.7.1/libffi/src/pa/ffi.c:580:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy((void*)tmp, &ret[0], cif->rtype->size);
data/polyml-5.7.1/libffi/src/pa/ffi.c:601:2:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	memcpy ((char *)ret2 + off, ret, 8 - off);
data/polyml-5.7.1/libffi/src/powerpc/ffi.c:114:2:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	memcpy (rvalue, (char *) smst_buffer + 4 - rsize, rsize);
data/polyml-5.7.1/libffi/src/powerpc/ffi.c:121:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (rvalue, (char *) smst_buffer + 8 - rsize, rsize);
data/polyml-5.7.1/libffi/src/powerpc/ffi.c:124:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (rvalue, smst_buffer, rsize);
data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c:273:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy ((char *) dest_cpy, (char *) *p_argv, size_al);
data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c:282:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy((char *) dest_cpy, (char *) *p_argv, size_al);
data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c:498:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy ((char *) dest_cpy, src, size);
data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c:503:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy ((char *) dest_cpy, src, size);
data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c:509:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy ((char *) dest_cpy, src, size);
data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c:1211:34:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
	  pgr = (unsigned long *)ALIGN((char *)pgr, arg_types[i]->alignment);
data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c:1336:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (&temp_ld.lb[0], pfr, sizeof(ldbits));
data/polyml-5.7.1/libffi/src/powerpc/ffi_darwin.c:1337:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (&temp_ld.lb[1], pgr + 2, sizeof(ldbits));
data/polyml-5.7.1/libffi/src/powerpc/ffi_linux64.c:594:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		  memcpy (next_arg.c, *p_argv.c, first);
data/polyml-5.7.1/libffi/src/powerpc/ffi_linux64.c:595:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		  memcpy (rest.c, *p_argv.c + first, (*ptr)->size - first);
data/polyml-5.7.1/libffi/src/powerpc/ffi_linux64.c:608:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		  memcpy (where, *p_argv.c, (*ptr)->size);
data/polyml-5.7.1/libffi/src/powerpc/ffi_linux64.c:699:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
  memcpy (tramp, (char *) ffi_closure_LINUX64, 16);
data/polyml-5.7.1/libffi/src/powerpc/ffi_sysv.c:575:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (copy_space.c, *p_argv.c, (*ptr)->size);
data/polyml-5.7.1/libffi/src/raw_api.c:188:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy ((void*) raw->data, (void*)*args, (*tp)->size);
data/polyml-5.7.1/libffi/src/riscv/ffi.c:55:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char frame[16];
data/polyml-5.7.1/libffi/src/riscv/ffi.c:245:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy(realign, data, type->size);
data/polyml-5.7.1/libffi/src/riscv/ffi.c:297:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy(data, realign, type->size);
data/polyml-5.7.1/libffi/src/s390/ffi.c:229:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (p_struct, (char *)arg, (*ptr)->size);
data/polyml-5.7.1/libffi/src/sh/ffi.c:203:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sh/ffi.c:218:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sh/ffi.c:294:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sh/ffi.c:313:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sh/ffi.c:448:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy (rvalue, &trvalue, cif->rtype->size);
data/polyml-5.7.1/libffi/src/sh64/ffi.c:106:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sh64/ffi.c:147:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sh64/ffi.c:290:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy (rvalue, &trvalue, cif->rtype->size);
data/polyml-5.7.1/libffi/src/sparc/ffi.c:113:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		  memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sparc/ffi.c:218:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sparc/ffi.c:229:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/sparc/ffi.c:240:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/tile/ffi.c:130:7:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
      memcpy(out, in, type->size);
data/polyml-5.7.1/libffi/src/tile/ffi.c:192:11:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
          memcpy(argp, arg_in, type->size);
data/polyml-5.7.1/libffi/src/vax/ffi.c:97:8:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	      memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/vax/ffi.c:107:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/x86/ffi.c:122:11:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
          memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/x86/ffi.c:165:11:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
          memcpy(argp, *p_argv, z);
data/polyml-5.7.1/libffi/src/x86/ffi.c:870:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
  memcpy (stack, ecif->avalue, cif->bytes);
data/polyml-5.7.1/libffi/src/x86/ffi64.c:475:4:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
	  memcpy (argp, avalue[i], size);
data/polyml-5.7.1/libffi/src/x86/ffi64.c:481:15:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
	  char *a = (char *) avalue[i];
data/polyml-5.7.1/libffi/src/x86/ffi64.c:507:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		      memcpy (&reg_args->gpr[gprcount], a, size < 8 ? size : 8);
data/polyml-5.7.1/libffi/src/x86/ffi64.c:662:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy (a, &reg_args->sse[ssecount++], 8);
data/polyml-5.7.1/libffi/src/x86/ffi64.c:664:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
		memcpy (a, &reg_args->gpr[gprcount++], 8);
data/polyml-5.7.1/libffi/src/xtensa/ffi.c:178:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy((char*) addr, *p_argv.c, size);
data/polyml-5.7.1/libffi/src/xtensa/ffi.c:222:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy(rvalue, alloc, rsize);
data/polyml-5.7.1/libffi/src/xtensa/ffi.c:236:3:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
  memcpy(closure->tramp, ffi_trampoline, FFI_TRAMPOLINE_SIZE);
data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_stdcall.c:37:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char buf[1024];
data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_stdcall.c:68:3:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
  sprintf(buf, "mismatch: pre=%p vs post=%p", sp_pre, sp_post);
data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_thiscall.c:37:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char buf[1024];
data/polyml-5.7.1/libffi/testsuite/libffi.call/closure_thiscall.c:68:3:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
  sprintf(buf, "mismatch: pre=%p vs post=%p", sp_pre, sp_post);
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_schar.c:27:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a1 = *(signed char *)avals[0];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_schar.c:28:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a2 = *(signed char *)avals[1];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_sshortchar.c:29:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a1 = *(signed char *)avals[0];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_sshortchar.c:31:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a3 = *(signed char *)avals[2];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c:28:19:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a1 = *(unsigned char *)avals[0];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c:29:19:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a2 = *(unsigned char *)avals[1];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c:30:19:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a3 = *(unsigned char *)avals[2];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c:31:19:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a4 = *(unsigned char *)avals[3];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c:43:38:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  printf("%d %d %d %d\n", *(unsigned char *)avals[0],
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c:44:14:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
	 *(unsigned char *)avals[1], *(unsigned char *)avals[2],
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c:44:42:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
	 *(unsigned char *)avals[1], *(unsigned char *)avals[2],
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_uchar.c:45:14:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
	 *(unsigned char *)avals[3]);
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_ushortchar.c:29:19:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a1 = *(unsigned char *)avals[0];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_multi_ushortchar.c:31:19:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  a3 = *(unsigned char *)avals[2];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_schar.c:15:30:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  *(ffi_arg*)resp = *(signed char *)args[0];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_schar.c:16:30:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  printf("%d: %d\n",*(signed char *)args[0],
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_uchar.c:13:32:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  *(ffi_arg*)resp = *(unsigned char *)args[0];
data/polyml-5.7.1/libffi/testsuite/libffi.call/cls_uchar.c:14:32:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  printf("%d: %d\n",*(unsigned char *)args[0],
data/polyml-5.7.1/libffi/testsuite/libffi.call/float1.c:14:12:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  unsigned char c[sizeof (double)];
data/polyml-5.7.1/libffi/testsuite/libffi.call/float4.c:16:12:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  unsigned char c[sizeof (double)];
data/polyml-5.7.1/libpolyml/Console.cpp:256:17:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
                memcpy(pchInputBuffer+nOldLen, pchInputBuffer, nNextPosn);
data/polyml-5.7.1/libpolyml/Console.cpp:261:17:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
                memcpy(pchInputBuffer+nOldLen, pchInputBuffer, nExtra);
data/polyml-5.7.1/libpolyml/Console.cpp:711:20:  [2] (buffer) MultiByteToWideChar:
  Requires maximum length in CHARACTERS, not bytes (CWE-120).
        int wlen = MultiByteToWideChar(codePage, 0, buff, -1, NULL, 0);
data/polyml-5.7.1/libpolyml/Console.cpp:714:16:  [2] (buffer) MultiByteToWideChar:
  Requires maximum length in CHARACTERS, not bytes (CWE-120).
        wlen = MultiByteToWideChar(codePage, 0, buff, -1, wBuff, wlen);
data/polyml-5.7.1/libpolyml/Console.cpp:801:24:  [2] (misc) open:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
        int newstdin = open("NUL", _O_RDONLY);
data/polyml-5.7.1/libpolyml/Console.cpp:922:25:  [2] (misc) open:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
        int newstderr = open("NUL", _O_WRONLY);
data/polyml-5.7.1/libpolyml/Console.cpp:1035:17:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
                TCHAR buff[256];
data/polyml-5.7.1/libpolyml/Console.cpp:1131:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char buffer[4096];
data/polyml-5.7.1/libpolyml/arb.cpp:326:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy(v, DEREFBYTEHANDLE(x), lx);
data/polyml-5.7.1/libpolyml/arb.cpp:556:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy(v, DEREFBYTEHANDLE(long_x), lx);
data/polyml-5.7.1/libpolyml/arb.cpp:1609:10:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    else memcpy(xC, xl, lx * sizeof(mp_limb_t));
data/polyml-5.7.1/libpolyml/arb.cpp:1621:10:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    else memcpy(yC, yl, ly * sizeof(mp_limb_t));
data/polyml-5.7.1/libpolyml/arb.cpp:1647:10:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    else memcpy(rl+rZeroLimbs, xC, lx * sizeof(mp_limb_t));
data/polyml-5.7.1/libpolyml/basicio.cpp:110:16:  [2] (misc) open:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
#define _topen open
data/polyml-5.7.1/libpolyml/basicio.cpp:1072:13:  [2] (buffer) lstrcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Risk is low because the source is a constant string.
            lstrcat(dirName, _T("\\*"));
data/polyml-5.7.1/libpolyml/basicio.cpp:1176:9:  [2] (buffer) lstrcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Risk is low because the source is a constant string.
        lstrcat(dirName, _T("\\*"));
data/polyml-5.7.1/libpolyml/basicio.cpp:1816:13:  [2] (buffer) lstrcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Risk is low because the source is a constant string.
            lstrcat(buff, _T("MLTEMPXXXXXX"));
data/polyml-5.7.1/libpolyml/basicio.cpp:1837:22:  [2] (tmpfile) mkstemp:
  Potential for temporary file vulnerability in some circumstances. Some
  older Unix-like systems create temp files with permission to write by all
  by default, so be sure to set the umask to override this. Also, some older
  Unix systems might fail to use O_EXCL when opening the file, so make sure
  that O_EXCL is used by the library (CWE-377).
            int fd = mkstemp(buff);
data/polyml-5.7.1/libpolyml/basicio.cpp:1891:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/basicio.cpp:1892:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown io function: %d", c);
data/polyml-5.7.1/libpolyml/diagnostics.cpp:164:20:  [2] (misc) fopen:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
    FILE *stream = fopen(fileName, "w");
data/polyml-5.7.1/libpolyml/diagnostics.cpp:178:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char buff[1024];
data/polyml-5.7.1/libpolyml/elfexport.cpp:439:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char pad[32] = {0}; // Maximum alignment
data/polyml-5.7.1/libpolyml/elfexport.cpp:498:36:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        union { unsigned long wrd; char chrs[sizeof(unsigned long)]; } endian;
data/polyml-5.7.1/libpolyml/elfexport.cpp:685:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buff[50];
data/polyml-5.7.1/libpolyml/elfexport.cpp:686:9:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
        sprintf(buff, "area%1u", i);
data/polyml-5.7.1/libpolyml/exporter.cpp:353:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy(newObj, obj, words*sizeof(PolyWord));
data/polyml-5.7.1/libpolyml/exporter.cpp:465:27:  [2] (misc) fopen:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
    exports->exportFile = fopen(fileNameBuff, "wb");
data/polyml-5.7.1/libpolyml/foreign.cpp:232:12:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    static char buf[100];
data/polyml-5.7.1/libpolyml/foreign.cpp:233:5:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
    sprintf(buf,"Bad Ctype <%d>", c);
data/polyml-5.7.1/libpolyml/foreign.cpp:487:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy(dest, source, size);
data/polyml-5.7.1/libpolyml/foreign.cpp:513:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buf[100];
data/polyml-5.7.1/libpolyml/foreign.cpp:556:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buf[100];
data/polyml-5.7.1/libpolyml/foreign.cpp:733:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR name[500];
data/polyml-5.7.1/libpolyml/foreign.cpp:749:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buf[256];
data/polyml-5.7.1/libpolyml/foreign.cpp:751:9:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
        sprintf(buf, "load_lib <%S> : %lu", name, GetLastError());
data/polyml-5.7.1/libpolyml/foreign.cpp:766:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buf[256];
data/polyml-5.7.1/libpolyml/foreign.cpp:786:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char name[500];
data/polyml-5.7.1/libpolyml/foreign.cpp:796:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buf[256];
data/polyml-5.7.1/libpolyml/foreign.cpp:810:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buf[256];
data/polyml-5.7.1/libpolyml/foreign.cpp:1202:10:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    else memcpy(*p, ((PolyStringObject*)h->WordP())->chars, size);
data/polyml-5.7.1/libpolyml/foreign.cpp:1539:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy(DEREFVOL(taskData, UNHANDLE(value)), args[i-1], argType->size);
data/polyml-5.7.1/libpolyml/foreign.cpp:1555:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy(ret, DEREFVOL(taskData, resultWord), cif->rtype->size);
data/polyml-5.7.1/libpolyml/foreign.cpp:1732:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buf[100];
data/polyml-5.7.1/libpolyml/foreign.cpp:1733:9:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
        sprintf(buf, "Unknown foreign dispatch code <%d>", fcode);
data/polyml-5.7.1/libpolyml/gc_copy_phase.cpp:162:9:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
        memcpy(destAddress, srcAddress, n * sizeof(PolyWord));
data/polyml-5.7.1/libpolyml/interpret.cpp:1924:13:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
            memcpy(dest+destOffset, src+srcOffset, length);
data/polyml-5.7.1/libpolyml/locking.cpp:286:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char semname[30];
data/polyml-5.7.1/libpolyml/locking.cpp:288:5:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
    sprintf(semname, "poly%0d-%0d", (int)getpid(), count++);
data/polyml-5.7.1/libpolyml/machoexport.cpp:228:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char pad[32] = {0}; // Maximum alignment
data/polyml-5.7.1/libpolyml/machoexport.cpp:333:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(sections[i].sectname, "__data");
data/polyml-5.7.1/libpolyml/machoexport.cpp:334:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(sections[i].segname, "__DATA");
data/polyml-5.7.1/libpolyml/machoexport.cpp:339:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(sections[i].sectname, "__text");
data/polyml-5.7.1/libpolyml/machoexport.cpp:340:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(sections[i].segname, "__TEXT");
data/polyml-5.7.1/libpolyml/machoexport.cpp:345:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(sections[i].sectname, "__const");
data/polyml-5.7.1/libpolyml/machoexport.cpp:346:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(sections[i].segname, "__DATA");
data/polyml-5.7.1/libpolyml/machoexport.cpp:362:5:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
    sprintf(sections[memTableEntries].sectname, "__const");
data/polyml-5.7.1/libpolyml/machoexport.cpp:363:5:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
    sprintf(sections[memTableEntries].segname, "__DATA");
data/polyml-5.7.1/libpolyml/memmgr.cpp:676:29:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
                            memcpy(obj, initCell, requiredSize * sizeof(PolyWord));
data/polyml-5.7.1/libpolyml/mpoly.cpp:471:12:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    static char buff[2000];
data/polyml-5.7.1/libpolyml/mpoly.cpp:483:22:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
        int spaces = sprintf(p, "Debug options:\n");
data/polyml-5.7.1/libpolyml/network.cpp:1178:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/network.cpp:1179:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown net function: %d", c);
data/polyml-5.7.1/libpolyml/objsize.cpp:199:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char buffer[MAXNAME+1];
data/polyml-5.7.1/libpolyml/objsize.cpp:204:9:  [2] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused). Risk is low because the source is a constant string.
        strcpy(buffer, "<not-named>");
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:190:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char pad[32] = {0}; // Maximum alignment
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:236:13:  [2] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused). Risk is low because the source is a constant string.
            strcpy((char*)sections[i].Name, ".data");
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:242:13:  [2] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused). Risk is low because the source is a constant string.
            strcpy((char*)sections[i].Name, ".text");
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:248:13:  [2] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused). Risk is low because the source is a constant string.
            strcpy((char*)sections[i].Name, ".rdata");
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:254:5:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
    sprintf((char*)sections[memTableEntries].Name, ".data");
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:370:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buff[50];
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:371:9:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
        sprintf(buff, "area%0d", i);
data/polyml-5.7.1/libpolyml/pexport.cpp:817:17:  [2] (misc) fopen:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
    pImport.f = fopen(fileName, "r");
data/polyml-5.7.1/libpolyml/poly_specific.cpp:250:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/poly_specific.cpp:251:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown poly-specific function: %d", c);
data/polyml-5.7.1/libpolyml/polyffi.cpp:207:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
                char buf[256];
data/polyml-5.7.1/libpolyml/polyffi.cpp:220:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
                char buf[256];
data/polyml-5.7.1/libpolyml/polyffi.cpp:237:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
                char buf[256];
data/polyml-5.7.1/libpolyml/polyffi.cpp:255:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
                char buf[256];
data/polyml-5.7.1/libpolyml/polyffi.cpp:271:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
                char buf[256];
data/polyml-5.7.1/libpolyml/polyffi.cpp:281:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
                char buf[256];
data/polyml-5.7.1/libpolyml/polyffi.cpp:468:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/polyffi.cpp:469:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown ffi function: %d", c);
data/polyml-5.7.1/libpolyml/polystring.cpp:80:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy(result->chars,buffer,buffLen);
data/polyml-5.7.1/libpolyml/polystring.cpp:172:17:  [2] (buffer) MultiByteToWideChar:
  Requires maximum length in CHARACTERS, not bytes (CWE-120).
    int space = MultiByteToWideChar(codePage, 0, iPtr, iLength, buff, (int)bufflen-1);
data/polyml-5.7.1/libpolyml/polystring.cpp:192:17:  [2] (buffer) MultiByteToWideChar:
  Requires maximum length in CHARACTERS, not bytes (CWE-120).
    int chars = MultiByteToWideChar(codePage, 0, iPtr, iLength, NULL, 0);
data/polyml-5.7.1/libpolyml/polystring.cpp:196:13:  [2] (buffer) MultiByteToWideChar:
  Requires maximum length in CHARACTERS, not bytes (CWE-120).
    chars = MultiByteToWideChar(codePage, 0, iPtr, iLength, res, chars);
data/polyml-5.7.1/libpolyml/polystring.h:35:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char chars[1];
data/polyml-5.7.1/libpolyml/process_env.cpp:208:13:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            TCHAR *argv[4];
data/polyml-5.7.1/libpolyml/process_env.cpp:222:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char *argv[4];
data/polyml-5.7.1/libpolyml/process_env.cpp:240:23:  [2] (race) vfork:
  On some old systems, vfork() permits race conditions, and it's very
  difficult to use correctly (CWE-362). Use fork() instead.
            int pid = vfork();
data/polyml-5.7.1/libpolyml/process_env.cpp:542:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/process_env.cpp:543:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown environment function: %d", c);
data/polyml-5.7.1/libpolyml/process_env.cpp:616:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char buff[40];
data/polyml-5.7.1/libpolyml/process_env.cpp:617:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(buff, "ERROR%0d", e);
data/polyml-5.7.1/libpolyml/process_env.cpp:659:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char buff[40];
data/polyml-5.7.1/libpolyml/process_env.cpp:668:45:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
            result = Make_sysword(taskData, atoi(buff+5));
data/polyml-5.7.1/libpolyml/processes.cpp:811:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/processes.cpp:812:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown thread function: %u", c);
data/polyml-5.7.1/libpolyml/processes.cpp:2333:21:  [2] (misc) fopen:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
    FILE *cpuInfo = fopen("/proc/cpuinfo", "r");
data/polyml-5.7.1/libpolyml/processes.cpp:2336:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char line[40];
data/polyml-5.7.1/libpolyml/profiling.cpp:97:14:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
static const char * const extraStoreText[EST_MAX_ENTRY] =
data/polyml-5.7.1/libpolyml/realconv.cpp:665:20:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
#define Bcopy(x,y) memcpy((char *)&x->sign, (char *)&y->sign, \
data/polyml-5.7.1/libpolyml/realconv.cpp:1566:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
static unsigned char hexdig[256];
data/polyml-5.7.1/libpolyml/realconv.cpp:1586:17:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
static unsigned char hexdig[256] = {
data/polyml-5.7.1/libpolyml/reals.cpp:672:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/reals.cpp:673:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown real arithmetic function: %d", c);
data/polyml-5.7.1/libpolyml/savestate.cpp:80:17:  [2] (misc) fopen:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
#define _tfopen fopen
data/polyml-5.7.1/libpolyml/savestate.cpp:158:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char        headerSignature[8];     // Should contain SAVEDSTATESIGNATURE
data/polyml-5.7.1/libpolyml/savestate.cpp:1326:9:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
        sprintf(buff, "Cannot open load file: %S", (TCHAR *)fileNameBuff);
data/polyml-5.7.1/libpolyml/savestate.cpp:1382:9:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
        sprintf(buff, "Cannot open load file: %S", (TCHAR *)fileNameBuff);
data/polyml-5.7.1/libpolyml/savestate.cpp:1440:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char        headerSignature[8];     // Should contain MODULESIGNATURE
data/polyml-5.7.1/libpolyml/savestate.cpp:1483:27:  [2] (misc) fopen:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
    exporter.exportFile = fopen(fileName, "wb");
data/polyml-5.7.1/libpolyml/statistics.cpp:173:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR shmName[MAX_PATH];
data/polyml-5.7.1/libpolyml/statistics.cpp:208:9:  [2] (buffer) strcat:
  Does not check for buffer overflows when concatenating to destination
  [MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
  snprintf (warning: strncat is easily misused). Risk is low because the
  source is a constant string.
        strcat(mapFileName, "/.polyml");
data/polyml-5.7.1/libpolyml/statistics.cpp:210:9:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
        sprintf(mapFileName + strlen(mapFileName), "/" POLY_STATS_NAME "%d", getpid());
data/polyml-5.7.1/libpolyml/statistics.cpp:213:17:  [2] (misc) open:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
        mapFd = open(mapFileName, O_RDWR|O_CREAT, 0444);
data/polyml-5.7.1/libpolyml/statistics.cpp:653:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR shmName[MAX_PATH];
data/polyml-5.7.1/libpolyml/statistics.cpp:696:16:  [2] (misc) open:
  Check when opening files - can an attacker redirect it (via symlinks),
  force the opening of special file type (e.g., device files), move things
  around to create a race condition, control its ancestors, or change its
  contents? (CWE-362).
    remMapFd = open(remMapFileName, O_RDONLY);
data/polyml-5.7.1/libpolyml/statistics.h:114:14:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    unsigned char *counterAddrs[N_PS_INTS];
data/polyml-5.7.1/libpolyml/statistics.h:116:14:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    unsigned char *userAddrs[N_PS_USER];
data/polyml-5.7.1/libpolyml/timing.cpp:301:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char    *format, buff[2048];
data/polyml-5.7.1/libpolyml/timing.cpp:418:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/timing.cpp:419:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown timing function: %d", c);
data/polyml-5.7.1/libpolyml/unix_specific.cpp:984:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char pwName[200];
data/polyml-5.7.1/libpolyml/unix_specific.cpp:1008:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char grpName[200];
data/polyml-5.7.1/libpolyml/unix_specific.cpp:1251:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/unix_specific.cpp:1252:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown unix-specific function: %d", c);
data/polyml-5.7.1/libpolyml/unix_specific.cpp:1525:5:  [2] (buffer) memcpy:
  Does not check for buffer overflows when copying to destination (CWE-120).
  Make sure destination can always hold the source data.
    memcpy(tios.c_cc, ccvs->chars, NCCS);
data/polyml-5.7.1/libpolyml/unix_specific.cpp:2014:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char argName[200];
data/polyml-5.7.1/libpolyml/unix_specific.cpp:2069:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char argName[200];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:566:13:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            TCHAR rootName[MAX_PATH], volName[MAX_PATH], sysName[MAX_PATH];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:592:13:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            TCHAR fileName[MAX_PATH], execName[MAX_PATH];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:724:13:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            TCHAR path[MAX_PATH+1];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:732:13:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            TCHAR path[MAX_PATH+1];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:740:13:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            TCHAR name[MAX_COMPUTERNAME_LENGTH +1];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:749:13:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            TCHAR name[UNLEN +1];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:801:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char msg[100];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:802:13:  [2] (buffer) sprintf:
  Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
  vsnprintf. Risk is low because the source has a constant maximum length.
            sprintf(msg, "Unknown windows-specific function: %d", c);
data/polyml-5.7.1/libpolyml/windows_specific.cpp:1087:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR keyName[MAX_PATH];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:1113:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR keyName[MAX_PATH];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:1150:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR keyName[MAX_PATH];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:1166:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR keyName[MAX_PATH];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:1183:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR valName[MAX_PATH];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:1243:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR valName[MAX_PATH];
data/polyml-5.7.1/libpolyml/windows_specific.cpp:1277:5:  [2] (buffer) TCHAR:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    TCHAR keyName[MAX_PATH];
data/polyml-5.7.1/libpolyml/xwindows.cpp:2871:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char keys[32];
data/polyml-5.7.1/libpolyml/xwindows.cpp:3669:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char buffer[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:3780:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:3821:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[500]; int s;
data/polyml-5.7.1/libpolyml/xwindows.cpp:3832:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char program[500]; char option[500]; char *s;
data/polyml-5.7.1/libpolyml/xwindows.cpp:3832:22:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char program[500]; char option[500]; char *s;
data/polyml-5.7.1/libpolyml/xwindows.cpp:4315:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char   name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:4334:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char   name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:4353:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char   name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:4413:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:4966:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:5131:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:5157:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:5185:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[500]; Font font;
data/polyml-5.7.1/libpolyml/xwindows.cpp:5203:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[500]; XFontStruct *fs;
data/polyml-5.7.1/libpolyml/xwindows.cpp:5589:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char userGeometry[500],defaultGeometry[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:5717:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char               name[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:5752:9:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
        char       charset[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:6087:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char name[100];
data/polyml-5.7.1/libpolyml/xwindows.cpp:6184:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char               displayName[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:6185:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char               appName[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:6186:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char               appClass[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:6247:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[100]; Widget shell;
data/polyml-5.7.1/libpolyml/xwindows.cpp:6281:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char name[100]; Widget w;
data/polyml-5.7.1/libpolyml/xwindows.cpp:6526:13:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
            char buffer[500];
data/polyml-5.7.1/libpolyml/xwindows.cpp:6579:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char name [100];
data/polyml-5.7.1/libpolyml/xwindows.cpp:6580:5:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
    char clas[100];
data/polyml-5.7.1/libpolyml/xwindows.cpp:9403:3:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char  buffer[500];
data/polyml-5.7.1/winconfig.h:842:8:  [2] (race) vfork:
  On some old systems, vfork() permits race conditions, and it's very
  difficult to use correctly (CWE-362). Use fork() instead.
#undef vfork
data/polyml-5.7.1/PolyPerf/PolyPerf.cpp:182:23:  [1] (buffer) wcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
                len = wcslen(processName);
data/polyml-5.7.1/PolyPerf/PolyPerf.cpp:685:28:  [1] (buffer) wcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
        DWORD len = (DWORD)wcslen(pProc->processName);
data/polyml-5.7.1/libffi/src/closures.c:311:12:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
  lendir = strlen (dir);
data/polyml-5.7.1/libffi/src/dlmalloc.c:656:32:  [1] (free) memalign:
  On some systems (though not Linux-based systems) an attempt to free()
  results from memalign() may fail. This may, on a few systems, be
  exploitable. Also note that memalign() may not check that the boundary
  parameter is correct (CWE-676). Use posix_memalign instead (defined in
  POSIX's 1003.1d). Don't switch to valloc(); it is marked as obsolete in BSD
  4.3, as legacy in SUSv2, and is no longer defined in SUSv3. In some cases,
  malloc()'s alignment may be sufficient.
#define dlmemalign             memalign
data/polyml-5.7.1/libffi/src/dlmalloc.c:2528:11:  [1] (buffer) read:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
          read(fd, buf, sizeof(buf)) == sizeof(buf)) {
data/polyml-5.7.1/libffi/testsuite/libffi.call/fastthis1_win32.c:13:26:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
  return (size_t) ((int) strlen(s) + (int) a);
data/polyml-5.7.1/libffi/testsuite/libffi.call/fastthis2_win32.c:13:26:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
  return (size_t) ((int) strlen(s) + (int) a);
data/polyml-5.7.1/libffi/testsuite/libffi.call/fastthis3_win32.c:13:26:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
  return (size_t) ((int) strlen(s) + (int) a + i);
data/polyml-5.7.1/libffi/testsuite/libffi.call/strlen.c:12:11:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
  return (strlen(s));
data/polyml-5.7.1/libffi/testsuite/libffi.call/strlen2_win32.c:13:11:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
  return (strlen(s));
data/polyml-5.7.1/libffi/testsuite/libffi.call/strlen_win32.c:13:11:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
  return (strlen(s));
data/polyml-5.7.1/libpolyml/Console.cpp:347:65:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            res = DdeClientTransaction((LPBYTE)command, (DWORD)(strlen(command)+1),
data/polyml-5.7.1/libpolyml/basicio.cpp:548:24:  [1] (buffer) read:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
            haveRead = read(fd, base+offset, length);
data/polyml-5.7.1/libpolyml/basicio.cpp:608:24:  [1] (buffer) read:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
            haveRead = read(fd, buff, length);
data/polyml-5.7.1/libpolyml/basicio.cpp:1820:45:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            TempString buff((TCHAR *)malloc(strlen(P_tmpdir) + strlen(template_subdir) + 1));
data/polyml-5.7.1/libpolyml/basicio.cpp:1820:64:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            TempString buff((TCHAR *)malloc(strlen(P_tmpdir) + strlen(template_subdir) + 1));
data/polyml-5.7.1/libpolyml/basicio.cpp:1825:45:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            TempString buff((TCHAR *)malloc(strlen(tmpdir) + strlen(template_subdir) + 1));
data/polyml-5.7.1/libpolyml/basicio.cpp:1825:62:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            TempString buff((TCHAR *)malloc(strlen(tmpdir) + strlen(template_subdir) + 1));
data/polyml-5.7.1/libpolyml/basicio.cpp:1836:30:  [1] (access) umask:
  Ensure that umask is given most restrictive possible setting (e.g., 066 or
  077) (CWE-732).
            mode_t oldMask = umask(0077);
data/polyml-5.7.1/libpolyml/basicio.cpp:1839:19:  [1] (access) umask:
  Ensure that umask is given most restrictive possible setting (e.g., 066 or
  077) (CWE-732).
            (void)umask(oldMask);
data/polyml-5.7.1/libpolyml/elfexport.cpp:696:69:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    for (unsigned i = 0; i < externTable.stringSize; i += (unsigned)strlen(externTable.strings+i) + 1)
data/polyml-5.7.1/libpolyml/exporter.cpp:57:9:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
#define _tcslen strlen
data/polyml-5.7.1/libpolyml/exporter.cpp:57:17:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
#define _tcslen strlen
data/polyml-5.7.1/libpolyml/exporter.cpp:453:21:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    size_t extLen = _tcslen(extension);
data/polyml-5.7.1/libpolyml/exporter.cpp:457:21:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    size_t length = _tcslen(fileNameBuff);
data/polyml-5.7.1/libpolyml/exporter.cpp:753:30:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    unsigned len = (unsigned)strlen(str);
data/polyml-5.7.1/libpolyml/io_internal.h:50:25:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
# define NAMLEN(dirent) strlen((dirent)->d_name)
data/polyml-5.7.1/libpolyml/machoexport.cpp:445:69:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    for (unsigned i = 0; i < externTable.stringSize; i += (unsigned)strlen(externTable.strings+i) + 1)
data/polyml-5.7.1/libpolyml/machoexport.cpp:456:36:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
        fullSymbol = (char*)malloc(strlen(symbolName) + 2);
data/polyml-5.7.1/libpolyml/mpoly.cpp:59:9:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
#define _tcslen strlen
data/polyml-5.7.1/libpolyml/mpoly.cpp:59:17:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
#define _tcslen strlen
data/polyml-5.7.1/libpolyml/mpoly.cpp:239:31:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
                size_t argl = _tcslen(argTable[j].argName);
data/polyml-5.7.1/libpolyml/mpoly.cpp:246:29:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
                        if (_tcslen(argv[i]) == argl)
data/polyml-5.7.1/libpolyml/mpoly.cpp:298:50:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
                            if (q == NULL) q = p+_tcslen(p);
data/polyml-5.7.1/libpolyml/mpoly.cpp:301:37:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
                                if (_tcslen(debugOptTable[k].optName) == (size_t)(q-p) &&
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:125:32:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    fullSymbol = (char*)malloc(strlen(POLY_PREFIX_STRING) + strlen(symbolName) + 1);
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:125:61:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    fullSymbol = (char*)malloc(strlen(POLY_PREFIX_STRING) + strlen(symbolName) + 1);
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:131:9:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    if (strlen(fullSymbol) <= 8)
data/polyml-5.7.1/libpolyml/pecoffexport.cpp:379:69:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    for (unsigned i = 0; i < externTable.stringSize; i += (unsigned)strlen(externTable.strings+i) + 1)
data/polyml-5.7.1/libpolyml/pexport.cpp:467:14:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    int ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:541:10:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:543:29:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    if (ch == 'M') { while (getc(f) != '\n') ; ch = getc(f); }
data/polyml-5.7.1/libpolyml/pexport.cpp:543:53:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    if (ch == 'M') { while (getc(f) != '\n') ; ch = getc(f); }
data/polyml-5.7.1/libpolyml/pexport.cpp:545:12:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    while (getc(f) != '\t') ;
data/polyml-5.7.1/libpolyml/pexport.cpp:557:14:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
        ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:560:12:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    while (getc(f) != '\t') ;
data/polyml-5.7.1/libpolyml/pexport.cpp:571:18:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
            ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:576:14:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
        ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:583:18:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
            ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:637:16:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
        while (getc(f) != '\n') ;
data/polyml-5.7.1/libpolyml/pexport.cpp:643:10:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:646:16:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
        while (getc(f) != '\n') ;
data/polyml-5.7.1/libpolyml/pexport.cpp:647:14:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
        ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:650:12:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    while (getc(f) != '\n');
data/polyml-5.7.1/libpolyml/pexport.cpp:651:10:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:653:12:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
    while (getc(f) != '\n') ;
data/polyml-5.7.1/libpolyml/pexport.cpp:663:14:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
        ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:671:18:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
            ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:679:18:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
            ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:687:22:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:698:22:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                ch = getc(f); ASSERT(ch == '|');
data/polyml-5.7.1/libpolyml/pexport.cpp:705:22:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:721:22:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                ch = getc(f); ASSERT(ch == '|');
data/polyml-5.7.1/libpolyml/pexport.cpp:729:22:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:744:22:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                ch = getc(f); ASSERT(ch == '|');
data/polyml-5.7.1/libpolyml/pexport.cpp:752:22:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:769:26:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                    ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:776:26:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                    ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:783:30:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                        ch = getc(f);
data/polyml-5.7.1/libpolyml/pexport.cpp:791:33:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
                        do ch = getc(f); while (ch == ' ');
data/polyml-5.7.1/libpolyml/poly_specific.cpp:186:63:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
                    TempString buff((TCHAR*)malloc(valSize + (_tcslen(MODULEDIR) + 1)*sizeof(TCHAR)));
data/polyml-5.7.1/libpolyml/polystring.cpp:72:42:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    if (buffLen == (size_t)-1) buffLen = strlen(buffer);
data/polyml-5.7.1/libpolyml/polystring.cpp:90:21:  [1] (buffer) strncpy:
  Easily used incorrectly; doesn't always \0-terminate or check for invalid
  pointers [MS-banned] (CWE-120).
    if (chars != 0) strncpy(buff, str->chars, chars);
data/polyml-5.7.1/libpolyml/polystring.cpp:103:21:  [1] (buffer) strncpy:
  Easily used incorrectly; doesn't always \0-terminate or check for invalid
  pointers [MS-banned] (CWE-120).
    if (chars != 0) strncpy(res, str->chars, chars);
data/polyml-5.7.1/libpolyml/polystring.cpp:140:34:  [1] (buffer) wcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    if (buffLen == -1) buffLen = wcslen(buffer);
data/polyml-5.7.1/libpolyml/process_env.cpp:397:29:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            size_t length = _tcslen(buff);
data/polyml-5.7.1/libpolyml/processes.cpp:2351:23:  [1] (buffer) getc:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
            do { ch = getc(cpuInfo); } while (ch != '\n' && ch != EOF);
data/polyml-5.7.1/libpolyml/realconv.cpp:1867:24:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
                MALLOC(strlen((CONST char*)s0) + 1))) {
data/polyml-5.7.1/libpolyml/rtsentry.cpp:112:31:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    POLYUNSIGNED space = 1 + (strlen(entryName) + 1 + sizeof(PolyWord) - 1) / sizeof(PolyWord);
data/polyml-5.7.1/libpolyml/savestate.cpp:83:9:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
#define _tcslen strlen
data/polyml-5.7.1/libpolyml/savestate.cpp:83:17:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
#define _tcslen strlen
data/polyml-5.7.1/libpolyml/savestate.cpp:605:5:  [1] (buffer) strncpy:
  Easily used incorrectly; doesn't always \0-terminate or check for invalid
  pointers [MS-banned] (CWE-120).
    strncpy(saveHeader.headerSignature,
data/polyml-5.7.1/libpolyml/savestate.cpp:692:39:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
        saveHeader.stringTableSize = (_tcslen(hierarchyTable[newHierarchy-2]->fileName) + 2)*sizeof(TCHAR);
data/polyml-5.7.1/libpolyml/savestate.cpp:1270:49:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            AutoFree<char*> buff((char *)malloc(strlen(loader.errorResult) + 2 + _tcslen(loader.fileName) * sizeof(TCHAR) + 1));
data/polyml-5.7.1/libpolyml/savestate.cpp:1270:82:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            AutoFree<char*> buff((char *)malloc(strlen(loader.errorResult) + 2 + _tcslen(loader.fileName) * sizeof(TCHAR) + 1));
data/polyml-5.7.1/libpolyml/savestate.cpp:1324:50:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
        AutoFree<char*> buff((char *)malloc(23 + _tcslen(fileNameBuff) * sizeof(TCHAR) + 1));
data/polyml-5.7.1/libpolyml/savestate.cpp:1361:31:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    header.stringTableSize = (_tcslen(parentNameBuff) + 2)*sizeof(TCHAR);
data/polyml-5.7.1/libpolyml/savestate.cpp:1380:50:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
        AutoFree<char*> buff((char *)malloc(23 + _tcslen(fileNameBuff) * sizeof(TCHAR) + 1));
data/polyml-5.7.1/libpolyml/savestate.cpp:1513:5:  [1] (buffer) strncpy:
  Easily used incorrectly; doesn't always \0-terminate or check for invalid
  pointers [MS-banned] (CWE-120).
    strncpy(modHeader.headerSignature,
data/polyml-5.7.1/libpolyml/savestate.cpp:1794:49:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            AutoFree<char*> buff((char *)malloc(strlen(loader.errorResult) + 2 + _tcslen(loader.fileName) * sizeof(TCHAR) + 1));
data/polyml-5.7.1/libpolyml/savestate.cpp:1794:82:  [1] (buffer) _tcslen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
            AutoFree<char*> buff((char *)malloc(strlen(loader.errorResult) + 2 + _tcslen(loader.fileName) * sizeof(TCHAR) + 1));
data/polyml-5.7.1/libpolyml/statistics.cpp:206:37:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
        mapFileName = (char*)malloc(strlen(homeDir) + 100);
data/polyml-5.7.1/libpolyml/statistics.cpp:210:31:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
        sprintf(mapFileName + strlen(mapFileName), "/" POLY_STATS_NAME "%d", getpid());
data/polyml-5.7.1/libpolyml/statistics.cpp:282:25:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    size_t nameLength = strlen(name);
data/polyml-5.7.1/libpolyml/statistics.cpp:317:25:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    size_t nameLength = strlen(name);
data/polyml-5.7.1/libpolyml/statistics.cpp:351:25:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    size_t nameLength = strlen(name);
data/polyml-5.7.1/libpolyml/statistics.cpp:389:25:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    size_t nameLength = strlen(name);
data/polyml-5.7.1/libpolyml/statistics.cpp:686:109:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    while ((snprintf(remMapFileName, remMapSize, "%s/.polyml/" POLY_STATS_NAME "%" POLYUFMT, homeDir, pid), strlen(remMapFileName) >= remMapSize - 1)) {
data/polyml-5.7.1/libpolyml/unix_specific.cpp:748:51:  [1] (access) umask:
  Ensure that umask is given most restrictive possible setting (e.g., 066 or
  077) (CWE-732).
            return Make_fixed_precision(taskData, umask(mode));
data/polyml-5.7.1/libpolyml/xwindows.cpp:337:13:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
   int n1 = strlen(varmessage); \
data/polyml-5.7.1/libpolyml/xwindows.cpp:338:13:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
   int n2 = strlen(message); \
data/polyml-5.7.1/libpolyml/xwindows.cpp:340:11:  [1] (buffer) strncpy:
  Easily used incorrectly; doesn't always \0-terminate or check for invalid
  pointers [MS-banned] (CWE-120).
   strcat(strncpy(mess,varmessage,n1),message); \
data/polyml-5.7.1/libpolyml/xwindows.cpp:3884:17:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
    A->nchars = strlen(A->chars);
data/polyml-5.7.1/mlsource/extra/CInterface/Examples/ForeignTest.c:31:14:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
	int nSize = strlen(str);

ANALYSIS SUMMARY:

Hits = 548
Lines analyzed = 101224 in approximately 2.62 seconds (38649 lines/second)
Physical Source Lines of Code (SLOC) = 71112
Hits@level = [0] 445 [1] 104 [2] 344 [3]  16 [4]  81 [5]   3
Hits@level+ = [0+] 993 [1+] 548 [2+] 444 [3+] 100 [4+]  84 [5+]   3
Hits/KSLOC@level+ = [0+] 13.9639 [1+] 7.70615 [2+] 6.24367 [3+] 1.40623 [4+] 1.18124 [5+] 0.042187
Dot directories skipped = 1 (--followdotdir overrides)
Minimum risk level = 1
Not every hit is necessarily a security vulnerability.
There may be other security vulnerabilities; review your code!
See 'Secure Programming HOWTO'
(https://dwheeler.com/secure-programs) for more information.