search

lks9 / src-tracer

Other
0 stars 0 forks source link

Check Assertion while Retracing #3

Closed lks9 closed 1 year ago

lks9 commented 1 year ago

The idea is to have a list of (address, assertion) tuples as paremeter to the replayer exploration technique. address is already the remapped address and assertion is a string to be evaluated.

Requires:

2

4

lks9 commented 1 year ago

I already started to work on that three weeks ago with a different aproach. See 0195bcd658cb3a651d1fd571e57dd5a281a1750a.

lks9 commented 1 year ago

Finally completed with 35674e1.

lks9 commented 1 year ago

The solution turned out to be very impractical, so I reopen and will also reimplement the assertion checking functionality from scratch.

lks9 commented 1 year ago

Now its more practical real with ad87dad89a48710ffb0970a69343540baae75e2a.