Module CleartextLogging

Provides extension points for customizing the data-flow tracking configuration for reasoning about clear-text logging of sensitive information.

Tracks data flow for reasoning about clear-text logging of sensitive information, from Sources, which are sources of sensitive data, to Sinks, which is an abstract class representing all the places sensitive data may be stored in cleartext. Additional sources or sinks can be added by extending the relevant class.