bdemsky/c11tester-llvm

LLVM frontend for C11Tester

C11Tester LLVM frontend

This repository contains the LLVM frontend for instrumenting C/C++ code for the C11Tester framework.

To build this frontend do the following:

1. Clone the repository using git into a folder names CDSPass
2. Obtain a copy of the LLVM compiler
3. Place the CDSPass folder under the directory llvm/lib/Transformation
4. Add "add_subdirectory(CDSPass)" to llvm/lib/Transformation/CMakeLists.txt
5. Build LLVM following the LLVM build instructions

Acknowledgments

This material is based upon work supported by the National Science Foundation under Grant Numbers 1740210 and 1319786 and Google Research awards.

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.