この記事は「C++のカレンダー | Advent Calendar 2021 - Qiita」の9日目です。 Infer とは Infer は Facebook 社改め Meta 社が作った静的解析ツールです。 今回は C++ Advent Calendar ということで C++ の静的解析ツールとして紹介しますが、Infer 自体は OCaml で書かれています。 また、C++ の他に Java/C/Objective-C の解析も可能です。 C++ の静的解析ツールというと Cppcheck や Coverity 、コンパイラ付属のものがあったりします。筆者はこれまでこれらのツールを使ってきました。 Infer は 2015 年にOSS化して公開されたのですが、ずっと使ってみたいと思いつつ機会がありませんでした。 今回こうして記事にしているのは、仕事で必要になったからとか趣味でやる気に