RTLFuzzLabを試す (2. RTLFuzzLabの仕組みを学ぶ)

RTLFuzzLabというのはこの間WOSETの論文を読んでいたRTLをファジングするためのツールセットらしい。

以下のスライドを見てみると何となくわかってくる。

https://woset-workshop.github.io/PDFs/2021/a10-slides.pdf

FuzzLabというのはRTLに対してランダム入力を挿入し、そのフィードバックに基づいて次の入力を決める仕組みを持っているらしい。

https://woset-workshop.github.io/PDFs/2021/a10-slides.pdf から抜粋

このフィードバックの方法についていろいろテクニックがありそうだが、あまりここでは言及されていない。