Integrate results of ABIAnalyses2 in StackAnalysis2 and refine such results by suppressing stack pointer and callee-saved registers from the analyses.
Architecture-agnostic and ABI-independent data-flow analyses that traverse the recovered functions in order to detect arguments and return values registers.