Module TaintTracking

Import path

import csharp

localExprTaint	Holds if taint can flow from `e1` to `e2` in zero or more local (intra-procedural) steps.
localTaint	Holds if taint propagates from `source` to `sink` in zero or more local (intra-procedural) steps.

A member (property or field) that is tainted if its containing object is tainted.

Holds if taint propagates from nodeFrom to nodeTo in exactly one local (intra-procedural) step.