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.