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/lbt-1.2.2/BitVector.C
Examining data/lbt-1.2.2/Ltl.C