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

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

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