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/libaio-ocaml-1.0.1/lib/aio_buffer_stubs.c
Examining data/libaio-ocaml-1.0.1/lib/aio_stubs.c

FINAL RESULTS:

data/libaio-ocaml-1.0.1/lib/aio_buffer_stubs.c:156: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(dst, &src[off], len);
data/libaio-ocaml-1.0.1/lib/aio_buffer_stubs.c:169: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(&dst[off], src, len);
data/libaio-ocaml-1.0.1/lib/aio_stubs.c:272:9:  [1] (buffer) read:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
  (void)read(ctx->fd, &num, sizeof(num));
data/libaio-ocaml-1.0.1/lib/aio_stubs.c:292:10:  [1] (buffer) read:
  Check buffer boundaries if used in a loop including recursive loops
  (CWE-120, CWE-20).
  assert(read(ctx->fd, &num, sizeof(num)) == sizeof(num));

ANALYSIS SUMMARY:

Hits = 4
Lines analyzed = 711 in approximately 0.03 seconds (25324 lines/second)
Physical Source Lines of Code (SLOC) = 501
Hits@level = [0]   2 [1]   2 [2]   2 [3]   0 [4]   0 [5]   0
Hits@level+ = [0+]   6 [1+]   4 [2+]   2 [3+]   0 [4+]   0 [5+]   0
Hits/KSLOC@level+ = [0+] 11.976 [1+] 7.98403 [2+] 3.99202 [3+]   0 [4+]   0 [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.