Extended Berkeley Packet Filter (eBPF) is a powerful Linux kernel technology that enables the safe execution of user-defined programs inside kernel space. To guarantee kernel stability and security, every eBPF program must pass a strict static verification process performed by the eBPF verifier before execution. Although effective, the verifier operates on compiled bytecode and often produces error messages that are difficult for developers to interpret and trace back to the original source code. As a consequence, debugging verifier rejections represents a significant challenge in the eBPF development workflow. This thesis addresses this problem by proposing a source-level static analysis approach aimed at anticipating eBPF verifier errors directly on C code.