Example #1
0
            public override void Visit(CopyMemoryInstruction instruction)
            {
                SavePreState(instruction, FreshCurrent());
                var nstate = FreshCurrent();

                SetAllEscaped(nstate);
                SetCurrent(nstate);
                SavePostState(instruction, FreshCurrent());
            }
Example #2
0
 public override void Visit(CopyMemoryInstruction instruction)
 {
     DefaultTop(instruction);
 }
Example #3
0
 public virtual void Visit(CopyMemoryInstruction instruction)
 {
 }
Example #4
0
 public virtual void Visit(CopyMemoryInstruction instruction)
 {
     Default(instruction);
 }