S2E installation

[Mukta Debnath]

Hi Vitaly Sir,

I get the following issues as given in the image while trying to build the guest-image for S2E.

What is the alternative for this? Can you please suggest?

Thanks and Regards,

Mukta Debnath

[Vitaly Chipounov]

Hi,

Please use the s2e image_build command rather than calling the makefile directly. It has an option to disable KVM if it's not available.

Vitaly

--
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.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/2933062b-de87-45fb-a508-577cd4918262n%40googlegroups.com.

[Vitaly Chipounov]

Hi,

Running the installer in DBT mode can take a considerable amount of time and is not recommended. Can you run it with graphics output enabled to see if there isn't some error during installation?

Vitaly

On Wed, Mar 6, 2024 at 1:55 PM Mukta Debnath <muktapear...@gmail.com> wrote:

Thank you for response. I tried it. But I am stuck at the following stage for over 4 hrs. What could be the reason? How can I resolve this issue?

Thanks and Regards,

Mukta

[Mukta Debnath]

How to enable graphics output for installation? Can you please share.

[Vitaly Chipounov]

Hi,

Please add the -g flag to s2e image_build.

Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/d5a96f55-4120-4548-b8a9-a924b4a992e1n%40googlegroups.com.

[Mukta Debnath]

Hi Vitaly Sir,

I tried with the -g flag. I am stuck at the following screen.

The problem with sourceware.org also occurred without gui enabled. I fixed it by changing the git clone url of the dockerfile of the respective image from git://sourceware.org/git/systemtap.git to http://sourceware.org/git/systemtap.git.

But how to handle this in GRUB. I am not able to access the Dockerfile through GRUB. Please advise.

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/CACjSjcucsRFFOEPz0BqaUwv09sVEOLmKXBa0tLhNMmx7He%2BzNg%40mail.gmail.com.

[Vitaly Chipounov]

Looks like a network issue. Check if you can clone the repo outside the VM. You can also comment out this line [1] if you don't need systemtap.

Vitaly

[1] https://github.com/S2E/guest-images/blob/master/Linux/s2e_home/launch.sh#L197

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/CAHma1L96cvizJxq6EWqCXSb9RaSd2YobC8qvLWt6gXP_BcUbfQ%40mail.gmail.com.

[Mukta Debnath]

Thank you so much Sir.

The issue is solved by commenting on the line 197 of launch.sh in the path of my machine "/s2e/source/guest-images/Linux/s2e_home/launch.sh" and using the following command for image build:

s2e image_build -g -n debian-11.3-i386

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/CACjSjcsAU4Yk9HO7uFWx0CHXOCu6xpF-ULkYSJ%2B0dRNcijU9Uw%40mail.gmail.com.

[Mukta Debnath]

Hi,

Does the warning shown in the following screen effects the test-case generation by S2E?

Also, I get the following warnings after launching S2E:

KLEE: WARNING: unsupported intrinsic llvm.rint.f64 

KLEE: WARNING: unsupported intrinsic llvm.fmuladd.f64

Thanks and Regards,

Mukta

[Vitaly Chipounov]

Hi,

There is a chance that the binaries you build on the host don't run in the guest if the host and the guest are too different (different libraries, etc.). If they run, test cases should normally be fine.

Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/6cbeb7d6-f6f5-4dc0-b5ae-0dd9160356ccn%40googlegroups.com.

[Mukta Debnath]

Hello Vitaly Sir,

I am trying to build S2E image "ubuntu-22.04-x86_64" on my Ubuntu 22.04 system. However I find the following error screen. I tried many solution from the internet like following commands:

sudo chmod +r /boot/vmlinuz*

sudo usermod -a -G docker $(whoami)

sudo usermod -a -G kvm $(whoami)

sudo chmod 666 /var/run/docker.sock

However the error still persist both for  "ubuntu-22.04-x86_64"  and  "debian-11.3-x86_64".

Thanks and Regards,

Mukta

[Vitaly Chipounov]

Hi,

Did you log out/log in again after running usermod commands?

Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/238f4ba4-c3a5-4122-97d1-af2c05549329n%40googlegroups.com.

[Mukta Debnath]

Yes. After this I get the following consecutive errors by running the command "s2e image_build -g -n ubuntu-22.04-x86_64"

Please help.

Thanks and Regards,

Mukta

[Vitaly Chipounov]

Hi,

Please record the entire output of the build and attach it.

Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/1de39c28-29fe-4c55-afff-2f6ec50f7e93n%40googlegroups.com.