PHPAnalysis.Analysis.CFG.TaintAnalysis.Analyze C# (CSharp) Метод

        public bool Analyze(TaggedEdge<CFGBlock, EdgeTag> edge)
        {
            var oldTaint = Taints[edge.Target];

            var newTaint = AnalyzeNode(edge);

            if (MonotonicChange(oldTaint, newTaint))
            {
                _taints[edge.Target] = newTaint;
                return true;
            }
            return false;
        }