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. |