Can S2E support ARM architecture?

44 views
Skip to first unread message

Jay Ironman

unread,
Dec 26, 2024, 7:54:38 AM12/26/24
to S2E Developer Forum
Can S2E support ARM architecture, such as running S2E on Ubuntu 22.04 with ARM architecture (of course, S2E can run normally on X_86 architecture).

Vitaly Chipounov

unread,
Dec 26, 2024, 8:39:23 AM12/26/24
to s2e-dev
Hi,

No you can't run it on arm hosts because the translator can only generate x86.

Vitaly

On Thu, Dec 26, 2024, 13:54 Jay Ironman <ironman...@gmail.com> wrote:
Can S2E support ARM architecture, such as running S2E on Ubuntu 22.04 with ARM architecture (of course, S2E can run normally on X_86 architecture).

--
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 visit https://groups.google.com/d/msgid/s2e-dev/91e0b2be-0867-49ab-99ab-3b7e1fbbb4f4n%40googlegroups.com.

Jay Ironman

unread,
Dec 26, 2024, 8:48:50 AM12/26/24
to S2E Developer Forum
But I only have a MacBook (M3, ARM architecture) on hand recently. Is there any good way to use S2E?
The method I came up with is to use UTM for translation and run an Ubuntu virtual machine with X_86 architecture, using S2E. However, will this result in significant performance loss?
Is it feasible to use Rosetta to run X_86 binary?
I hope to receive your reply.

Vitaly Chipounov

unread,
Dec 26, 2024, 9:41:27 AM12/26/24
to s2e-dev
No idea, I am not a Mac user. I would have to do some research on this. 

Reply all
Reply to author
Forward
0 new messages