Tom Goalard, Karoliine Holter, Simmo Saan, Vesal Vojdani, Raphaël Monat: Comparing Transparent Static Analyzers with Open Verification Dashboard. ECOOP 2026: 8:1-8:27