Properties (55)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Static analysis tool
|
| gptkbp:canBe |
Dead code
Code maintenance Potential bugs |
| gptkbp:communityFeedback |
Function specifications
|
| gptkbp:developedBy |
Ericsson
|
| gptkbp:firstPublished |
2003
|
| gptkbp:hasAmenities |
Online manual
|
| gptkbp:hasFeature |
Incremental analysis
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dialyzer
|
| gptkbp:improves |
Code reliability
|
| gptkbp:isAvailableIn |
GitHub
Linux Windows macOS |
| gptkbp:isBasedOn |
Abstract interpretation
|
| gptkbp:isCompatibleWith |
Erlang_versions
Other_Erlang_tools |
| gptkbp:isConsidered |
A best practice
|
| gptkbp:isIntegratedWith |
Erlang_shell
|
| gptkbp:isKnownFor |
High accuracy
|
| gptkbp:isNear |
A debugger
A performance profiler A runtime tool A type checker |
| gptkbp:isOpenTo |
true
|
| gptkbp:isPartOf |
Software development process
Erlang/OTP Erlang_ecosystem Erlang_tooling |
| gptkbp:isRecognizedFor |
Large projects
|
| gptkbp:isSupportedBy |
Community contributions
|
| gptkbp:isUsedBy |
Improve code quality
Erlang_developers |
| gptkbp:isUsedFor |
Continuous integration
Plugins Command line Static code analysis Regression testing |
| gptkbp:isUsedIn |
Academic research
Production systems |
| gptkbp:language |
Erlang
|
| gptkbp:mayHave |
Third-party libraries
Type information Large codebases Dynamic code Multiple modules Unused functions |
| gptkbp:powerOutput |
Warnings and reports
|
| gptkbp:provides |
Warnings about type errors
|
| gptkbp:publishedIn |
Erlang
|
| gptkbp:purpose |
Finds software discrepancies
|
| gptkbp:supports |
Erlang code
|
| gptkbp:type |
Type analysis tool
|
| gptkbp:uses |
Success typing
|