|
gptkbp:instanceOf
|
gptkb:static_code_analyzer
|
|
gptkbp:award
|
2018 DevOps Industry Awards finalist
2019 DevOps Industry Awards finalist
|
|
gptkbp:category
|
gptkb:static_analysis_tool
gptkb:security
gptkb:software
|
|
gptkbp:developer
|
Program Verification Systems
|
|
gptkbp:feature
|
cloud support
command line interface
team collaboration tools
false positive suppression
integration with IDEs
static code analysis
detailed reports
HTML/XML/JSON reports
detection of bugs
detection of security vulnerabilities
support for CI/CD
|
|
gptkbp:firstReleased
|
2008
|
|
gptkbp:hasFeature
|
gptkb:OWASP
gptkb:CWE
gptkb:MISRA
gptkb:CERT
SEI CERT C
SEI CERT C#
SEI CERT C++
SEI CERT Java
|
|
gptkbp:license
|
proprietary
|
|
gptkbp:operatingSystem
|
gptkb:Windows
gptkb:macOS
gptkb:Linux
|
|
gptkbp:programmingLanguage
|
gptkb:Java
gptkb:C#
gptkb:C++
C
|
|
gptkbp:supports
|
gptkb:SonarQube
gptkb:GitHub_Actions
gptkb:Eclipse
gptkb:IntelliJ_IDEA
gptkb:CLion
gptkb:Rider
gptkb:TeamCity
gptkb:Travis_CI
gptkb:Visual_Studio
gptkb:Jenkins
gptkb:Azure_DevOps
|
|
gptkbp:usedFor
|
code review
software quality assurance
security analysis
|
|
gptkbp:website
|
https://pvs-studio.com/
|
|
gptkbp:bfsParent
|
gptkb:SARIF
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
PVS-Studio
|