I wrote an eBPF verifier for a microcontroller. Then the Linux kernel explained where I was wrong

The author of the article decided to complicate the task of creating a standard ESP32-based thermostat by implementing an eBPF interpreter on the microcontroller. This allowed for updating device control logic over Wi-Fi using C programs compiled for the BPF architecture. During development, the author had to write a custom bytecode verifier to ensure safe code execution on the device. By comparing the results of their verifier with the official Linux kernel tool, the author discovered discrepancies in the safety assessment of ten test programs. The article details four cases where the author's verification logic differed from that of the Linux kernel, leading to a deep analysis of eBPF safety rules and limitations. This project demonstrates the potential of porting complex system technologies to resource-constrained hardware platforms and highlights the importance of strictly adhering to code verification standards.