Hi,<div>I understand that a SVAL is a kind of union wrapping a symbolic value , a mem region or a concrete value.  However I don't really understand the meaning of Loc and NonLoc sub classes.</div><div>Can someone explain their purposes?</div><div><br></div><div>Thanks</div><div><br></div><div>Paul</div>