public bool TerminatesProcess; // True if entering this block means the process/thread will be terminated.
#endregion Fields
#region Constructors
public BlockFlow(Block block, BitSet dataOut, SymbolicEvaluationContext ctx)
{
this.Block = block;
this.DataOut = dataOut;
this.StackVarsOut = new Dictionary<Storage,int>();
this.SymbolicIn = ctx;
}
public bool TerminatesProcess; // True if entering this block means the process/thread will be terminated.
public BlockFlow(Block block, HashSet <RegisterStorage> dataOut, SymbolicEvaluationContext ctx)
{
this.Block = block;
this.DataOut = dataOut;
this.StackVarsOut = new Dictionary <Storage, int>();
this.SymbolicIn = ctx;
}
