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/hol-light-20190729/LP_arith/cdd_cert.c
Examining data/hol-light-20190729/Minisat/zc2mso/zc2mso.C

FINAL RESULTS:

data/hol-light-20190729/Minisat/zc2mso/zc2mso.C:23:36:  [4] (format) printf:
  If format strings can be influenced by an attacker, they can be exploited
  (CWE-134). Use a constant for the format specification.
#define reportf(format, args...) ( printf(format , ## args), fflush(stdout) )
data/hol-light-20190729/Minisat/zc2mso/zc2mso.C:59: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    buf[CHUNK_LIMIT];

ANALYSIS SUMMARY:

Hits = 2
Lines analyzed = 655 in approximately 0.23 seconds (2863 lines/second)
Physical Source Lines of Code (SLOC) = 496
Hits@level = [0]  13 [1]   0 [2]   1 [3]   0 [4]   1 [5]   0
Hits@level+ = [0+]  15 [1+]   2 [2+]   2 [3+]   1 [4+]   1 [5+]   0
Hits/KSLOC@level+ = [0+] 30.2419 [1+] 4.03226 [2+] 4.03226 [3+] 2.01613 [4+] 2.01613 [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.