llvm-capstone/llvm/tools/llvm-cfi-verify
Mitch Phillips 2e7be2a65a [cfi-verify] Validate there are no register clobbers between CFI-check and instruction execution.
Summary:
This patch adds another failure mode for `validateCFIProtection(..)`, wherein any register that affects the indirect control flow instruction is clobbered to between the CFI-check and the instruction's execution.

Also includes a modification to make MCInstrDesc::hasDefOfPhysReg public.

Reviewers: vlad.tsyrklevich

Reviewed By: vlad.tsyrklevich

Subscribers: llvm-commits, pcc, kcc

Differential Revision: https://reviews.llvm.org/D39820

llvm-svn: 318238
2017-11-15 00:35:26 +00:00
..
lib [cfi-verify] Validate there are no register clobbers between CFI-check and instruction execution. 2017-11-15 00:35:26 +00:00
CMakeLists.txt [cfi-verify] Add blacklist parsing for result filtering. 2017-11-03 20:54:26 +00:00
llvm-cfi-verify.cpp [cfi-verify] Add DOT graph printing for GraphResult objects. 2017-11-14 22:43:13 +00:00
LLVMBuild.txt [cfi-verify] Add blacklist parsing for result filtering. 2017-11-03 20:54:26 +00:00