[DFSan] Add force_zero_label abilist option to DFSan. This can be used as a work...
authorAndrew Browne <browneee@google.com>
Wed, 15 Sep 2021 18:50:07 +0000 (11:50 -0700)
committerAndrew Browne <browneee@google.com>
Fri, 17 Sep 2021 19:57:40 +0000 (12:57 -0700)
commitc533b88a6dc970b5f98451bb3e676cdf6e9129f8
tree11b9f9446b748beb9c835caa462552d195b1b88b
parente93baded39578d62139656833c9b926d5cf78ba5
[DFSan] Add force_zero_label abilist option to DFSan. This can be used as a work-around for overtainting.

Reviewed By: morehouse

Differential Revision: https://reviews.llvm.org/D109847
clang/docs/DataFlowSanitizer.rst
compiler-rt/test/dfsan/Inputs/flags_abilist.txt
compiler-rt/test/dfsan/force_zero.c [new file with mode: 0644]
llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
llvm/test/Instrumentation/DataFlowSanitizer/Inputs/abilist.txt
llvm/test/Instrumentation/DataFlowSanitizer/force_zero.ll [new file with mode: 0644]