- v -

• valid() : PropagationState
• valueMatch() : GuardRecord
• ValueSetEdge() : ValueSetSolver::ValueSetEdge
• Varnode() : Varnode
• VarnodeBank() : VarnodeBank
• varnodeComplement() : ConditionMarker
• varnodeSame() : ConditionMarker
• verify() : ConditionalExecution
• verifyAddTreeBottom() : RulePtrArith
• verifyCondition() : ConditionMarker
• verifySameCondition() : ConditionalExecution
• visit() : ValueSetSolver
• visitIncr() : Heritage
• vnSpacebase() : RuleLoadVarnode
• VolatileOp() : VolatileOp
• VolatileReadOp() : VolatileReadOp
• VolatileWriteOp() : VolatileWriteOp