CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
arXiv:2610.07557v1 Announce Type: cross Abstract: Static-analysis checker synthesis requires agents to interpret a defect specification, inspect a repository, implement analyzer-specific logic, and re