Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
static analysis tool
|
| gptkbp:analyzes |
gptkb:Java
gptkb:Objective-C gptkb:C# gptkb:C++ C |
| gptkbp:category |
static code analysis
|
| gptkbp:detects |
memory leaks
race conditions concurrency bugs null pointer exceptions resource leaks |
| gptkbp:developedBy |
gptkb:Facebook
|
| gptkbp:documentation |
https://fbinfer.com/docs/getting-started/
|
| gptkbp:firstReleased |
2015
|
| https://www.w3.org/2000/01/rdf-schema#label |
Infer static analyzer
|
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:openSource |
true
|
| gptkbp:repository |
https://github.com/facebook/infer
|
| gptkbp:supports |
gptkb:macOS
gptkb:Linux |
| gptkbp:usedBy |
gptkb:Facebook
gptkb:Spotify gptkb:Uber |
| gptkbp:website |
https://fbinfer.com/
|
| gptkbp:writtenBy |
gptkb:OCaml
|
| gptkbp:bfsParent |
gptkb:Peter_O'Hearn
|
| gptkbp:bfsLayer |
6
|