License: Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.2.1.3
URN: urn:nbn:de:0030-drops-61249
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2016/6124/
Eyolfson, Jon ;
Lam, Patrick
C++ const and Immutability: An Empirical Study of Writes-Through-const (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.
BibTeX - Entry
@Article{eyolfson_et_al:DARTS:2016:6124,
author = {Jon Eyolfson and Patrick Lam},
title = {{C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)}},
pages = {3:1--3:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6124},
URN = {urn:nbn:de:0030-drops-61249},
doi = {10.4230/DARTS.2.1.3},
annote = {Keywords: empirical study, dynamic analysis, immutability}
}