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/ocamlsdl-0.9.1/src/sdlcdrom_stub.c Examining data/ocamlsdl-0.9.1/src/sdlevent_stub.c Examining data/ocamlsdl-0.9.1/src/sdlgfx_stub.c Examining data/ocamlsdl-0.9.1/src/sdlgl_stub.c Examining data/ocamlsdl-0.9.1/src/sdlinit_flag.c Examining data/ocamlsdl-0.9.1/src/sdljoystick_stub.c Examining data/ocamlsdl-0.9.1/src/sdlkey_stub.c Examining data/ocamlsdl-0.9.1/src/sdlloader_stub.c Examining data/ocamlsdl-0.9.1/src/sdlmixer_stub.c Examining data/ocamlsdl-0.9.1/src/sdlmouse_stub.c Examining data/ocamlsdl-0.9.1/src/sdlrwops_stub.c Examining data/ocamlsdl-0.9.1/src/sdl_stub.c Examining data/ocamlsdl-0.9.1/src/sdltimer_stub.c Examining data/ocamlsdl-0.9.1/src/sdlttf_stub.c Examining data/ocamlsdl-0.9.1/src/sdlvideo_flag.c Examining data/ocamlsdl-0.9.1/src/sdlvideo_stub.c Examining data/ocamlsdl-0.9.1/src/sdlwm_stub.c Examining data/ocamlsdl-0.9.1/src/sdlinit_flag.h Examining data/ocamlsdl-0.9.1/src/sdlmouse_stub.h Examining data/ocamlsdl-0.9.1/src/sdlrwops_stub.h Examining data/ocamlsdl-0.9.1/src/sdlvideo_flag.h Examining data/ocamlsdl-0.9.1/src/sdlvideo_stub.h Examining data/ocamlsdl-0.9.1/src/common.c Examining data/ocamlsdl-0.9.1/src/common.h Examining data/ocamlsdl-0.9.1/src/mlsdl_main.c FINAL RESULTS: data/ocamlsdl-0.9.1/src/mlsdl_main.c:156:2: [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(cmdline, bufp); data/ocamlsdl-0.9.1/src/sdlloader_stub.c:75: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(xpm, Bp_val(string_arr), Bsize_wsize(len)); data/ocamlsdl-0.9.1/src/sdlrwops_stub.c:59: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(ptr, ((char *)pdata->base) + pdata->off, num*size); data/ocamlsdl-0.9.1/src/sdlvideo_stub.c:295: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 buff[64]; data/ocamlsdl-0.9.1/src/mlsdl_main.c:102:7: [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(appname); data/ocamlsdl-0.9.1/src/mlsdl_main.c:110:2: [1] (buffer) strncpy: Easily used incorrectly; doesn't always \0-terminate or check for invalid pointers [MS-banned] (CWE-120). strncpy(bufp, appname, n); data/ocamlsdl-0.9.1/src/mlsdl_main.c:152: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). cmdline = (char *)alloca(strlen(bufp)+1); ANALYSIS SUMMARY: Hits = 7 Lines analyzed = 4279 in approximately 0.14 seconds (30046 lines/second) Physical Source Lines of Code (SLOC) = 3311 Hits@level = [0] 5 [1] 3 [2] 3 [3] 0 [4] 1 [5] 0 Hits@level+ = [0+] 12 [1+] 7 [2+] 4 [3+] 1 [4+] 1 [5+] 0 Hits/KSLOC@level+ = [0+] 3.62428 [1+] 2.11416 [2+] 1.20809 [3+] 0.302024 [4+] 0.302024 [5+] 0 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.