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/sbcl-2.0.11/src/runtime/ppc64-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/pthreads_win32.h
Examining data/sbcl-2.0.11/src/runtime/lispstring.h
Examining data/sbcl-2.0.11/src/runtime/print.h
Examining data/sbcl-2.0.11/src/runtime/absl_glue.cc
Examining data/sbcl-2.0.11/src/runtime/validate.c
Examining data/sbcl-2.0.11/src/runtime/mips-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/purify.c
Examining data/sbcl-2.0.11/src/runtime/x86-64-sunos-os.c
Examining data/sbcl-2.0.11/src/runtime/ppc-darwin-os.c
Examining data/sbcl-2.0.11/src/runtime/sparc-arch.c
Examining data/sbcl-2.0.11/src/runtime/sparc-arch.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-bsd-os.h
Examining data/sbcl-2.0.11/src/runtime/sparc-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/os-common.c
Examining data/sbcl-2.0.11/src/runtime/x86-bsd-os.c
Examining data/sbcl-2.0.11/src/runtime/x86-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/win32-os.h
Examining data/sbcl-2.0.11/src/runtime/vars.c
Examining data/sbcl-2.0.11/src/runtime/arm64-bsd-os.h
Examining data/sbcl-2.0.11/src/runtime/x86-arch.h
Examining data/sbcl-2.0.11/src/runtime/ppc-bsd-os.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-win32-os.c
Examining data/sbcl-2.0.11/src/runtime/ppc-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/globals.h
Examining data/sbcl-2.0.11/src/runtime/vars.h
Examining data/sbcl-2.0.11/src/runtime/alloc.h
Examining data/sbcl-2.0.11/src/runtime/core.h
Examining data/sbcl-2.0.11/src/runtime/gencgc-private.h
Examining data/sbcl-2.0.11/src/runtime/sparc-sunos-os.c
Examining data/sbcl-2.0.11/src/runtime/parse.c
Examining data/sbcl-2.0.11/src/runtime/interrupt.c
Examining data/sbcl-2.0.11/src/runtime/ppc-arch.h
Examining data/sbcl-2.0.11/src/runtime/android-os.c
Examining data/sbcl-2.0.11/src/runtime/riscv-arch.h
Examining data/sbcl-2.0.11/src/runtime/ppc-arch.c
Examining data/sbcl-2.0.11/src/runtime/pseudo-atomic.h
Examining data/sbcl-2.0.11/src/runtime/wrap.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-darwin-os.c
Examining data/sbcl-2.0.11/src/runtime/arm64-arch.c
Examining data/sbcl-2.0.11/src/runtime/sunos-os.h
Examining data/sbcl-2.0.11/src/runtime/riscv-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/backtrace.c
Examining data/sbcl-2.0.11/src/runtime/ppc-darwin-os.h
Examining data/sbcl-2.0.11/src/runtime/arm-bsd-os.h
Examining data/sbcl-2.0.11/src/runtime/breakpoint.h
Examining data/sbcl-2.0.11/src/runtime/mips-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/thread.h
Examining data/sbcl-2.0.11/src/runtime/wrap.c
Examining data/sbcl-2.0.11/src/runtime/mips-arch.c
Examining data/sbcl-2.0.11/src/runtime/gc-common.c
Examining data/sbcl-2.0.11/src/runtime/x86-64-bsd-os.c
Examining data/sbcl-2.0.11/src/runtime/arm-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/fixnump.h
Examining data/sbcl-2.0.11/src/runtime/cheneygc-internal.h
Examining data/sbcl-2.0.11/src/runtime/haiku-os.c
Examining data/sbcl-2.0.11/src/runtime/elf.c
Examining data/sbcl-2.0.11/src/runtime/arm64-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-win32-os.h
Examining data/sbcl-2.0.11/src/runtime/fullcgc.c
Examining data/sbcl-2.0.11/src/runtime/immobile-space.c
Examining data/sbcl-2.0.11/src/runtime/gc-unit-tests.c
Examining data/sbcl-2.0.11/src/runtime/x86-64-darwin-os.h
Examining data/sbcl-2.0.11/src/runtime/coalesce.c
Examining data/sbcl-2.0.11/src/runtime/monitor.h
Examining data/sbcl-2.0.11/src/runtime/arm-bsd-os.c
Examining data/sbcl-2.0.11/src/runtime/gencgc.c
Examining data/sbcl-2.0.11/src/runtime/funcall.c
Examining data/sbcl-2.0.11/src/runtime/sparc-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-haiku-os.h
Examining data/sbcl-2.0.11/src/runtime/testmain.c
Examining data/sbcl-2.0.11/src/runtime/ppc-bsd-os.c
Examining data/sbcl-2.0.11/src/runtime/save.h
Examining data/sbcl-2.0.11/src/runtime/os.h
Examining data/sbcl-2.0.11/src/runtime/run-program.c
Examining data/sbcl-2.0.11/src/runtime/arm-android-os.c
Examining data/sbcl-2.0.11/src/runtime/win32-os.c
Examining data/sbcl-2.0.11/src/runtime/x86-linux-os.c
Examining data/sbcl-2.0.11/src/runtime/purify.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-haiku-os.c
Examining data/sbcl-2.0.11/src/runtime/arm-arch.h
Examining data/sbcl-2.0.11/src/runtime/x86-darwin-os.c
Examining data/sbcl-2.0.11/src/runtime/var-io.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/code.h
Examining data/sbcl-2.0.11/src/runtime/gencgc-internal.h
Examining data/sbcl-2.0.11/src/runtime/darwin-os.h
Examining data/sbcl-2.0.11/src/runtime/ppc-linux-os.c
Examining data/sbcl-2.0.11/src/runtime/arch.h
Examining data/sbcl-2.0.11/src/runtime/breakpoint.c
Examining data/sbcl-2.0.11/src/runtime/lispregs.h
Examining data/sbcl-2.0.11/src/runtime/print.c
Examining data/sbcl-2.0.11/src/runtime/main.c
Examining data/sbcl-2.0.11/src/runtime/queue.h
Examining data/sbcl-2.0.11/src/runtime/riscv-lispregs.h
Examining data/sbcl-2.0.11/src/runtime/riscv-arch.c
Examining data/sbcl-2.0.11/src/runtime/lispobj.h
Examining data/sbcl-2.0.11/src/runtime/ppc64-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/interrupt.h
Examining data/sbcl-2.0.11/src/runtime/mips-arch.h
Examining data/sbcl-2.0.11/src/runtime/sparc-bsd-os.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-linux-os.c
Examining data/sbcl-2.0.11/src/runtime/murmur_hash.h
Examining data/sbcl-2.0.11/src/runtime/interr.c
Examining data/sbcl-2.0.11/src/runtime/forwarding-ptr.h
Examining data/sbcl-2.0.11/src/runtime/traceroot.c
Examining data/sbcl-2.0.11/src/runtime/x86-sunos-os.c
Examining data/sbcl-2.0.11/src/runtime/regnames.c
Examining data/sbcl-2.0.11/src/runtime/gc-private.h
Examining data/sbcl-2.0.11/src/runtime/arm64-linux-os.c
Examining data/sbcl-2.0.11/src/runtime/arm-android-os.h
Examining data/sbcl-2.0.11/src/runtime/hopscotch.c
Examining data/sbcl-2.0.11/src/runtime/sparc-linux-os.c
Examining data/sbcl-2.0.11/src/runtime/gc.h
Examining data/sbcl-2.0.11/src/runtime/dynbind.h
Examining data/sbcl-2.0.11/src/runtime/bsd-os.c
Examining data/sbcl-2.0.11/src/runtime/darwin-os.c
Examining data/sbcl-2.0.11/src/runtime/safepoint.c
Examining data/sbcl-2.0.11/src/runtime/x86-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/ppc64-arch.h
Examining data/sbcl-2.0.11/src/runtime/arm64-arch.h
Examining data/sbcl-2.0.11/src/runtime/trymap.c
Examining data/sbcl-2.0.11/src/runtime/x86-64-arch.h
Examining data/sbcl-2.0.11/src/runtime/riscv-linux-os.c
Examining data/sbcl-2.0.11/src/runtime/hopscotch.h
Examining data/sbcl-2.0.11/src/runtime/parse.h
Examining data/sbcl-2.0.11/src/runtime/arm-arch.c
Examining data/sbcl-2.0.11/src/runtime/save.c
Examining data/sbcl-2.0.11/src/runtime/linux-os.c
Examining data/sbcl-2.0.11/src/runtime/immobile-space.h
Examining data/sbcl-2.0.11/src/runtime/linux-os.h
Examining data/sbcl-2.0.11/src/runtime/murmur_hash.c
Examining data/sbcl-2.0.11/src/runtime/x86-win32-os.c
Examining data/sbcl-2.0.11/src/runtime/x86-64-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/x86-win32-os.h
Examining data/sbcl-2.0.11/src/runtime/android-os.h
Examining data/sbcl-2.0.11/src/runtime/sparc-bsd-os.c
Examining data/sbcl-2.0.11/src/runtime/arm64-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/cheneygc.c
Examining data/sbcl-2.0.11/src/runtime/x86-arch.c
Examining data/sbcl-2.0.11/src/runtime/gc-internal.h
Examining data/sbcl-2.0.11/src/runtime/runtime.c
Examining data/sbcl-2.0.11/src/runtime/sparc-sunos-os.h
Examining data/sbcl-2.0.11/src/runtime/linux-mman.c
Examining data/sbcl-2.0.11/src/runtime/arm-linux-os.c
Examining data/sbcl-2.0.11/src/runtime/time.c
Examining data/sbcl-2.0.11/src/runtime/interr.h
Examining data/sbcl-2.0.11/src/runtime/search.c
Examining data/sbcl-2.0.11/src/runtime/alloc.c
Examining data/sbcl-2.0.11/src/runtime/x86-64-sunos-os.h
Examining data/sbcl-2.0.11/src/runtime/mips-linux-os.c
Examining data/sbcl-2.0.11/src/runtime/sc-offset.c
Examining data/sbcl-2.0.11/src/runtime/runtime.h
Examining data/sbcl-2.0.11/src/runtime/arm64-bsd-os.c
Examining data/sbcl-2.0.11/src/runtime/gc-assert.h
Examining data/sbcl-2.0.11/src/runtime/align.h
Examining data/sbcl-2.0.11/src/runtime/bsd-os.h
Examining data/sbcl-2.0.11/src/runtime/search.h
Examining data/sbcl-2.0.11/src/runtime/ppc-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/arm-linux-os.h
Examining data/sbcl-2.0.11/src/runtime/x86-64-arch.c
Examining data/sbcl-2.0.11/src/runtime/getallocptr.h
Examining data/sbcl-2.0.11/src/runtime/x86-sunos-os.h
Examining data/sbcl-2.0.11/src/runtime/dynbind.c
Examining data/sbcl-2.0.11/src/runtime/var-io.c
Examining data/sbcl-2.0.11/src/runtime/largefile.c
Examining data/sbcl-2.0.11/src/runtime/validate.h
Examining data/sbcl-2.0.11/src/runtime/sc-offset.h
Examining data/sbcl-2.0.11/src/runtime/coreparse.c
Examining data/sbcl-2.0.11/src/runtime/x86-bsd-os.h
Examining data/sbcl-2.0.11/src/runtime/sunos-os.c
Examining data/sbcl-2.0.11/src/runtime/haiku-os.h
Examining data/sbcl-2.0.11/src/runtime/x86-darwin-os.h
Examining data/sbcl-2.0.11/src/runtime/unaligned.h
Examining data/sbcl-2.0.11/src/runtime/monitor.c
Examining data/sbcl-2.0.11/src/runtime/gencgc-alloc-region.h
Examining data/sbcl-2.0.11/src/runtime/globals.c
Examining data/sbcl-2.0.11/src/runtime/thread.c
Examining data/sbcl-2.0.11/tools-for-build/os-provides-dladdr-test.c
Examining data/sbcl-2.0.11/tools-for-build/determine-endianness.c
Examining data/sbcl-2.0.11/tools-for-build/os-provides-poll-test.c
Examining data/sbcl-2.0.11/tools-for-build/os-provides-getprotoby-r-test.c
Examining data/sbcl-2.0.11/tools-for-build/os-provides-blksize-t-test.c
Examining data/sbcl-2.0.11/tools-for-build/grovel-headers.c
Examining data/sbcl-2.0.11/tools-for-build/where-is-mcontext.c
Examining data/sbcl-2.0.11/tools-for-build/os-provides-wakebyaddr-test.c
Examining data/sbcl-2.0.11/tools-for-build/os-provides-dlopen-test.c
Examining data/sbcl-2.0.11/tools-for-build/os-provides-suseconds-t-test.c
Examining data/sbcl-2.0.11/tools-for-build/arm-softfp-test.c
Examining data/sbcl-2.0.11/tools-for-build/mmap-rwx.c
Examining data/sbcl-2.0.11/tests/heap-reloc/fake-mman.c
Examining data/sbcl-2.0.11/tests/alloca.c
Examining data/sbcl-2.0.11/tests/fcb-threads.c
Examining data/sbcl-2.0.11/tests/kill-non-lisp-thread.c
Examining data/sbcl-2.0.11/tests/stack-alignment-offset.c
Examining data/sbcl-2.0.11/tests/win32-stack-unwind.c
FINAL RESULTS:
data/sbcl-2.0.11/src/runtime/bsd-os.c:564:16: [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.
int size = readlink("/proc/curproc/"
data/sbcl-2.0.11/src/runtime/linux-os.c:327:21: [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.
int i = readlink("/proc/self/exe", runtime, PATH_MAX);
data/sbcl-2.0.11/src/runtime/linux-os.c:419:12: [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.
size = readlink("/proc/self/exe", path, sizeof(path)-1);
data/sbcl-2.0.11/src/runtime/save.c:384:9: [5] (race) chmod:
This accepts filename arguments; if an attacker can move those files, a
race condition results. (CWE-362). Use fchmod( ) instead.
chmod (filename, 0755);
data/sbcl-2.0.11/src/runtime/sunos-os.c:131:16: [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.
int size = readlink("/proc/self/path/a.out", path, sizeof(path) - 1);
data/sbcl-2.0.11/src/runtime/wrap.c:85:22: [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.
int n_read = readlink(path, result, bufsiz);
data/sbcl-2.0.11/src/runtime/alloc.c:117: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(stderr, alloc_profiling ?
data/sbcl-2.0.11/src/runtime/fullcgc.c:59: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.
# define dprintf(arg) printf arg
data/sbcl-2.0.11/src/runtime/gc-assert.h:39: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(stderr, fmt, ## __VA_ARGS__); \
data/sbcl-2.0.11/src/runtime/gc-common.c:1160:21: [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(stderr, " *%"OBJ_FMTX"=%"OBJ_FMTX,
data/sbcl-2.0.11/src/runtime/gencgc.c:3135: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(stderr,
data/sbcl-2.0.11/src/runtime/gencgc.c:4080: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.
n = snprintf(buf, sizeof buf, MESSAGE, (uintptr_t)auto_gc_trigger);
data/sbcl-2.0.11/src/runtime/immobile-space.c:77:24: [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.
# define dprintf(arg) fprintf arg
data/sbcl-2.0.11/src/runtime/interr.c:102:5: [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(stderr, " in SBCL pid %d" THREAD_ID_LABEL, getpid(), THREAD_ID_VALUE);
data/sbcl-2.0.11/src/runtime/interr.c:105:9: [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(stderr, fmt, ap);
data/sbcl-2.0.11/src/runtime/interr.c:151: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(ptr, spaces);
data/sbcl-2.0.11/src/runtime/interr.c:155:13: [4] (format) vsprintf:
Potential format string problem (CWE-134). Make format string constant.
int n = vsprintf(ptr, fmt, ap);
data/sbcl-2.0.11/src/runtime/interr.h:17: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.
__attribute__((format(printf,1,2))) // clang and gcc support this, MSVC doesn't
data/sbcl-2.0.11/src/runtime/interrupt.c:295:17: [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.
case 2: printf(fmt); break;
data/sbcl-2.0.11/src/runtime/interrupt.c:296:17: [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.
case 3: printf(fmt,e[i+2]); break;
data/sbcl-2.0.11/src/runtime/interrupt.c:297:17: [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.
case 4: printf(fmt,e[i+2],e[i+3]); break;
data/sbcl-2.0.11/src/runtime/interrupt.c:298:17: [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.
case 5: printf(fmt,e[i+2],e[i+3],e[i+4]); break;
data/sbcl-2.0.11/src/runtime/interrupt.c:299:17: [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.
case 6: printf(fmt,e[i+2],e[i+3],e[i+4],e[i+5]); break;
data/sbcl-2.0.11/src/runtime/interrupt.c:300:17: [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.
case 7: printf(fmt,e[i+2],e[i+3],e[i+4],e[i+5],e[i+6]); break;
data/sbcl-2.0.11/src/runtime/interrupt.c:354:20: [4] (buffer) sprintf:
Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
vsnprintf.
len += sprintf(result+len, "%s%d", len?",":"", i);
data/sbcl-2.0.11/src/runtime/linux-os.c:332: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(runtime, argv);
data/sbcl-2.0.11/src/runtime/print.c:164:5: [4] (format) vsnprintf:
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.
vsnprintf(buf + n, sizeof(buf) - n - 1, fmt, args);
data/sbcl-2.0.11/src/runtime/print.c:299:5: [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("%"OBJ_FMTd, fixnum_value(obj));
data/sbcl-2.0.11/src/runtime/print.c:308:5: [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(": %"OBJ_FMTd, fixnum_value(obj));
data/sbcl-2.0.11/src/runtime/print.c:328: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.
else printf(c < 128 ? "%c" : "U+%X", c);
data/sbcl-2.0.11/src/runtime/print.c:359: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(": data=%"OBJ_FMTX, (obj>>8));
data/sbcl-2.0.11/src/runtime/print.c:501:11: [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(s, ch > 0xffff ? "\\U%08X" :
data/sbcl-2.0.11/src/runtime/print.c:616:13: [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(
data/sbcl-2.0.11/src/runtime/print.c:842:13: [4] (buffer) sprintf:
Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
vsnprintf.
sprintf(buffer, "$%s=", var_name(var));
data/sbcl-2.0.11/src/runtime/run-program.c:272: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(program, argv);
data/sbcl-2.0.11/src/runtime/run-program.c:274: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(program, argv);
data/sbcl-2.0.11/src/runtime/runtime.c:91:12: [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).
return strcpy(successful_malloc(1+strlen(string)), string);
data/sbcl-2.0.11/src/runtime/runtime.c:214:5: [4] (buffer) sprintf:
Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
vsnprintf.
sprintf(lookhere, "%s%s%s", env_sbcl_home, libpath, stem);
data/sbcl-2.0.11/src/runtime/runtime.c:227:13: [4] (buffer) sprintf:
Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
vsnprintf.
sprintf(lookhere, "%s%s", env_sbcl_home, stem);
data/sbcl-2.0.11/src/runtime/runtime.c:256:39: [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 (strchr(argv0, '/') != NULL && access(argv0, F_OK) == 0)
data/sbcl-2.0.11/src/runtime/runtime.c:272: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(buf, F_OK) == 0) {
data/sbcl-2.0.11/src/runtime/runtime.c:284: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(buf, F_OK) == 0) {
data/sbcl-2.0.11/src/runtime/vars.c:127: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(var->name, name);
data/sbcl-2.0.11/src/runtime/win32-os.c:132:13: [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(stderr, report_template,
data/sbcl-2.0.11/src/runtime/win32-os.c:1331: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(buf, path);
data/sbcl-2.0.11/src/runtime/wrap.c:223: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(file_buf, file_name);
data/sbcl-2.0.11/src/runtime/wrap.c:288: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(template, buf);
data/sbcl-2.0.11/src/runtime/wrap.c:357:39: [4] (buffer) sprintf:
Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
vsnprintf.
unsigned int nchars = sprintf(result,"%s/",p->pw_dir);
data/sbcl-2.0.11/src/runtime/x86-64-linux-os.c:106:18: [4] (buffer) sprintf:
Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
vsnprintf.
ptr += sprintf(smallbuf+ptr, " %s", flagbits[bit]);
data/sbcl-2.0.11/tests/heap-reloc/fake-mman.c:97:7: [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(stderr, actual == fuzzed ?
data/sbcl-2.0.11/src/runtime/gencgc.c:4125:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&free_pages_lock);
data/sbcl-2.0.11/src/runtime/linux-os.c:284:9: [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.
if (getenv("SBCL_IS_RESTARTING")) {
data/sbcl-2.0.11/src/runtime/linux-os.c:319:14: [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.
if (!getenv("SBCL_IS_RESTARTING") &&
data/sbcl-2.0.11/src/runtime/print.c:60: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 *val = getenv("SBCL_DYNDEBUG__" uppercase); \
data/sbcl-2.0.11/src/runtime/print.c:85: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 *featurelist = getenv("SBCL_DYNDEBUG");
data/sbcl-2.0.11/src/runtime/runtime.c:126:9: [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.
if (realpath((messy ? messy : pathname), tidy) == NULL) {
data/sbcl-2.0.11/src/runtime/runtime.c:200:27: [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 *env_sbcl_home = getenv("SBCL_HOME");
data/sbcl-2.0.11/src/runtime/runtime.c:264:14: [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.
search = getenv("PATH");
data/sbcl-2.0.11/src/runtime/runtime.h:37:44: [3] (misc) EnterCriticalSection:
On some versions of Windows, exceptions can be thrown in low-memory
situations. Use InitializeCriticalSectionAndSpinCount instead.
static inline int cs_mutex_lock(void* l) { EnterCriticalSection(l); return 0; }
data/sbcl-2.0.11/src/runtime/safepoint.c:178:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&gc_state.lock);
data/sbcl-2.0.11/src/runtime/thread.c:264:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&all_threads_lock);
data/sbcl-2.0.11/src/runtime/thread.c:265:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&recyclebin_lock);
data/sbcl-2.0.11/src/runtime/thread.c:266:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&in_gc_lock);
data/sbcl-2.0.11/src/runtime/win32-os.c:660:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&code_allocator_lock);
data/sbcl-2.0.11/src/runtime/win32-os.c:661:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&alloc_profiler_lock);
data/sbcl-2.0.11/src/runtime/win32-os.c:662:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&interrupt_io_lock);
data/sbcl-2.0.11/src/runtime/win32-os.c:663:5: [3] (misc) InitializeCriticalSection:
Exceptions can be thrown in low-memory situations. Use
InitializeCriticalSectionAndSpinCount instead.
InitializeCriticalSection(&ttyinput.lock);
data/sbcl-2.0.11/src/runtime/wrap.c:111:9: [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.
if (realpath(path, ret) == NULL) {
data/sbcl-2.0.11/tests/heap-reloc/fake-mman.c:30: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.
if ((pathname = getenv("SBCL_FAKE_MMAP_INSTRUCTION_FILE")) == NULL) {
data/sbcl-2.0.11/src/runtime/arm-android-os.h:14: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 __padding[128 - sizeof(sigset_t)];
data/sbcl-2.0.11/src/runtime/backtrace.c:476: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 string[180];
data/sbcl-2.0.11/src/runtime/backtrace.c:610: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 procname[100];
data/sbcl-2.0.11/src/runtime/bsd-os.c:546: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 path[PATH_MAX + 1];
data/sbcl-2.0.11/src/runtime/bsd-os.c:563: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 path[PATH_MAX + 1];
data/sbcl-2.0.11/src/runtime/coreparse.c:83:12: [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).
return open(filename, mode);
data/sbcl-2.0.11/src/runtime/darwin-os.c:47: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 path[PATH_MAX + 1];
data/sbcl-2.0.11/src/runtime/fullcgc.c:562: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).
sweeplog = fopen(filename, "w");
data/sbcl-2.0.11/src/runtime/gc-common.c:1106: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.
const char *const strings[3] = {"key","val","key-or-val"}; // {1, 2, 3}
data/sbcl-2.0.11/src/runtime/gc-private.h:57: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(new,native_pointer(object),nwords*N_WORD_BYTES);
data/sbcl-2.0.11/src/runtime/gc-private.h:72: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(new, native_pointer(object), old_nwords*N_WORD_BYTES);
data/sbcl-2.0.11/src/runtime/gc-unit-tests.c:62: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(expected_result, page_table,
data/sbcl-2.0.11/src/runtime/gencgc.c:565:22: [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 * log = fopen(logfile, "a");
data/sbcl-2.0.11/src/runtime/gencgc.c:581:22: [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 * log = fopen(gc_logfile, "a");
data/sbcl-2.0.11/src/runtime/gencgc.c:4076: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[64];
data/sbcl-2.0.11/src/runtime/gencgc.c:4703: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 data[8192];
data/sbcl-2.0.11/src/runtime/gencgc.c:4720: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(&pte, data+i*sizeof (struct corefile_pte), sizeof pte);
data/sbcl-2.0.11/src/runtime/hopscotch.c:551: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).
hh_logfile = fopen("hash-stats.txt","a");
data/sbcl-2.0.11/src/runtime/immobile-space.c:1447: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((char*)space_start, tempspace->start, tempspace->n_bytes);
data/sbcl-2.0.11/src/runtime/immobile-space.c:1728:28: [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 *alloc_ptrs[64], char *symbol_alloc_ptr[])
data/sbcl-2.0.11/src/runtime/immobile-space.c:1763: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(tempspace_addr(new), obj, size_in_bytes);
data/sbcl-2.0.11/src/runtime/immobile-space.c:1815: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(tempspace_addr(new), obj, nwords*N_WORD_BYTES);
data/sbcl-2.0.11/src/runtime/immobile-space.c:1945: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(fixedobj_tempspace.start, (char*)FIXEDOBJ_SPACE_START,
data/sbcl-2.0.11/src/runtime/immobile-space.c:2015: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(tempspace_addr((void*)new_vaddr), addr,
data/sbcl-2.0.11/src/runtime/interr.c:144: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 buf[200];
data/sbcl-2.0.11/src/runtime/interrupt.c:105: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(new, old, REAL_SIGSET_SIZE_BYTES);
data/sbcl-2.0.11/src/runtime/interrupt.c:351:17: [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(result, "too many to list");
data/sbcl-2.0.11/src/runtime/interrupt.c:461: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 buf[3*64]; // assuming worst case 64 signals present in sigset
data/sbcl-2.0.11/src/runtime/interrupt.c:1280: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->pending_info, info, sizeof *info);
data/sbcl-2.0.11/src/runtime/linux-mman.c:34:22: [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 *maps = fopen("/proc/self/maps","r");
data/sbcl-2.0.11/src/runtime/linux-mman.c:36: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 line[512];
data/sbcl-2.0.11/src/runtime/linux-os.c:326: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 runtime[PATH_MAX+1];
data/sbcl-2.0.11/src/runtime/linux-os.c:416: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 path[PATH_MAX + 1];
data/sbcl-2.0.11/src/runtime/linux-os.c:450: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 buf[8];
data/sbcl-2.0.11/src/runtime/monitor.c:358: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 buf[10];
data/sbcl-2.0.11/src/runtime/monitor.c:537: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 buf[256];
data/sbcl-2.0.11/src/runtime/monitor.c:543:18: [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).
ldb_in = fopen("/dev/tty","r+");
data/sbcl-2.0.11/src/runtime/murmur_hash.c:39: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(&k1, keyptr, bsize);
data/sbcl-2.0.11/src/runtime/parse.c:245:18: [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).
regnum = atoi(s + 2);
data/sbcl-2.0.11/src/runtime/ppc-arch.c:567: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 buf[100];
data/sbcl-2.0.11/src/runtime/ppc-arch.c:775: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(reloc_addr, target_addr, 24);
data/sbcl-2.0.11/src/runtime/print.c:65: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 *names[DYNDEBUG_NFLAGS];
data/sbcl-2.0.11/src/runtime/print.c:156: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 buf[1024];
data/sbcl-2.0.11/src/runtime/print.c:242: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[256];
data/sbcl-2.0.11/src/runtime/print.c:461: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[16];
data/sbcl-2.0.11/src/runtime/print.c:465: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(buffer, "slot %d: ", i);
data/sbcl-2.0.11/src/runtime/print.c:591: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[16];
data/sbcl-2.0.11/src/runtime/print.c:718: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(buffer, "%d: ", index++);
data/sbcl-2.0.11/src/runtime/print.c:731: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(buffer, "%d: ", index++);
data/sbcl-2.0.11/src/runtime/print.c:740: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(buffer, "f[%d]: ", fun_index);
data/sbcl-2.0.11/src/runtime/print.c:823: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[256];
data/sbcl-2.0.11/src/runtime/purify.c:144: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(new, old, nwords * sizeof(lispobj));
data/sbcl-2.0.11/src/runtime/purify.c:184: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(new, old, nwords * sizeof(lispobj));
data/sbcl-2.0.11/src/runtime/purify.c:209: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(new, old, nwords * sizeof(lispobj));
data/sbcl-2.0.11/src/runtime/purify.c:225: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(new, vector, nwords * sizeof(lispobj));
data/sbcl-2.0.11/src/runtime/purify.c:244: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(new, code, nwords * sizeof(lispobj));
data/sbcl-2.0.11/src/runtime/purify.c:319: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(new, old, nwords * sizeof(lispobj));
data/sbcl-2.0.11/src/runtime/run-program.c:67:15: [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(pty_name, O_RDWR, 0)) == -1 ||
data/sbcl-2.0.11/src/runtime/run-program.c:81:10: [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("/dev/tty", O_RDWR, 0);
data/sbcl-2.0.11/src/runtime/run-program.c:87:15: [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(pty_name, O_RDWR, 0)) == -1)
data/sbcl-2.0.11/src/runtime/run-program.c:128:14: [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).
fd = atoi(ent->d_name);
data/sbcl-2.0.11/src/runtime/run-program.c:200:37: [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.
int search, char *envp[], char *pty_name,
data/sbcl-2.0.11/src/runtime/runtime.c:382: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(result, path, prefixlen);
data/sbcl-2.0.11/src/runtime/runtime.c:539:55: [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).
dynamic_values_bytes = N_WORD_BYTES * atoi(argv[argi++]);
data/sbcl-2.0.11/src/runtime/runtime.h:346: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.
extern unsigned char widetag_lowtag[256];
data/sbcl-2.0.11/src/runtime/save.c:232:12: [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).
return fopen(filename, "wb");
data/sbcl-2.0.11/src/runtime/save.c:423:18: [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).
if ((input = fopen(runtime_path, "rb")) == NULL) {
data/sbcl-2.0.11/src/runtime/sunos-os.c:130: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 path[PATH_MAX + 1];
data/sbcl-2.0.11/src/runtime/thread.h:22: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 padding[5];
data/sbcl-2.0.11/src/runtime/thread.h:24: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 padding[1];
data/sbcl-2.0.11/src/runtime/traceroot.c:110: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[8];
data/sbcl-2.0.11/src/runtime/traceroot.c:111: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, "#x%x", widetag_of(native_pointer(ptr)));
data/sbcl-2.0.11/src/runtime/traceroot.c:596: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 *ref_kind_name[4] = {"heap","C stack","bindings","TLS"};
data/sbcl-2.0.11/src/runtime/unaligned.h:19: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(&val, p, 4);
data/sbcl-2.0.11/src/runtime/unaligned.h:23: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(p, &val, 4);
data/sbcl-2.0.11/src/runtime/unaligned.h:27: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(p, &val, 8);
data/sbcl-2.0.11/src/runtime/vars.c:119: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[256];
data/sbcl-2.0.11/src/runtime/vars.c:123: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(buffer, "%d", tempcntr++);
data/sbcl-2.0.11/src/runtime/win32-os.c:1314: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.
void *memcpy(void *dest, const void *src, size_t n)
data/sbcl-2.0.11/src/runtime/win32-os.c:1322: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[PATH_MAX + 1];
data/sbcl-2.0.11/src/runtime/win32-os.c:1614: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(buf,&ttyinput.buffer[ttyinput.head],count);
data/sbcl-2.0.11/src/runtime/win32-os.c:1906: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 path[MAX_PATH + 1];
data/sbcl-2.0.11/src/runtime/wrap.c:222: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 file_buf[MAX_PATH];
data/sbcl-2.0.11/src/runtime/wrap.c:276: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[PATHNAME_BUFFER_SIZE];
data/sbcl-2.0.11/src/runtime/wrap.c:287:15: [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(buf, O_CREAT|O_EXCL|O_RDWR, mode))!=-1) {
data/sbcl-2.0.11/src/runtime/wrap.c:311: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(template);
data/sbcl-2.0.11/src/runtime/wrap.c:615: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.
int sb_utimes(char *path, struct timeval times[2])
data/sbcl-2.0.11/src/runtime/x86-64-linux-os.c:80: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 regmap[16] = {
data/sbcl-2.0.11/src/runtime/x86-64-linux-os.c:100: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 obuf[2048], smallbuf[100];
data/sbcl-2.0.11/src/runtime/x86-sunos-os.c:43:8: [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).
fp = fopen("/proc/self/ldt", "r");
data/sbcl-2.0.11/tests/fcb-threads.c:19:1: [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 *salutations[8] = {
data/sbcl-2.0.11/tests/heap-reloc/fake-mman.c:27: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[100];
data/sbcl-2.0.11/tests/heap-reloc/fake-mman.c:35:14: [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).
if ((f = fopen(pathname, "r+")) == NULL) {
data/sbcl-2.0.11/tests/heap-reloc/fake-mman.c:43:19: [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).
line_number = atoi(line);
data/sbcl-2.0.11/tests/stack-alignment-offset.c:55:43: [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).
printf("%d\n", stack_alignment_offset(atoi(argv[1])));
data/sbcl-2.0.11/tools-for-build/os-provides-getprotoby-r-test.c:32: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 buf[BUFSIZE];
data/sbcl-2.0.11/tools-for-build/os-provides-poll-test.c:19:14: [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).
fds.fd = open("/dev/zero", O_RDONLY);
data/sbcl-2.0.11/src/runtime/backtrace.c:689:13: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(backtrace_completion_pipe[0], &junk, 1);
data/sbcl-2.0.11/src/runtime/coreparse.c:120:9: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
if (read(fd, &header, lispobj_size) == lispobj_size && header == CORE_MAGIC) {
data/sbcl-2.0.11/src/runtime/coreparse.c:130:9: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(fd, &header, (size_t)lispobj_size) != lispobj_size)
data/sbcl-2.0.11/src/runtime/coreparse.c:136:13: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(fd, &core_start, sizeof(os_vm_offset_t)) != sizeof(os_vm_offset_t))
data/sbcl-2.0.11/src/runtime/coreparse.c:139:13: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(fd, &header, lispobj_size) != lispobj_size || header != CORE_MAGIC)
data/sbcl-2.0.11/src/runtime/coreparse.c:151:13: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(fd, &header, lispobj_size) != lispobj_size || header != CORE_MAGIC)
data/sbcl-2.0.11/src/runtime/coreparse.c:158:13: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
if (read(fd, optarray, sizeof optarray) == sizeof optarray
data/sbcl-2.0.11/src/runtime/coreparse.c:206:25: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
ssize_t count = read(fd, buf, ZLIB_BUFFER_SIZE);
data/sbcl-2.0.11/src/runtime/coreparse.c:992:13: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
count = read(fd, header, os_vm_page_size);
data/sbcl-2.0.11/src/runtime/coreparse.c:1271:20: [1] (buffer) mismatch:
Function does not check the second iterator for over-read conditions
(CWE-126). This function is often discouraged by most C++ coding standards
in favor of its safer alternatives provided since C++14. Consider using a
form of this function that checks the second iterator before potentially
overflowing it.
mismatch ? " <<<<" : "");
data/sbcl-2.0.11/src/runtime/elf.c:18:9: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(fd, &ehdr, sizeof ehdr) != sizeof ehdr) {
data/sbcl-2.0.11/src/runtime/elf.c:30:9: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(fd, shdrs, nbytes) != nbytes)
data/sbcl-2.0.11/src/runtime/elf.c:36:9: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(fd, shstrtab_strbuf, shdr->sh_size) != (Elf64_Sxword)shdr->sh_size)
data/sbcl-2.0.11/src/runtime/elf.c:76:9: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
read(fd, ptrs, lisp_rel_section_size) == lisp_rel_section_size) {
data/sbcl-2.0.11/src/runtime/gencgc.c:4716:13: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
if (read(fd, data, bytes) != bytes) lose("failed read");
data/sbcl-2.0.11/src/runtime/linux-mman.c:38: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).
ignore_value(write(2, line, strlen(line)));
data/sbcl-2.0.11/src/runtime/linux-os.c:451:13: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
int n = read(fd, buf, sizeof(buf));
data/sbcl-2.0.11/src/runtime/monitor.c:572:47: [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).
else if (strncmp(token, cmd->cmd, strlen(token)) == 0) {
data/sbcl-2.0.11/src/runtime/print.c:61:23: [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).
*ptr = val && strlen(val); \
data/sbcl-2.0.11/src/runtime/print.c:161: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).
n = strlen(buf);
data/sbcl-2.0.11/src/runtime/run-program.c:170:21: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
(n = read(channel[0], p, bytes))) {
data/sbcl-2.0.11/src/runtime/runtime.c:91:39: [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 strcpy(successful_malloc(1+strlen(string)), string);
data/sbcl-2.0.11/src/runtime/runtime.c:121:15: [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).
len = strlen(messy);
data/sbcl-2.0.11/src/runtime/runtime.c:209: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).
lookhere = (char *) calloc(strlen(env_sbcl_home) +
data/sbcl-2.0.11/src/runtime/runtime.c:210: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).
strlen(libpath) +
data/sbcl-2.0.11/src/runtime/runtime.c:211: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).
strlen(stem) +
data/sbcl-2.0.11/src/runtime/runtime.c:223:40: [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).
lookhere = (char *) calloc(strlen(env_sbcl_home) +
data/sbcl-2.0.11/src/runtime/runtime.c:224:40: [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).
strlen(stem) +
data/sbcl-2.0.11/src/runtime/runtime.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).
size = strlen(power_name);
data/sbcl-2.0.11/src/runtime/save.c:287:21: [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 stringlen = strlen((const char *)build_id);
data/sbcl-2.0.11/src/runtime/save.c:399: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).
idlen = strlen((const char*)build_id) - 1;
data/sbcl-2.0.11/src/runtime/search.c:97:35: [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).
lispobj namelen = make_fixnum(strlen(name));
data/sbcl-2.0.11/src/runtime/search.c:182:27: [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).
lispobj namelen = strlen(symbol_name);
data/sbcl-2.0.11/src/runtime/search.c:217:23: [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).
lispobj namelen = strlen(package_name);
data/sbcl-2.0.11/src/runtime/vars.c:126: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).
var->name = (char *)malloc(strlen(name)+1);
data/sbcl-2.0.11/src/runtime/win32-os.c:862:17: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
count = read(fd, addr, to_read);
data/sbcl-2.0.11/src/runtime/win32-os.c:1323:22: [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 pathlen = strlen(path);
data/sbcl-2.0.11/src/runtime/wrap.c:82:18: [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 bufsiz = strlen(path) + 16;
data/sbcl-2.0.11/src/runtime/wrap.c:224:15: [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 len = strlen(file_name);
data/sbcl-2.0.11/src/runtime/wrap.c:284:5: [1] (buffer) strncpy:
Easily used incorrectly; doesn't always \0-terminate or check for invalid
pointers [MS-banned] (CWE-120).
strncpy(buf, template, PATHNAME_BUFFER_SIZE);
data/sbcl-2.0.11/src/runtime/wrap.c:351:22: [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 len = strlen(p->pw_dir);
data/sbcl-2.0.11/tests/fcb-threads.c: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 (answer != (arg->index + i) * strlen(salutation)) thread_result = 0;
ANALYSIS SUMMARY:
Hits = 208
Lines analyzed = 45520 in approximately 1.37 seconds (33209 lines/second)
Physical Source Lines of Code (SLOC) = 30896
Hits@level = [0] 518 [1] 42 [2] 97 [3] 19 [4] 44 [5] 6
Hits@level+ = [0+] 726 [1+] 208 [2+] 166 [3+] 69 [4+] 50 [5+] 6
Hits/KSLOC@level+ = [0+] 23.4982 [1+] 6.73226 [2+] 5.37286 [3+] 2.2333 [4+] 1.61833 [5+] 0.1942
Dot directories skipped = 2 (--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.