On ARM architectures, in thumb mode, Bap.Std.Target.CPU.sp returns inaccurate results.
It seems that the appropriate approach is either to use Bap.Std.register_target ourselves, or more idiomatically invoke Theory.Target.reg with the appropriate arguments.
codyroux
commented
3 years ago
On ARM architectures, in thumb mode,
Bap.Std.Target.CPU.spreturns inaccurate results.It seems that the appropriate approach is either to use
Bap.Std.register_targetourselves, or more idiomatically invokeTheory.Target.regwith the appropriate arguments.