CSI instrumenting compiler v1.2.0
This is release 1.2.0 of csi-cc
, the instrumenting compiler implementing lightweight, customizable control-flow tracing. Major changes in this release include:
- Support for configurable optimization of call-site and statement coverage instrumentation
Full details of the optimizations and their formal foundations can be found in [1].
All code in this release is licensed under the Apache License, Version 2.0, and is copyright © 2016 Peter J. Ohmann and Benjamin R. Liblit. For licensing details, please see the file COPYING
. A copy of the license may be obtained at http://www.apache.org/licenses/LICENSE-2.0.
Some files may have additional licensing information. Please see individual files for details.
Information for building and running csi-cc
, including configuration options for coverage optimization, can be found in the doc/
directory of this release.
General disclaimer: |
---|
The authors make no guarantee whatsoever that CSI will build and/or run on your system. This README and the documentation are best-effort guides with possibly-helpful comments. |
[1]: P. Ohmann, D. B. Brown, N. Neelakandan, J. Linderoth, and B. Liblit. “Optimizing Customized Program Coverage.” 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Sep. 2016. IEEE and ACM.