Unsupported operation

[frapik99]

Hi all, I think your are already busy :), but is there any change that you would implement the following operations:

ERROR   | 2017-02-25 06:33:06,901 | simuvex.vex.irop | Unsupported operation: Iop_SetV128lo64
ERROR   | 2017-02-25 06:33:06,901 | simuvex.vex.irop | Unsupported operation: Iop_Sqrt64F0x2

I found also these operations to be unsupported for now:

ERROR   | 2017-02-25 06:41:45,318 | simuvex.vex.irop | Unsupported operation: Iop_InterleaveHI8x16
ERROR   | 2017-02-25 06:41:45,321 | simuvex.vex.irop | Unsupported operation: Iop_InterleaveHI16x8
ERROR   | 2017-02-25 06:41:45,323 | simuvex.vex.irop | Unsupported operation: Iop_InterleaveHI32x4

Thanks

[zardus]

The likely scenario is that we won't get around to this until it becomes an immediate issue for us in terms of some research scenario, but miracles do happen. :-)

In the meantime:

You can enable the Oppologist to have angr use Unicorn engine to execute otherwise-unsupported operations at the cost of concretizing all data that goes into them: https://github.com/angr/angr/blob/master/angr/exploration_techniques/oppologist.py

You can try your hand at implementing the operations here: https://github.com/angr/simuvex/blob/master/simuvex/engines/vex/irop.py