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-cryptohash-0.11.9/cbits/bitfn.h Examining data/haskell-cryptohash-0.11.9/cbits/sha512.h Examining data/haskell-cryptohash-0.11.9/cbits/skein.h Examining data/haskell-cryptohash-0.11.9/cbits/skein256.h Examining data/haskell-cryptohash-0.11.9/cbits/skein512.h Examining data/haskell-cryptohash-0.11.9/cbits/align.h Examining data/haskell-cryptohash-0.11.9/cbits/sha3.c Examining data/haskell-cryptohash-0.11.9/cbits/sha3.h Examining data/haskell-cryptohash-0.11.9/cbits/sha512.c Examining data/haskell-cryptohash-0.11.9/cbits/skein256.c Examining data/haskell-cryptohash-0.11.9/cbits/skein512.c FINAL RESULTS: data/haskell-cryptohash-0.11.9/cbits/sha3.c:121: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(ctx->buf + ctx->bufindex, data, to_fill); data/haskell-cryptohash-0.11.9/cbits/sha3.c:132: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(tramp, data, ctx->bufsz); data/haskell-cryptohash-0.11.9/cbits/sha3.c:143: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(ctx->buf + ctx->bufindex, data, len); data/haskell-cryptohash-0.11.9/cbits/sha3.c:168: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(out, w, ctx->hashlen); data/haskell-cryptohash-0.11.9/cbits/sha512.c:150: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(ctx->buf + index, data, to_fill); data/haskell-cryptohash-0.11.9/cbits/sha512.c:161: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(tramp, data, 128); data/haskell-cryptohash-0.11.9/cbits/sha512.c:172: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(ctx->buf + index, data, len); data/haskell-cryptohash-0.11.9/cbits/sha512.c:180: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(out, intermediate, SHA384_DIGEST_SIZE); data/haskell-cryptohash-0.11.9/cbits/sha512.c:236:3: [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 buf[8+4]; data/haskell-cryptohash-0.11.9/cbits/sha512.c:244:7: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. i = sprintf(buf, "SHA-512/%d", t); data/haskell-cryptohash-0.11.9/cbits/skein256.c:141: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(ctx->buf + ctx->bufindex, data, to_fill); data/haskell-cryptohash-0.11.9/cbits/skein256.c:152: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(tramp, data, 32); data/haskell-cryptohash-0.11.9/cbits/skein256.c:163: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(ctx->buf + ctx->bufindex, data, len); data/haskell-cryptohash-0.11.9/cbits/skein256.c:200: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(out + i*32, w, n); data/haskell-cryptohash-0.11.9/cbits/skein512.c:159: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(ctx->buf + ctx->bufindex, data, to_fill); data/haskell-cryptohash-0.11.9/cbits/skein512.c:170: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(tramp, data, 64); data/haskell-cryptohash-0.11.9/cbits/skein512.c:181: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(ctx->buf + ctx->bufindex, data, len); data/haskell-cryptohash-0.11.9/cbits/skein512.c:218: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(out + i*64, w, n); ANALYSIS SUMMARY: Hits = 18 Lines analyzed = 1501 in approximately 0.14 seconds (10601 lines/second) Physical Source Lines of Code (SLOC) = 991 Hits@level = [0] 1 [1] 0 [2] 18 [3] 0 [4] 0 [5] 0 Hits@level+ = [0+] 19 [1+] 18 [2+] 18 [3+] 0 [4+] 0 [5+] 0 Hits/KSLOC@level+ = [0+] 19.1726 [1+] 18.1635 [2+] 18.1635 [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.