SimulatableContext

Used by BitSAD’s simulation engine to track bit-level returns and previously transformed calls.

Fields

• popmap: a map from the original call to the simulated bit computation
• opmap: a “reverse” map from a function + arguments to returned Ghost.Variable