2024

从issue report中提取description of vulnerability triggering path (VTP)，用于辅助patch example生成。

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