s2e-env: add Linux kernel module support

vitalych commented 4 years ago

s2e-env does not support Linux driver targets. Until support is added, use the following workaround:

Create a targetless project s2e new_project -n mydriver -i debian-9.2.1-i386 --no-target --type linux
Modify bootstrap.sh in order to
- fetch the driver from the host and load it
- Create symbolic data and feed it to the driver
- Kill paths when needed

Notes:

LinuxMonitor does not detect when kernel modules are loaded/unloaded, which prevents plugins that rely on them to work properly. For example, it is not possible to get code coverage, use Lua annotation, etc.
The S2E engine will still work fine. It is possible to create symbolic data, kill paths, generate test cases, or otherwise use any S2E APIs defined in s2e.h.
You may want to check the systemtap tutorial here: http://s2e.systems/docs/Tutorials/SystemTap/index.html. It has indications on how to build drivers on the host and how to create projects for unsupported targets.

Yingtong-Liu commented 2 years ago

Hi Vitaly, I want to follow up on this enhancement.

Are there any new updates or future plans to support detecting kernel module load/unload in LinuxMonitor?

vitalych commented 2 years ago

No there isn't, but I would be happy to advise whoever decides to add support for that.

Yingtong-Liu commented 2 years ago

Vitaly, thanks for replying. I needed it before but I got a workaround. Yeah, that would be useful if someone can make it work.

S2E / s2e-env