eBPFを利用したセキュリティ監視ツール（Falco等）が、従来のカーネルモジュール方式よりも安全とされる理由はどれか。

Verifierがコードを厳格にチェックし、カーネルをパニックさせたりメモリを破壊したりする可能性のあるコードのロードを拒否するため、システムの安定性を損なわずに監視ができる。