meltdownの原理ってすごい単純だから
脆弱性があるかどうか調べるプログラムって簡単に作れそうなんだが