When using Taint Engine tainted operands are not shown

[0ca]

Not sure if the problem is with Triton 0.9-dev or something we change in the code.

This line returns an empty list even when it shoudn't https://github.com/illera88/Ponce/blob/v0.3/src/utils.cpp#L564

[0ca]

If the symbolic engine is disabled then the semantics for the instruction are deleted: https://github.com/JonathanSalwan/Triton/blob/dev-v0.9/src/libtriton/arch/irBuilder.cpp#L150

So maybe we can not get that information if only the taint engine is enabled?

[illera88]

Try now

[0ca]

It works!