Re: ARM Support for S2E
31 views
Skip to first unread message
Vitaly Chipounov
Nov 19, 2021, 10:15:32 AM11/19/21
to Siddharth Das, Vitaly Chipounov, s2e-dev
Hi,
I know someone is working on it, but it's been a long time, I don't
know what the status is.
https://github.com/weizhou-chaojixx/libcpu
Vitaly
On Fri, Nov 19, 2021 at 3:55 PM Siddharth Das
<siddharth.d...@gmail.com> wrote:
>
> Hello,
>
> I wanted to ask what the current status of ARM support for S2E is. The most recent stuff I've found was an original github issue from 2019, and some mentions in the google group.
>
> Thank you so much.
>
> Regards,
> Siddharth
I know someone is working on it, but it's been a long time, I don't
know what the status is.
https://github.com/weizhou-chaojixx/libcpu
Vitaly
On Fri, Nov 19, 2021 at 3:55 PM Siddharth Das
<siddharth.d...@gmail.com> wrote:
>
> Hello,
>
> I wanted to ask what the current status of ARM support for S2E is. The most recent stuff I've found was an original github issue from 2019, and some mentions in the google group.
>
> Thank you so much.
>
> Regards,
> Siddharth
Vitaly Chipounov
Nov 19, 2021, 12:24:37 PM11/19/21
to Siddharth Das, Vitaly Chipounov, s2e-dev
Hi,
On Fri, Nov 19, 2021 at 5:39 PM Siddharth Das
<siddharth.d...@gmail.com> wrote:
>
> I'll follow up with weizhou then. If I tried downgrading to S2E 1.3 to utilize the ARM support, would that still be functional?
>
You can use S2E 1.3 but we don't support it anymore. Also ARM support
there was always experimental.
Vitaly
> Regards,
> Siddharth
On Fri, Nov 19, 2021 at 5:39 PM Siddharth Das
<siddharth.d...@gmail.com> wrote:
>
> I'll follow up with weizhou then. If I tried downgrading to S2E 1.3 to utilize the ARM support, would that still be functional?
>
You can use S2E 1.3 but we don't support it anymore. Also ARM support
there was always experimental.
Vitaly
> Regards,
> Siddharth
Reply all
Reply to author
Forward
0 new messages