[all-commits] [llvm/llvm-project] aa9215: [BOLT] Gadget scanner: reformulate the state for d...

[Anatoly Trosinenko via All-commits]

  Branch: refs/heads/users/atrosinenko/bolt-gs-reformulate-dfa-state
  Home:   https://github.com/llvm/llvm-project
  Commit: aa9215f5c3ed21d28e1e3bcca8b84266a3aeed91
      https://github.com/llvm/llvm-project/commit/aa9215f5c3ed21d28e1e3bcca8b84266a3aeed91
  Author: Anatoly Trosinenko <atrosinenko at accesssoftek.com>
  Date:   2025-03-18 (Tue, 18 Mar 2025)

  Changed paths:
    M bolt/include/bolt/Core/MCPlusBuilder.h
    M bolt/include/bolt/Passes/PAuthGadgetScanner.h
    M bolt/lib/Passes/PAuthGadgetScanner.cpp
    M bolt/lib/Target/AArch64/AArch64MCPlusBuilder.cpp
    M bolt/test/binary-analysis/AArch64/gs-pacret-autiasp.s
    M bolt/test/binary-analysis/AArch64/gs-pacret-multi-bb.s

  Log Message:
  -----------
  [BOLT] Gadget scanner: reformulate the state for data-flow analysis

In preparation for implementing support for detection of non-protected
call instructions, refine the definition of state which is computed for
each register by data-flow analysis.

Explicitly marking the registers which are known to be trusted at
function entry is crucial for finding non-protected calls. In addition,
it fixes less-common false negatives for pac-ret, such as `ret x1` in
`f_nonx30_ret_non_auted` test case.



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