[llvm] [BOLT] Gadget scanner: detect non-protected indirect calls (PR #131899)

Anatoly Trosinenko via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 26 05:53:01 PDT 2025


================
@@ -382,11 +382,11 @@ class PacRetAnalysis
 
 public:
   std::vector<MCInstReference>
-  getLastClobberingInsts(const MCInst Ret, BinaryFunction &BF,
-                         const ArrayRef<MCPhysReg> UsedDirtyRegs) const {
----------------
atrosinenko wrote:

This sounds reasonable and seems to be important for detecting signing oracles (to handle instruction sequences inserted by the compiler to check authenticated register - this would make possible to call `getStateBefore` from `computeNext`), but it is probably better to address via a separate PR.

https://github.com/llvm/llvm-project/pull/131899


More information about the llvm-commits mailing list