syzkaller/syzbot は、2 年で 1500 件以上の Linux カーネルの不具合修正に貢献しています。自らが生成した複数の仮想マシンに対して問題の起きそうな入力を送り続けることで未発見の不具合を発見します。最小限の入力で不具合を再現させるための再試行を繰り返し、最終的には不具合を再現するための C 言語のプログラム生成を試みます。
syzkaller の概要
syzkaller のドキュメント調査結果
syzkaller のソースコード調査結果
syzkaller の動作確認結果 (未発見の不具合の発見)