ネットワークコンフィグ検証ツールBatfish使ってみた

Janog で話題に挙がっていた Batfish というツールが面白そうなので試したみた。 既に日本語でもいくつか資料があるので、概要についてはこちらの資料をご参照ください。 [Batfish] ネットワーク機器のコンフィグを読み込んでルーティングなどの様々な検証ができるツール「Batfish」の紹介https://qiita.com/advent-calendar/2018/batfishBatfish を簡単に説明すると、コンフィグのみで通信パスの確認や通信可否を検証できるツール。今までに無かった画期的なツールと言える。なぜなら、機器を必要とせずにテストができる。ただ、コンフィグのみからのテストで大丈夫か？という心配もある。。。例えば、OSによってはデフォルトで表示されない設定もあり、その動作までちゃんと加味されているのかまでは分からない。 コンフィグの検証を行うのに、構成を把握してい