T. Le

GraphLedger: Repository-Level Vulnerability Detection via Graph-Based Compression and Assumption Validation

Repository-level vulnerability detection requires reasoning across files, procedures, and long-range dependency chains. This is difficult for both dominant families of methods: static analysis often over-approximates and produces many false positives, while LLM-based approaches struggle with large repository context an...