Document Open Access Logo

Comparing Transparent Static Analyzers with Open Verification Dashboard (Artifact)

Authors Tom Goalard , Karoliine Holter , Simmo Saan , Vesal Vojdani , Raphaël Monat

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.12.1.6.pdf
  • Filesize: 0.6 MB
  • 15 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Automated static analysis
  • Software and its engineering → Software testing and debugging
Keywords
  • automated static analysis
  • multi-tool integration
  • interoperability
  • proof obligations
  • result aggregation
  • verification progress
  • selectivity metric
  • reproducibility
  • dashboard

Metrics

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2026 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This artifact accompanies the eponymous article. It enables reproduction of the experimental claims made in the article that are covered by this description.

Cite As Get BibTex

Tom Goalard, Karoliine Holter, Simmo Saan, Vesal Vojdani, and Raphaël Monat. Comparing Transparent Static Analyzers with Open Verification Dashboard (Artifact). In Special Issue of the 40th European Conference on Object-Oriented Programming (ECOOP 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 1, pp. 6:1-6:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DARTS.12.1.6

Author Details

Tom Goalard
  • ENS Rennes, Campus de Ker Lann, 11 avenue Robert Schuman, 35170 Bruz, France
Karoliine Holter
  • Institute of Computer Science, University of Tartu, Estonia
Simmo Saan
  • Institute of Computer Science, University of Tartu, Estonia
Vesal Vojdani
  • Institute of Computer Science, University of Tartu, Estonia
Raphaël Monat
  • Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, 59000 Lille, France

Funding

This work is supported by the European Union and the Estonian Research Council via projects PRG2764 and TEM-TA119, by grant agreement ANR-24-CE25-7956-01 RAISIN from the French Agence Nationale de la Recherche, and by an Amazon Research Award, Fall 2024.

Related Article

  • Tom Goalard, Karoliine Holter, Simmo Saan, Vesal Vojdani, and Raphaël Monat, "Comparing Transparent Static Analyzers with Open Verification Dashboard", in 40th European Conference on Object-Oriented Programming (ECOOP 2026), LIPIcs, Vol. 372, pp. 8:1-8:27, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.8
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact