program-partitioning-for-security-enclaves

program-dependence-graph

controlflow-integrity

self-checksumming

llvm-traces-pass

llvm-pass-variables-sum

introspection-result-checking