Module FlowTestCommon

Helper library for implementing data or taint flow inline expectation tests. As long as data or taint flow configurations for IR and/or AST based data/taint flow are in scope, provides inline expectations tests. All sinks that have flow are annotated with ast (or respective ir) if there is a unique source for the flow. Otherwise, if there are multiple sources that can reach a given sink, the annotations have the form ast=lineno:column (or ir=lineno:column). If a sink is reachable through both AST and IR flow, the annotations have the form ast,ir or ast,ir=lineno:column. Intermediate steps from the source to the sink are not annotated.