[all-commits] [llvm/llvm-project] f5401c: [BOLT] Gadget scanner: analyze functions without C...

[Anatoly Trosinenko via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f5401c6a16eefda58e8dfbdc246ad353b09777d0
      https://github.com/llvm/llvm-project/commit/f5401c6a16eefda58e8dfbdc246ad353b09777d0
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-05-20 (Tue, 20 May 2025)

  Changed paths:
    M bolt/include/bolt/Core/BinaryFunction.h
    M bolt/include/bolt/Passes/PAuthGadgetScanner.h
    M bolt/lib/Passes/PAuthGadgetScanner.cpp
    M bolt/test/binary-analysis/AArch64/gs-pacret-autiasp.s
    M bolt/test/binary-analysis/AArch64/gs-pauth-calls.s
    M bolt/test/binary-analysis/AArch64/gs-pauth-debug-output.s

  Log Message:
  -----------
  [BOLT] Gadget scanner: analyze functions without CFG information (#133461)

Support simple analysis of the functions for which BOLT is unable to
reconstruct the CFG. This patch is inspired by the approach implemented
by Kristof Beyls in the original prototype of gadget scanner, but a
CFG-unaware counterpart of the data-flow analysis is implemented
instead of separate version of gadget detector, as multiple gadget kinds
are detected now.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications