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.