[PATCH] D130887: [SanitizerBinaryMetadata] Introduce SanitizerBinaryMetadata instrumentation pass

[Marco Elver via Phabricator via llvm-commits]

melver created this revision.
Herald added subscribers: Enna1, hiraditya, mgorny.
Herald added a project: All.
melver requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Introduces the SanitizerBinaryMetadata instrumentation pass which uses
the new MD_pcsections metadata kinds to instrument certain types of
instructions and functions required for breakpoint-based sanitizers.

The first intended user of the binary metadata emitted will be a variant
of GWP-TSan [1]. GWP-TSan will require information about atomic
accesses; to unambiguously determine if an access is atomic or not, we
also require "covered" information which code has been compiled with
SanitizerBinaryMetadata instrumentation enabled.

[1] https://llvm.org/devmtg/2020-09/slides/Morehouse-GWP-Tsan.pdf

Depends on D130886 <https://reviews.llvm.org/D130886>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D130887

Files:
  llvm/include/llvm/Transforms/Instrumentation.h
  llvm/include/llvm/Transforms/Instrumentation/SanitizerBinaryMetadata.h
  llvm/lib/Passes/PassBuilder.cpp
  llvm/lib/Passes/PassRegistry.def
  llvm/lib/Transforms/Instrumentation/CMakeLists.txt
  llvm/lib/Transforms/Instrumentation/SanitizerBinaryMetadata.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D130887.448956.patch
Type: text/x-patch
Size: 16881 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220801/c692f469/attachment.bin>