[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]

browneee created this revision.
browneee added a reviewer: vitalybuka.
Herald added a subscriber: hiraditya.
Herald added a project: All.
browneee requested review of this revision.
Herald added projects: Sanitizers, LLVM.
Herald added subscribers: llvm-commits, Sanitizers.

Example case:
https://github.com/abseil/abseil-cpp/blob/628a2825f8dc0219964886e7cc3f7f519e3bd950/absl/strings/ascii.h#L182


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D122787

Files:
  compiler-rt/test/dfsan/lookup_table.c
  llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
  llvm/test/Instrumentation/DataFlowSanitizer/lookup_table.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D122787.419344.patch
Type: text/x-patch
Size: 10347 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220331/e251df98/attachment.bin>