\brief Update Varnode properties based on (new) Symbol information Boolean properties \b addrtied, \b addrforce, and \b nolocalalias for Varnodes are updated based on new Symbol information they map to. The caller can elect to update data-type information as well, where Varnodes and their associated HighVariables have their data-type finalized based symbols. \param lm is the Symbol scope within w
source not stored for this graph (policy: none)
no test coverage detected