2024

使用LLM结合symbolic来实现C->内存安全的C dialect（Checked C）的转换

prompts an LLM to use function calls to navigate a repository and privide an explanation of the suggested fault location.