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

[Anatoly Trosinenko via All-commits]

  Branch: refs/heads/users/atrosinenko/bolt-gs-nocfg-analysis
  Home:   https://github.com/llvm/llvm-project
  Commit: c3c19f5d05389fbef0a5ad15b4366e9d77dee195
      https://github.com/llvm/llvm-project/commit/c3c19f5d05389fbef0a5ad15b4366e9d77dee195
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-03-28 (Fri, 28 Mar 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

  Log Message:
  -----------
  [BOLT] Gadget scanner: analyze functions without CFG information

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