Clang plugin for crosschecking on C programs

This is a cross-check inserter for C programs implemented as a clang compiler plugin.

Building and running the plugin

  • Build libfakechecks (optional, useful for testing):
  1.  $ cd ../../libfakechecks
  2.  $ make all
  • Build the clang plugin using the build script:
  1.  $ ../../../scripts/build_cross_checks.py
  • To compile code using the plugin, either wrap the compilation command with the cc_wrapper.sh script from this directory:
  1.   $ cc_wrapper.sh <path/to/clang> .../CrossChecks.so <rest of command line...>

or add the following arguments manually to the clang command line, e.g., using CFLAGS:

  1. -Xclang -load -Xclang .../CrossChecks.so -Xclang -add-plugin -Xclang crosschecks

and link against libruntime.a.In both cases, the target binary must then be linked against one of the rb_xcheck implementation libraries: libfakechecks.so or libclevrbuf.so.

Testing

This plugin can be tested in this directory by running make test.