[llvm-branch-commits] [llvm] [BOLT] Gadget scanner: detect authentication oracles (PR #135663)

[Anatoly Trosinenko via llvm-branch-commits]

================
@@ -717,6 +716,466 @@ SrcSafetyAnalysis::create(BinaryFunction &BF,
                                                        RegsToTrackInstsFor);
 }
 
+/// A state representing which registers are safe to be used as the destination
+/// operand of an authentication instruction.
+///
+/// Similar to SrcState, it is the analysis that should take register aliasing
+/// into account.
+///
----------------
atrosinenko wrote:

Among the cleanups that I plan to send (such as documentation updates, etc.) is factoring out a base utility class for `CFGUnaware*Analysis`. I will put that refactoring right here, then.

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