[all-commits] [llvm/llvm-project] 1edcb9: [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: 1edcb9211b76933eb1a5596c2a5b41c687cd7114
      https://github.com/llvm/llvm-project/commit/1edcb9211b76933eb1a5596c2a5b41c687cd7114
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-04-01 (Tue, 01 Apr 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.


  Commit: de78d1f453bf101b0583b1b837e7c304879b437d
      https://github.com/llvm/llvm-project/commit/de78d1f453bf101b0583b1b837e7c304879b437d
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-04-01 (Tue, 01 Apr 2025)

  Changed paths:
    M bolt/test/binary-analysis/AArch64/gs-pauth-calls.s

  Log Message:
  -----------
  Tests: call callee instead of callee_ext


Compare: https://github.com/llvm/llvm-project/compare/c54cf0a1fddc...de78d1f453bf

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