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

Anatoly Trosinenko via All-commits all-commits at lists.llvm.org
Mon Mar 31 10:48:09 PDT 2025


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


  Commit: 0e2d3678f1bb37ffc2cee2909b5bf2ac3f1bfdc3
      https://github.com/llvm/llvm-project/commit/0e2d3678f1bb37ffc2cee2909b5bf2ac3f1bfdc3
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-03-31 (Mon, 31 Mar 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/c3c19f5d0538...0e2d3678f1bb

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


More information about the All-commits mailing list