\brief Encode all tracked register values for a specific address to a stream Encode all the tracked register values associated with a specific target address as a \ tag. \param encoder is the stream encoder \param addr is the specific address we have tracked values for \param vec is the list of tracked values
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected