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/haskell-cipher-aes-0.2.11/cbits/aes.c
Examining data/haskell-cipher-aes-0.2.11/cbits/aes.h
Examining data/haskell-cipher-aes-0.2.11/cbits/aes_generic.c
Examining data/haskell-cipher-aes-0.2.11/cbits/aes_generic.h
Examining data/haskell-cipher-aes-0.2.11/cbits/aes_x86ni.c
Examining data/haskell-cipher-aes-0.2.11/cbits/aes_x86ni.h
Examining data/haskell-cipher-aes-0.2.11/cbits/aes_x86ni_impl.c
Examining data/haskell-cipher-aes-0.2.11/cbits/bitfn.h
Examining data/haskell-cipher-aes-0.2.11/cbits/block128.h
Examining data/haskell-cipher-aes-0.2.11/cbits/cpu.c
Examining data/haskell-cipher-aes-0.2.11/cbits/cpu.h
Examining data/haskell-cipher-aes-0.2.11/cbits/gf.c
Examining data/haskell-cipher-aes-0.2.11/cbits/gf.h

FINAL RESULTS:

data/haskell-cipher-aes-0.2.11/cbits/aes.c:437:11:  [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 stretch[24];
data/haskell-cipher-aes-0.2.11/cbits/aes.c:457:2:  [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(nonce.b + 4, iv, 12);
data/haskell-cipher-aes-0.2.11/cbits/aes.c:463:2:  [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(stretch, ktop.b, 16);
data/haskell-cipher-aes-0.2.11/cbits/aes.c:465:2:  [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(tmp.b, ktop.b + 1, 8);
data/haskell-cipher-aes-0.2.11/cbits/aes.c:467:2:  [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(stretch + 16, tmp.b, 8);
data/haskell-cipher-aes-0.2.11/cbits/aes.c:727:4:  [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(output, pad.b, length);
data/haskell-cipher-aes-0.2.11/cbits/aes.c:734:4:  [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(output, tmp.b, length);
data/haskell-cipher-aes-0.2.11/cbits/aes_x86ni_impl.c:140: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(&block.b, input, part_block_len);
data/haskell-cipher-aes-0.2.11/cbits/aes_x86ni_impl.c:148: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(output, &block.b, part_block_len);
data/haskell-cipher-aes-0.2.11/cbits/aes_x86ni_impl.c:257: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(output, &block.b, part_block_len);

ANALYSIS SUMMARY:

Hits = 10
Lines analyzed = 2573 in approximately 0.13 seconds (19703 lines/second)
Physical Source Lines of Code (SLOC) = 1810
Hits@level = [0]   2 [1]   0 [2]  10 [3]   0 [4]   0 [5]   0
Hits@level+ = [0+]  12 [1+]  10 [2+]  10 [3+]   0 [4+]   0 [5+]   0
Hits/KSLOC@level+ = [0+] 6.62983 [1+] 5.52486 [2+] 5.52486 [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.