SeaHorn: A fully automated analysis framework for LLVM-based languages. http://seahorn.github.io/ 最近はこんなのあるんだ。 知らなかった……