S2E installation

116 views
Skip to first unread message

Mukta Debnath

unread,
Mar 4, 2024, 7:15:44 AMMar 4
to S2E Developer Forum
Hi Vitaly Sir,

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

Screenshot from 2024-03-04 17-42-44.png

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

Thanks and Regards,
Mukta Debnath

Vitaly Chipounov

unread,
Mar 4, 2024, 7:20:16 AMMar 4
to s2e...@googlegroups.com
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

unread,
Mar 6, 2024, 11:22:49 AMMar 6
to Mukta Debnath, s2e-dev
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?

Screenshot from 2024-03-06 15-17-43.png

Thanks and Regards,

Mukta

Mukta Debnath

unread,
Mar 7, 2024, 5:54:32 AMMar 7
to S2E Developer Forum
How to enable graphics output for installation? Can you please share.

Vitaly Chipounov

unread,
Mar 7, 2024, 6:08:41 AMMar 7
to s2e...@googlegroups.com
Hi,

Please add the -g flag to s2e image_build.

Vitaly

Mukta Debnath

unread,
Mar 7, 2024, 7:29:39 AMMar 7
to s2e...@googlegroups.com
Hi Vitaly Sir,

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

Screenshot from 2024-03-07 17-46-26.png

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.

Vitaly Chipounov

unread,
Mar 7, 2024, 10:35:11 AMMar 7
to s2e...@googlegroups.com
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


Mukta Debnath

unread,
Mar 8, 2024, 3:52:14 AMMar 8
to s2e...@googlegroups.com
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



Mukta Debnath

unread,
Mar 9, 2024, 5:46:35 AMMar 9
to S2E Developer Forum
Hi,

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

Screenshot from 2024-03-09 15-31-58.png

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

unread,
Mar 9, 2024, 6:18:47 AMMar 9
to s2e...@googlegroups.com
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

Mukta Debnath

unread,
Mar 13, 2024, 7:48:57 AMMar 13
to S2E Developer Forum
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".

Screenshot from 2024-03-13 16-01-52.png

Screenshot from 2024-03-13 16-08-59.png


Thanks and Regards,

Mukta

Vitaly Chipounov

unread,
Mar 13, 2024, 8:17:06 AMMar 13
to s2e...@googlegroups.com
Hi,

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

Vitaly

Mukta Debnath

unread,
Mar 15, 2024, 3:29:04 AMMar 15
to S2E Developer Forum
Yes. After this I get the following consecutive errors by running the command "s2e image_build -g -n ubuntu-22.04-x86_64"

Screenshot from 2024-03-15 12-16-34.png

Screenshot from 2024-03-15 12-55-45.png

Please help.

Thanks and Regards,

Mukta

Vitaly Chipounov

unread,
Mar 15, 2024, 6:30:20 AMMar 15
to s2e...@googlegroups.com
Hi,

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

Vitaly

Reply all
Reply to author
Forward
0 new messages