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/spass-3.9/analyze.c Examining data/spass-3.9/analyze.h Examining data/spass-3.9/approx.c Examining data/spass-3.9/approx.h Examining data/spass-3.9/array.c Examining data/spass-3.9/array.h Examining data/spass-3.9/cl.h Examining data/spass-3.9/clause.c Examining data/spass-3.9/clause.h Examining data/spass-3.9/clock.c Examining data/spass-3.9/clock.h Examining data/spass-3.9/closure.c Examining data/spass-3.9/closure.h Examining data/spass-3.9/cmdline.c Examining data/spass-3.9/cmdline.h Examining data/spass-3.9/cnf.c Examining data/spass-3.9/cnf.h Examining data/spass-3.9/component.c Examining data/spass-3.9/component.h Examining data/spass-3.9/condensing.c Examining data/spass-3.9/condensing.h Examining data/spass-3.9/context.c Examining data/spass-3.9/context.h Examining data/spass-3.9/defs.c Examining data/spass-3.9/defs.h Examining data/spass-3.9/description.c Examining data/spass-3.9/description.h Examining data/spass-3.9/dfg.h Examining data/spass-3.9/dfg2ascii.c Examining data/spass-3.9/dfg2dfg.c Examining data/spass-3.9/dfg2dimacs.c Examining data/spass-3.9/dfg2otter.c Examining data/spass-3.9/dfg2tptp.c Examining data/spass-3.9/dfg_diagnostic.c Examining data/spass-3.9/dfg_diagnostic.h Examining data/spass-3.9/dfg_pos.h Examining data/spass-3.9/dfg_string_table.c Examining data/spass-3.9/dfg_string_table.h Examining data/spass-3.9/dfg_token.c Examining data/spass-3.9/dfg_token.h Examining data/spass-3.9/dfg_util.h Examining data/spass-3.9/dfglexer.c Examining data/spass-3.9/dfglexer.h Examining data/spass-3.9/dfgparser.c Examining data/spass-3.9/dfgparser.h Examining data/spass-3.9/dimacs2dfg.c Examining data/spass-3.9/dimparser.c Examining data/spass-3.9/dimparser.h Examining data/spass-3.9/doc-proof.c Examining data/spass-3.9/doc-proof.h Examining data/spass-3.9/eml.c Examining data/spass-3.9/eml.h Examining data/spass-3.9/flags.c Examining data/spass-3.9/flags.h Examining data/spass-3.9/foldfg.c Examining data/spass-3.9/foldfg.h Examining data/spass-3.9/gettimeofday.h Examining data/spass-3.9/graph.c Examining data/spass-3.9/graph.h Examining data/spass-3.9/hash.c Examining data/spass-3.9/hash.h Examining data/spass-3.9/hasharray.c Examining data/spass-3.9/hasharray.h Examining data/spass-3.9/hashmap.c Examining data/spass-3.9/hashmap.h Examining data/spass-3.9/ia.h Examining data/spass-3.9/kbo.c Examining data/spass-3.9/kbo.h Examining data/spass-3.9/list.c Examining data/spass-3.9/list.h Examining data/spass-3.9/memory.c