C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)

Authors Jon Eyolfson, Patrick Lam



PDF
Thumbnail PDF

Artifact Description

DARTS.2.1.3.pdf
  • Filesize: 325 kB
  • 2 pages

Document Identifiers

Author Details

Jon Eyolfson
Patrick Lam

Cite AsGet BibTex

Jon Eyolfson and Patrick Lam. C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact). In Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 3:1-3:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/DARTS.2.1.3

Artifact

Abstract

This artifact is based on ConstSanitizer, a dynamic program analysis tool that detects deep immutability violations through const qualifiers. Our tool instruments any code compiled by clang with the -fsanitizer=const flag. Our implementation includes both instrumentation of LLVM code and a runtime library to support our analysis. The provided package includes our tool and all experiments used in our companion paper. Instructions are also provided.
Keywords
  • empirical study
  • dynamic analysis
  • immutability

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail