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/ocaml-ao-0.2.1/src/ao_stubs.c FINAL RESULTS: data/ocaml-ao-0.2.1/src/ao_stubs.c:31:24: [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. { char errmsg[1024]; snprintf(errmsg, sizeof(errmsg), format, args); caml_failwith(errmsg); } data/ocaml-ao-0.2.1/src/ao_stubs.c:31: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 errmsg[1024]; snprintf(errmsg, sizeof(errmsg), format, args); caml_failwith(errmsg); } data/ocaml-ao-0.2.1/src/ao_stubs.c:253: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(buf,String_val(v_buf),n); ANALYSIS SUMMARY: Hits = 3 Lines analyzed = 392 in approximately 0.04 seconds (8834 lines/second) Physical Source Lines of Code (SLOC) = 302 Hits@level = [0] 0 [1] 0 [2] 2 [3] 0 [4] 1 [5] 0 Hits@level+ = [0+] 3 [1+] 3 [2+] 3 [3+] 1 [4+] 1 [5+] 0 Hits/KSLOC@level+ = [0+] 9.93377 [1+] 9.93377 [2+] 9.93377 [3+] 3.31126 [4+] 3.31126 [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.