[SOSP'25] Automatic checker synthesis for system-level static analysis - View it on GitHub