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/pajeng-1.3.6/src/libpaje/PajeColor.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeColor.h
Examining data/pajeng-1.3.6/src/libpaje/PajeComponent.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeComponent.h
Examining data/pajeng-1.3.6/src/libpaje/PajeContainer.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeContainer.h
Examining data/pajeng-1.3.6/src/libpaje/PajeData.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeData.h
Examining data/pajeng-1.3.6/src/libpaje/PajeDefinitions.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeDefinitions.h
Examining data/pajeng-1.3.6/src/libpaje/PajeEntity.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeEntity.h
Examining data/pajeng-1.3.6/src/libpaje/PajeEnum.h
Examining data/pajeng-1.3.6/src/libpaje/PajeEvent.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeEvent.h
Examining data/pajeng-1.3.6/src/libpaje/PajeEventDecoder.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeEventDecoder.h
Examining data/pajeng-1.3.6/src/libpaje/PajeEventDefinition.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeEventDefinition.h
Examining data/pajeng-1.3.6/src/libpaje/PajeException.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeException.h
Examining data/pajeng-1.3.6/src/libpaje/PajeFileReader.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeFileReader.h
Examining data/pajeng-1.3.6/src/libpaje/PajeFlexReader.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeFlexReader.h
Examining data/pajeng-1.3.6/src/libpaje/PajeObject.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeObject.h
Examining data/pajeng-1.3.6/src/libpaje/PajeProbabilisticSimulator.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeProbabilisticSimulator.h
Examining data/pajeng-1.3.6/src/libpaje/PajeProtocols.h
Examining data/pajeng-1.3.6/src/libpaje/PajeSimulator+Commands.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeSimulator+Queries.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeSimulator.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeSimulator.h
Examining data/pajeng-1.3.6/src/libpaje/PajeTraceEvent.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeTraceEvent.h
Examining data/pajeng-1.3.6/src/libpaje/PajeType.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeType.h
Examining data/pajeng-1.3.6/src/libpaje/PajeUnity.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeUnity.h
Examining data/pajeng-1.3.6/src/libpaje/PajeValue.cc
Examining data/pajeng-1.3.6/src/libpaje/PajeValue.h
Examining data/pajeng-1.3.6/src/tools/pj_dump.cc
Examining data/pajeng-1.3.6/src/tools/pj_equals.cc
FINAL RESULTS:
data/pajeng-1.3.6/src/libpaje/PajeEnum.h:22: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 *word[PAJE_MAX_FIELDS];
data/pajeng-1.3.6/src/libpaje/PajeEventDecoder.cc:136:63: [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).
eventBeingDefined = new PajeEventDefinition (pajeEventId, atoi(eventId), line->lineNumber, defs);
data/pajeng-1.3.6/src/libpaje/PajeFileReader.cc:27:8: [2] (misc) open:
Check when opening files - can an attacker redirect it (via symlinks),
force the opening of special file type (e.g., device files), move things
around to create a race condition, control its ancestors, or change its
contents? (CWE-362).
file.open (f);
data/pajeng-1.3.6/src/libpaje/PajeFlexReader.cc:30:10: [2] (misc) fopen:
Check when opening files - can an attacker redirect it (via symlinks),
force the opening of special file type (e.g., device files), move things
around to create a race condition, control its ancestors, or change its
contents? (CWE-362).
yyin = fopen (f.c_str(), "r");
data/pajeng-1.3.6/src/tools/pj_dump.cc:93:42: [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).
case 'l': dumpFloatingPointPrecision = atoi(arg); break;
data/pajeng-1.3.6/src/tools/pj_dump.cc:124:14: [2] (misc) open:
Check when opening files - can an attacker redirect it (via symlinks),
force the opening of special file type (e.g., device files), move things
around to create a race condition, control its ancestors, or change its
contents? (CWE-362).
outputFile.open (arguments->typeHierarchy);
data/pajeng-1.3.6/src/tools/pj_dump.cc:161:14: [2] (misc) open:
Check when opening files - can an attacker redirect it (via symlinks),
force the opening of special file type (e.g., device files), move things
around to create a race condition, control its ancestors, or change its
contents? (CWE-362).
outputFile.open (arguments->entityHierarchy);
data/pajeng-1.3.6/src/tools/pj_equals.cc:48: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 *input[VALIDATE_INPUT_SIZE];
data/pajeng-1.3.6/src/libpaje/PajeFileReader.cc:58:10: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
input->read (buffer->bytes, chunkSize);
data/pajeng-1.3.6/src/libpaje/PajeTraceEvent.cc:161:35: [1] (buffer) strlen:
Does not handle strings that are not \0-terminated; if given one it may
perform an over-read (it could cause a crash if unprotected) (CWE-126).
const char *cstr_end = cstr + strlen(cstr);
ANALYSIS SUMMARY:
Hits = 10
Lines analyzed = 7983 in approximately 0.21 seconds (37376 lines/second)
Physical Source Lines of Code (SLOC) = 5975
Hits@level = [0] 16 [1] 2 [2] 8 [3] 0 [4] 0 [5] 0
Hits@level+ = [0+] 26 [1+] 10 [2+] 8 [3+] 0 [4+] 0 [5+] 0
Hits/KSLOC@level+ = [0+] 4.35146 [1+] 1.67364 [2+] 1.33891 [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.