Технология eBPF. Байткод (довольно толстый, 8 байт на инструкцию),
компилятор LLVM/Clang, подтягивается GCC. Интерпретатор и JIT.
Верификатор, способный гарантировать, что код не повиснет и не
полезет в чужую память. Множество наработанных тулзов, так как
технология активно развивается в контексте ядра Linux и не только.