Regarding the issue of creating a project

[Jay Ironman]

Hello, when I was creating the S2E project, I encountered the following error. I completely followed the instructions https://s2e.systems/docs/Howtos/Coverage/index.html#line -Why does it still prompt me that I haven't specified the type even though I have already specified it for the cover for the Linux kernel operation? Is this an S2E bug?

[Vitaly Chipounov]

Hi,

Please try https://github.com/S2E/s2e-env/pull/506

Vitaly

On Sat, Jul 27, 2024 at 10:40 AM Jay Ironman <ironman...@gmail.com> wrote:

Hello, when I was creating the S2E project, I encountered the following error. I completely followed the instructions https://s2e.systems/docs/Howtos/Coverage/index.html#line -Why does it still prompt me that I haven't specified the type even though I have already specified it for the cover for the Linux kernel operation? Is this an S2E bug?

--
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/c29b5186-131c-4a0b-88a7-0268d8dd581dn%40googlegroups.com.

[Jay Ironman]

Hello, I have reviewed your code submission records and have updated the code using the following two methods:
1. Execute the ` s2e update ` command
2. Modify the code in your own way
After trying two different methods, I ran the command '$s2e new_deject - n linux-kernel - i ubuntu-22.04-x86_64-- no target -- type Linux' again but still encountered the same error. Why is this?

[Vitaly Chipounov]

It's a pull request, s2e update only works with master.

Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/83335cae-5229-4356-bd9d-5b1786d5d133n%40googlegroups.com.

[Jay Ironman]

Sorry, I don't quite understand. How can I solve this problem? Or how to apply the code you modified?

[Vitaly Chipounov]

Hi,

You need to checkout the pull request branch into your local copy of s2e-env.

I'll merge the pull request once you confirm it works for you.

Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/97310320-8f81-4950-8366-862635a4bd7dn%40googlegroups.com.

[Jay Ironman]

Okay, I understand. I'll start working on it

[Jay Ironman]

After pulling your modified version for testing, it was found that the issue still exists:

[Vitaly Chipounov]

Did you install the changes? Run "pip install -e ."

By the way, your email client sends two copies of each message, can you please fix that?

Thanks,

Vitaly

To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/c84468d7-9437-43de-aab9-d968401fbf1cn%40googlegroups.com.

[Jay Ironman]

1. Yes, I did forget to execute 'pip install - e.'` Command, sorry. The testing has been completed, the issue has been resolved, and the project can be created normally. You can merge the code now
2. Sorry, because I couldn't see the message when replying to you on Google Forum, I thought I hadn't sent it, so I sent a duplicate message. In the future, I will directly leave a message below so that there won't be a situation of sending it twice again
Thank you very much!