CSI instrumenting compiler v1.4.0

This is release 1.4.0 of csi-cc, the instrumenting compiler implementing lightweight, customizable control-flow tracing. Major changes in this release include:

• Support for more LLVM releases (through 7.0)
• A new, more efficient optimal coverage solver ("LEMON"), as proposed in the INFORMS JOC paper
• Support for the GNU Indirect Function attribute for run-time selection among tracing schemes, as referenced in Peter Ohmann's PhD dissertation

All code in this release is licensed under the Apache License, Version 2.0, and is copyright © 2023 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 usage for the various coverage optimization options and instructions for extracting annotated control-flow graphs, can be found in the docs/ 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.

CSI instrumenting compiler v1.3.0

This is release 1.3.0 of csi-cc, the instrumenting compiler implementing lightweight, customizable control-flow tracing. Major changes in this release include:

• Support for more recent LLVM releases (through 4.0)
• Support for OSX 10.11+
• Tools for extracting annotated control-flow graphs for downstream analyses

All code in this release is licensed under the Apache License, Version 2.0, and is copyright © 2017 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 instructions for extracting annotated control-flow graphs, 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.

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.

CSI instrumenting compiler v1.1.0

This is release 1.1.0 of csi-cc, the instrumenting compiler implementing lightweight, customizable control-flow tracing. Major changes in this release include:

• Support for function, call-site, and statement coverage instrumentation
• Support for more tracing customization options

Full details of the extended approach 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 new features and coverage options, 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 and B. Liblit. “Lightweight control-flow instrumentation and postmortem analysis in support of debugging.” Automated Software Engineering Journal, 2016. Springer.

CSI instrumenting compiler v1.0.0

This release builds csi-cc, the instrumenting compiler implementing lightweight, customizable control-flow tracing. Full details of the approach can be found in [1].

All code in this release is licensed under the Apache License, Version 2.0, and is copyright © 2013 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, as well as details about output formats and various options, 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 and B. Liblit. “Lightweight control-flow instrumentation and postmortem analysis in support of debugging.” 28th International Conference on Automated Software Engineering (ASE 2013), Nov. 2013. IEEE and ACM.