動的解析ツール
プログラムを実行しながら様々な検証を行うことができるツール．