Kernel instrumentation and compilation
26 views
Skip to first unread message
Eric Mugnier
Sep 27, 2021, 8:56:46 PM9/27/21
to S2E Developer Forum
Hi,
I am trying to instrument the Linux kernel and I am not sure of the method to compile it in order to symbolically execute it after.
I modified the kernel in `source/s2e-linux-kernel/linux-4.9.3` by adding some `make_symbolic` instructions and I want to compile it and use it in my projects. What is the method to do that?
I saw the docker scripts in the guest-images repository but I am not sure how to use that to create an image that I could refer to later with `s2e new_project -i ...`.
It don't really understand how to compile my modified version of the kernel (https://github.com/S2E/s2e-linux-kernel) and integrate that with s2e-env.
I am trying to instrument the Linux kernel and I am not sure of the method to compile it in order to symbolically execute it after.
I modified the kernel in `source/s2e-linux-kernel/linux-4.9.3` by adding some `make_symbolic` instructions and I want to compile it and use it in my projects. What is the method to do that?
I saw the docker scripts in the guest-images repository but I am not sure how to use that to create an image that I could refer to later with `s2e new_project -i ...`.
It don't really understand how to compile my modified version of the kernel (https://github.com/S2E/s2e-linux-kernel) and integrate that with s2e-env.
Thank you for your help,
Eric
Reply all
Reply to author
Forward
0 new messages