Facebook Infer

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


There are currently no items in this folder.