\brief Decide whether a given storage location could be an input parameter If the input is locked, check if the location matches one of the current parameters. Otherwise, check if the location \e could be a parameter based on the prototype model. \param addr is the starting address of the given storage location \param size is the number of bytes in the storage \return \b false if the location is
source not stored for this graph (policy: none)
no test coverage detected