State Copy?

[bannsec]

It's not clear if it's possible to copy a given state. The examples I'm seeing are single traces through an application.

For instance, take state1 and return state1.copy that have the same information but are separate so that changes in one do not affect changes in the other.

[JonathanSalwan]

It's currently not really possible (takeSnapshot into the pintool module is a hack). But! we will add this feature for sure into the new API (dev-pb). For example, we could do something like this:

ctx = TritonContext()
# ...
bck = TritonContext(ctx) # do the state copy.

What do you think @pbrunet?

[bannsec]

Hmm... How much different is this dev-pb API going to be? Is it still using the core API now and adding to it or are those calls changing?

[JonathanSalwan]

All methods are kept the same. The main difference is that you need to instance a context.

[illera88]

Hey, are you still gonna pursue this?
Why is the takesnapshot a hack?

[JonathanSalwan]

Hey, are you still gonna pursue this?

Yep, I should...

Why is the takesnapshot a hack?

takesnapshot starts to record all modifications on memory and restoresnapshot undo all these modifications. This is a hack compared to what I've in mind with bck = TritonContext(ctx). In this case, we have to make copy of every object so that contexts are independent of each others.

[dvcrn]

Are there news on copying a context/state? For example I'd like to create a base context, load a binary and some memory, and then branch off for individual functions