[PATCH] D122787: [DFSan] Add dfsan-combine-taint-lookup-table option as work around for false negatives when dfsan-combine-pointer-labels-on-load=0 and dfsan-combine-offset-labels-on-gep=0 miss data flows through lookup tables.

Andrew via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 5 11:06:09 PDT 2022


browneee added inline comments.


================
Comment at: llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp:2113
 
+Value *StripPointerGEPsAndCasts(Value *V) {
+  if (!V->getType()->isPointerTy())
----------------
vitalybuka wrote:
> V->stripPointerCasts() ?
This is different - it traverses through non-zero GEPs.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D122787



More information about the llvm-commits mailing list