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
|