CheckerBench

What is CheckerBench?

Static-analysis checker synthesis requires agents to interpret a defect specification, inspect a repository, implement analyzer-specific logic, and refine the…

Released

2026-10-06

Evaluates

Code & Software, Cybersecurity, Software & AI Compute, cs.SE

Openness

unknown

Importer

Claire Radar

Review status

rule-auto-admitted

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2610.07557

CheckerBench paper

• Paper https://arxiv.org/abs/2610.07557

Which sources cite CheckerBench?

• CheckerBench

Related Code & Software, Cybersecurity, Software & AI Compute, cs.SE benchmarks

• Active-SWE
• AdversaBench
• AFT-Bench
• Agent App Benchmark
• Agent Retrieval Bench
• Agent Systems Benchmark (ASB)
• agent-hijack-bench
• Agentic Evaluation in 2D Mazes