[all-commits] [llvm/llvm-project] c41ec5: [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: c41ec52de030605993e77cdf0887ef100d2bb530
      https://github.com/llvm/llvm-project/commit/c41ec52de030605993e77cdf0887ef100d2bb530
  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: c54cf0a1fddccb419778f441075ce2c883513a3d
      https://github.com/llvm/llvm-project/commit/c54cf0a1fddccb419778f441075ce2c883513a3d
  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/0e2d3678f1bb...c54cf0a1fddc

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