\brief Is the given memory range marked as \e read-only Check for Symbols relative to \b this Scope that are marked as \e read-only, and look-up properties of the memory in general. \param addr is the starting address of the given memory range \param size is the number of bytes in the range \param usepoint is a point where the range is getting accessed \return \b true if the memory is marked as \
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected