David E. Narváez

制御フロー解析を通じてプログラムの同等性をチェックする新しいツール。