Implementation of CCured as an LLVM pass