DARTS.2.1.3.pdf
- Filesize: 325 kB
- 2 pages
Document
C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Volume: DARTS, Volume 2 (ECOOP 2016)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2016-07-14
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
https://doi.org/10.4230/DARTS.2.1.3
Artifact
DARTS-2-1-3-artifact-QEMU-0d30b05ad520209348fd38a3662e45f5.tgz
(Filesize: 1.44 GB)
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)
0PDF Downloads