hase-project/hase

Data constraints are not enabled due to rsp and rip mismatch

Opened this issue · 1 comments

Airtnp commented
Data constraints are not enabled due to rsp and rip mismatch
Airtnp commented

RSP might be solved by providing a call stack at some time point in the trace, then we rsp = rsp + sum(function size in call stack till main). Might be incorrect.