Coverity Scanがいつの間にかGithubとかTravisCIに対応してて便利に使えそうになったので試してみよう、 と半年前に登録したきり放置していたが、ようやく重い腰を挙げて、 簡単なプロジェクト https://github.com/msakai/glpk-maxsat で試してみる。

が、昨晩ビルドを投稿したのが、午前9時現在まだ解析終わってない。 https://scan.coverity.com/projects/msakai-glpk-maxsat

OSS向けの無料解析サーバの負荷が高すぎるのか、それともそもそもここまで時間がかかるものなのか……