LLM4SE

two-step hierarchical approach for repository-level code summarization

使用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.

使用LLM推理sources & sinks，用于CodeQL漏洞检测，并用LLM对检测结果进行验证。