Enabling Memory Safety of C Programs Using LLMs
arxiv.org