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化して公開されたのですが、ずっと使ってみたいと思いつつ機会がありませんでした。 今回こうして記事にしているのは、仕事で必要になったからとか趣味でやる気に
Separation logic and bi-abduction | Infer
Separation logic Bi-abduction Technical papers Separation logic Separation logic is a novel kind of mathematical logic which facilitates reasoning about mutations to computer memory. It enables scalability by breaking reasoning into chunks corresponding to local operations on memory, and then composing the reasoning chunks together. Separation logic is based on a logical connective \( * \) called
Infer Introduction - ::Eldesh a b = LEFT a | RIGHT b
C言語の静的自動検証器である Infer の使い方がある程度分かってきたので紹介します。 Infer Infer は、C言語(or [C++, Obj-C, Java])の検証器で、 自動で特定の種類のバグを発見してくれます。発見できるバグとして分かり易い例ではリソースリークを発見できます。 元々Inferを開発した会社をFacebookが買収してオープンソースになりました。(https://github.com/facebook/infer) スマートフォン向けアプリの検証に使っているようです。 追記: 勘違いしてましたが C++サポートはこれからのようです。> https://github.com/facebook/infer/issues/24 Separation Logic(分離論理) InferはSeparation logicという意味論に沿って静的検証を実行します。Sepa
Infer Static Analyzer | Infer | Infer
A tool to detect bugs in Java and C/C++/Objective-C code before it shipsInfer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance.
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
ClangFrontend (infer.ClangFrontend)
GitHub - tapaswenipathak/Linux-Kernel-Infer: Linux Kernel Infer research.
Facebookの新言語ALは静的プログラム解析を簡単化する
