Beispiel #1
0
        protected override ConstantPropagationDomain Flow(CFGNode node, ConstantPropagationDomain input)
        {
            var nState  = input.Clone();
            var visitor = new ConstantPropagationTransferVisitor(nState, this);

            visitor.Visit(node);
            UpdateResults(visitor);
            return(visitor.State.Clone());
        }