KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels
LLVM: a compilation framework for lifelong program analysis & transformation