Provides predicates relating to encryption in C and C++.
Provides classes and predicates for working with C/C++ code.
Gets the name of an algorithm that is known to be secure.
Gets the name of an algorithm that is known to be insecure.
Gets the name of a hash algorithm that is insecure if it is being used for encryption (but it is hard to know when that is happening).
Gets the regular expression used for matching strings that look like they contain an algorithm that is known to be insecure.
Gets a regular expression for matching strings that look like they contain an algorithm that is known to be secure.
Holds if there is additional evidence that