Can we use this to get all "traces" for a given bytecode? about pakala HOT 3 CLOSED

Tried to follow the code during the decompilation but it's a bit complicated haha :)

from pakala.

Looking at it in more detail, would it be possible, as you suggest in your article, to print all possible paths through a contract with their constraints?

from pakala.

Hey, the Symbolic Machine inside of Pakala only return symbolic states, which are execution traces with their constraints and side effects, but it won't remember all the bytecodes that got executed like in your example. But maybe that's enough for what you need, I don't know.
You can access it through symbolic_machine.outcomes, after it got executed: https://github.com/palkeo/pakala/blob/master/pakala/cli.py#L227

Otherwise I encourage you to look at https://github.com/palkeo/panoramix but its code is pretty hard to follow. However it can give you full traces of paths with all opcodes. I don't do support for that kind of requests so you'll be pretty much on your own, though.

from pakala.