S2E Coverage IDA 7.0+ Error

[Pl0414141]

I have installed IDA 7.0 from https://out7.hex-rays.com/files/idafree70_linux.run however seems not supported by S2E.

IDA 6.8 is supported but is too old, S2E should support IDA 7.0+

[S2E:fussea] (venv) peto@peto-virtual-machine:~/fussea/projects/mybin$ s2e coverage basic_block --disassembler=ida mybin
INFO: [basicblock] Checking for existing .disas file
INFO: [basicblock] No .disas file found
INFO: [basicblock] Generating disassembly information from IDA Pro for ././mybin
INFO: [sh.command] <Command '/opt/ida-6.8/idat64 -A -B -S/home/peto/fussea/install/bin/extractBasicBlocks.py /tmp/tmpj1iigto0/mybin'>: starting process
INFO: [sh.command] <Command '/opt/ida-6.8/idat64 -A -B -S/home/peto/fussea/install/bin/extractBasicBlocks.py /tmp/tmpj1iigto0/mybin', pid 20834>: process started
ERROR: [coverage]

RAN: /opt/ida-6.8/idat64 -A -B -S/home/peto/fussea/install/bin/extractBasicBlocks.py /tmp/tmpj1iigto0/mybin

STDOUT:

STDERR:

[vitalych]

What happens if you change the path to IDA in the configuration?

[Pl0414141]

Even if the installation directory is changed, the problem persists because S2E call binaries that do not exist called "idal64" and "idat64".

Thanks

[vitalych]

Perhaps you could rewrite it to pass the binary instead of the dir.
https://github.com/S2E/s2e-env/blob/master/s2e_env/templates/s2e.yaml#L11

[Pai-Po]

i got the same issue

[Pl0414141]

The issue persists in any version of IDA > 7.0. Any idea to fix it?

[vitalych]

I don't have access to IDA 7, so I can't test. You will have to change the code so that it suits this new version.