How can I hook a kernel function

[Yushan]

Hi,

I am new to s2e. I’m currently working on a project involving symbolic execution in the Linux kernel using S2E. My goal is to hook kernel functions, sysctl, or variables in order to inject symbolic execution and observe how the system behaves or makes decisions under symbolic inputs.

Could you please advise on how to achieve this using S2E? Any guidance, documentation, or example references would be greatly appreciated.

Best, 

Yushan