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/minisat+-1.0/ADTs/FEnv.C
Examining data/minisat+-1.0/ADTs/FEnv.h
Examining data/minisat+-1.0/ADTs/File.C
Examining data/minisat+-1.0/ADTs/File.h
Examining data/minisat+-1.0/ADTs/Global.C
Examining data/minisat+-1.0/ADTs/Global.h
Examining data/minisat+-1.0/ADTs/Hash_standard.h
Examining data/minisat+-1.0/ADTs/Heap.h
Examining data/minisat+-1.0/ADTs/Int.h
Examining data/minisat+-1.0/ADTs/Map.h
Examining data/minisat+-1.0/ADTs/Sort.h
Examining data/minisat+-1.0/ADTs/StackAlloc.h
Examining data/minisat+-1.0/ADTs/VecAlloc.h
Examining data/minisat+-1.0/ADTs/VecMaps.h
Examining data/minisat+-1.0/Debug.C
Examining data/minisat+-1.0/Debug.h
Examining data/minisat+-1.0/Hardware.h
Examining data/minisat+-1.0/Hardware_adders.C
Examining data/minisat+-1.0/Hardware_clausify.C
Examining data/minisat+-1.0/Hardware_sorters.C
Examining data/minisat+-1.0/Main.h
Examining data/minisat+-1.0/MiniSat.C
Examining data/minisat+-1.0/MiniSat.h
Examining data/minisat+-1.0/PbParser.h
Examining data/minisat+-1.0/PbSolver.C
Examining data/minisat+-1.0/PbSolver.h
Examining data/minisat+-1.0/PbSolver_convert.C
Examining data/minisat+-1.0/PbSolver_convertAdd.C
Examining data/minisat+-1.0/PbSolver_convertBdd.C
Examining data/minisat+-1.0/PbSolver_convertSort.C