Facebook 改め Meta 社の静的解析ツール Infer を GitHub Actions でかける
この記事は「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化して公開されたのですが、ずっと使ってみたいと思いつつ機会がありませんでした。 今回こうして記事にしているのは、仕事で必要になったからとか趣味でやる気に
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - microsoft/infersharp: Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow
GitHub - tapaswenipathak/Linux-Kernel-Infer: Linux Kernel Infer research.
