- v -

• valueMatch() : GuardRecord
• ValueSetEdge() : ValueSetSolver::ValueSetEdge
• Varnode() : Varnode
• VarnodeBank() : VarnodeBank
• varnodeComplement() : ConditionMarker
• varnodeSame() : ConditionMarker
• verify() : ConditionalExecution
• verifyCondition() : ConditionMarker
• verifySameCondition() : ConditionalExecution
• visit() : ValueSetSolver
• visitIncr() : Heritage
• vnSpacebase() : RuleLoadVarnode