[PATCH] D109847: [DFSan] Add force_zero_label abilist option to DFSan. This can be used as a work-around for overtainting.

Matt Morehouse via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 17 08:42:56 PDT 2021


morehouse accepted this revision.
morehouse added inline comments.
This revision is now accepted and ready to land.


================
Comment at: clang/docs/DataFlowSanitizer.rst:141
+For instrumented functions, the ABI list supports a ``force_zero_labels``
+category, which will make all shadow stores and label for return values set
+zero labels. Functions should never be labelled with both ``force_zero_labels``
----------------



Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D109847/new/

https://reviews.llvm.org/D109847



More information about the llvm-commits mailing list