Occur Illegal instruction (core dumped), when creating an empty disk image

[Ciro]

Hi Everyone,

I am a new guy for S2E. I have built S2E. However, when I and preparing a VM image for S2E according to the installation tutorials, there is a error. When I create an empty disk image, there is illegal instruction (core dumped), as following:

sun@sun:~/s2e/build$ qemu-release/qemu-img create -f raw s2e_disk.raw 2G
Illegal instruction (core dumped)

Maybe qemu-img not work? I don't know the reason. Hope to receive your advices.

Thank you very much!

Best,
Ciro

[Vitaly Chipounov]

Hi,

Works for me. Can you post the call stack and the instruction that is illegal?
If you compile in Virtual Box, you might need to add BUILD_ARCH=corei7 to the S2E makefile invocation.
Virtual Box does not support some SSE instructions.

Vitaly

--
--
You received this message because you are a member of the S2E Developer Forum.
To post to this group, send email to s2e...@googlegroups.com
To unsubscribe from this group, send email to s2e-dev+u...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/s2e-dev
 
---
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[Ciro]

Hi Vitaly,

Thanks for your advice.

I do compile in Virtual Box. Now I have added BUILD_ARCH=corei7 to the S2E makefile, but this problem also exists. There is also illegal instruction (core dumped). Attached is strace result.

Besides, I also built S2E in Ubuntu 13.04 (64bit). There is a fatal error: bit/c++config.h file not found. The same, bits/os_defines.h and bits/cpu_defines.h file not found. They don't exist in /usr/include/c++/4.7/bits, but they exist in /usr/include/x86_64-linux-gnu/c++/4.7/bits. I don't know why they cannot find.

Thank you very much.

Best Regards,
Pengfei

[Vitaly Chipounov]

On 01.06.2013 17:26, Ciro wrote:

Hi Vitaly,

Thanks for your advice.

I do compile in Virtual Box. Now I have added BUILD_ARCH=corei7 to the S2E makefile, but this problem also exists. There is also illegal instruction (core dumped). Attached is strace result.

corei7 must be adapter to your specific host machine. You need to figure out what illegal instruction is and select the architecture that doesn't use it. Clang somehow can't detect that by itself, so you need to tell it explicitly. You also have to start with a fresh build folder to recompile everything.

Besides, I also built S2E in Ubuntu 13.04 (64bit). There is a fatal error: bit/c++config.h file not found. The same, bits/os_defines.h and bits/cpu_defines.h file not found. They don't exist in /usr/include/c++/4.7/bits, but they exist in /usr/include/x86_64-linux-gnu/c++/4.7/bits. I don't know why they cannot find.

Does this happen when compiling LLVM3.2?

Vitaly

[Ciro]

Yes,  this happens when compiling LLVM3.2.  There is a fatal error: bit/c++config.h file not found and so on.

[Jonas Wagner]

Hi,

try setting the following prior to building:

$ export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu

Cheers,

Jonas