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/logol-1.7.9/prolog/logol.c
Examining data/logol-1.7.9/prolog/logolSwiMain.c
Examining data/logol-1.7.9/prolog/logolMain.c
Examining data/logol-1.7.9/prolog/preSwiMain.c
Examining data/logol-1.7.9/prolog/preanalyse.c

FINAL RESULTS:

data/logol-1.7.9/prolog/logol.c:25:21:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
       maxSolutions=atoi(argv[3]);
data/logol-1.7.9/prolog/logol.c:27:15:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
       offset=atoi(argv[4]);
data/logol-1.7.9/prolog/logol.c:65:15:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
       header=atoi(argv[5]);
data/logol-1.7.9/prolog/logolMain.c:29:21:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
       maxSolutions=atoi(argv[3]);
data/logol-1.7.9/prolog/logolMain.c:31:15:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
       offset=atoi(argv[4]);
data/logol-1.7.9/prolog/logolMain.c:70:15:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
       header=atoi(argv[5]);
data/logol-1.7.9/prolog/logolSwiMain.c:30:4:  [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 *av[10];
data/logol-1.7.9/prolog/logolSwiMain.c:41:17:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
		 maxSolutions=atoi(argv[3]);
data/logol-1.7.9/prolog/logolSwiMain.c:43:11:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
		 offset=atoi(argv[4]);
data/logol-1.7.9/prolog/logolSwiMain.c:60:11:  [2] (integer) atoi:
  Unless checked, the resulting number can exceed the expected range
  (CWE-190). If source untrusted, check both minimum and maximum, even if the
  input had no minus sign (large numbers can roll over into negative number;
  consider saving to an unsigned value if that is intended).
		 header=atoi(argv[5]);
data/logol-1.7.9/prolog/preSwiMain.c:29:4:  [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 *av[10];

ANALYSIS SUMMARY:

Hits = 11
Lines analyzed = 608 in approximately 0.07 seconds (8786 lines/second)
Physical Source Lines of Code (SLOC) = 362
Hits@level = [0]  41 [1]   0 [2]  11 [3]   0 [4]   0 [5]   0
Hits@level+ = [0+]  52 [1+]  11 [2+]  11 [3+]   0 [4+]   0 [5+]   0
Hits/KSLOC@level+ = [0+] 143.646 [1+] 30.3867 [2+] 30.3867 [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.