Currently, TraversalContext has two legs: one for when we're retrieving Vars from something; one for retrieving MarkedVars.
If we instead make TraversalContext parametric over a type 'Var of variable, then we:
Don't need two different sets of findXVars for each type
Can reuse the existing framework for finding other variable types. This is the big one, because in adding havoc I'm planning to have a new type HavocVar for internally representing variables that may have been havoc'd.
Currently,
TraversalContext
has two legs: one for when we're retrievingVar
s from something; one for retrievingMarkedVars
.If we instead make
TraversalContext
parametric over a type'Var
of variable, then we:findXVars
for each typeHavocVar
for internally representing variables that may have been havoc'd.