Data constraints are not enabled due to rsp and rip mismatch

hase-project / hase

Timeless debugging with symbolic execution and processor trace

BSD 2-Clause "Simplified" License

74 stars 8 forks source link

Data constraints are not enabled due to rsp and rip mismatch #24

Open Airtnp opened 5 years ago

Airtnp commented 5 years ago

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.