* Compute strlen(s) for a string using safe memory accesses. The additional * len parameter is used to specify a maximum length to ensure completion. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected