Provides abstract classes representing generic concepts such as file system access or system command execution, for which individual framework libraries provide concrete subclasses.
Provides a library for local (intra-procedural) and global (inter-procedural) data flow analysis: deciding whether data can flow from a source to a sink.
Provides an extension point for modeling user-controlled data. Such data is often used as data-flow sources in security queries.
Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.