We assume a \e join ParamEntry cannot be contained by a single contiguous memory range. \param addr is the starting address of the potential containing range \param sz is the number of bytes in the range \return \b true if the entire ParamEntry fits inside the range
source not stored for this graph (policy: none)
no test coverage detected