Package summary provides function summaries for a range of standard library functions that could be involved in a taint propagation.

Taint performs a depth-first search of the graph formed by SSA Referrers and Operands relationships, beginning at the given root node.

Propagation represents the information that is used by, and collected during, a taint propagation analysis.