Classses and predicates for reasoning about passwords in configuration files.
Provides classes for restricting the locations reported for program elements.
Provides classes and predicates for identifying sensitive data and methods for security.
Holds if some JSON or YAML file contains a property with name
key and value
valElement is the entity corresponding to the value.
Holds if file
f should be excluded because it looks like it may be an API specification, a dictionary file, or a test or example.