Skip to content

README.md

Latest commit

 

History

History
12 lines (10 loc) · 914 Bytes

README.md

File metadata and controls

12 lines (10 loc) · 914 Bytes

llvm-pass-cfg-fault-detection

LLVM ModulePass that adds code for performing CFG-fault detection at runtime.

Notes

Assuming that the code to which apply the pass has been generated in C:

  1. The functions marked as static are assumed to have only one entry point, i.e. it is not possible to reach them from a function different than main();
  2. If a function is not marked as static the verification is performed only within the function itself;
  3. The code works only with a patch that has to be applied to the BasicBLock.cpp file (see the related LLVM issue here)
  4. The callback function with signature void cfg_err_detected() is assumed to be present in the codebase, it is the function that is called as soon as a CFG fault is detected.

Examples

An example of a C file compiled before and after the pass is present into the examples folder.