Reads a C string from the user space of the current process. The length of the string should not exceed `max_len`, including the final `\0` byte.
(&self, vaddr: Vaddr, max_len: usize)
source not stored for this graph (policy: none)
no test coverage detected