確率的並行ファジング

本稿は、自作OS AdC 2019の12/21兼IQ1 AdC 12/24の記事です(ポストが遅れてしまい申し訳ございません)。並行プログラムの実装で問題になる並行バグを対象とする自動検知の手法として、並行ファジングと呼ばれる手法があります[1,2,3,4,5]。本稿では、その…

「分散並行バグ検査の基礎と実装」の付録

技術書典7 す04D バイナリイーターによる新刊「分散並行バグ検査の基礎と実装」のサポートページ(主に以下の内容などを随時公開予定)・本文/サンプルコードの正誤表・サンプルコードのより詳細な説明・動作環境構築手順

「動的バイナリ解析の基礎 with Intel Pin」の付録

技術書典6 え11 バイナリイーターによる「動的バイナリ解析の基礎 with Intel Pin」の付録として「動的バイナリ計装に基づく動的記号実行」を随時掲載予定付録目次A1. 動的バイナリ計装に基づく動的記号実行A1.1. 記号実行 A2.1.1. パス制約 A2.1.2. 記号…

IQ1からの必死のパッチで機械学習×文法ベース入力ファジング

お詫び この記事はちゃっく君のIQ1アドベントカレンダーの21日目の記事です. adventar.org また,当初予定していたkriw君のCTFアドベントカレンダーの24日目の記事の執筆が遅れそうなため,執筆完了までの期間この記事を紹介させて頂きます(24日目の記事が…