Jonathan Salwan

> But this functionality should be easy to code, I will try to do it in the next weeks ;) [API::sliceExpressions](https://github.com/JonathanSalwan/Triton/blob/09c21faa61ee90d64d5b91ba6fee4acdd16a2709/src/libtriton/api/api.cpp#L936) =).

why it's not?

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...

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

> 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...

Note to myself: See #1012

It's not an easy task, especially copying all shared_ptr (`AbstractNode` and `SymbolicExpression`). However, you can easily snapshot a state if you do not care about that states share pointers. Below...

> What is your use case model for taint? Actually, I never use the taint engine. I mainly use symbolic variable (we can consider that it's a kind of taint)...

* The taint analysis could be applied on a standalone static IR (#473)

Hey, yes this is something that is missing. It's been I while that I think about passing an argument as `void*`. I will do it as soon as possible (~3...