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