Facebook Infer

Logo Tool Logo

Owner External tool owner. The owner must be also one of the partners.

Link to the tool Link to the tool webpage/github (optional)

Contributing partner

Tool description Extended description of the external tool

Facebook Infer is framework providing means for easy development and integration of tailored source code static analysers.
Improvement in VALU3S: improved Looper source code static analyser (performance analysis, support of inter-procedural analysis) and error detection on Read-Copy-Update operations on data structures
Connected Methods: Source Code Static Analysis

Contents

There are currently no items in this folder.