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.