The Symbol is really attached to the Varnode's HighVariable (which must exist). The only reason a Symbol doesn't get set is if, the HighVariable is global and there is no pre-existing Symbol. (see mapGlobals()) \param vn is the given Varnode \return the associated Symbol or NULL
source not stored for this graph (policy: none)
no test coverage detected