Statements (77)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
static code analysis tool
|
| gptkbp:acquiredBy |
gptkb:Synopsys
|
| gptkbp:acquisitionYear |
2014
|
| gptkbp:detects |
security vulnerabilities
buffer overflows code quality issues dead code memory leaks resource leaks API misuse concurrency issues null pointer dereferences uninitialized variables |
| gptkbp:developedBy |
gptkb:Synopsys
|
| gptkbp:firstReleased |
2003
|
| gptkbp:formerName |
gptkb:Coverity
|
| https://www.w3.org/2000/01/rdf-schema#label |
Synopsys Coverity
|
| gptkbp:integratesWith |
gptkb:GitHub
gptkb:Eclipse gptkb:IntelliJ_IDEA gptkb:Bitbucket gptkb:GitLab gptkb:Visual_Studio gptkb:Jenkins gptkb:Azure_DevOps |
| gptkbp:license |
proprietary
|
| gptkbp:provides |
issue tracking
remediation guidance compliance support integration with CI/CD pipelines detailed reporting metrics and dashboards cloud and on-premises deployment options customizable analysis scalable analysis for large codebases |
| gptkbp:supportsLanguage |
gptkb:COBOL
gptkb:HTML gptkb:Java gptkb:JavaScript gptkb:Objective-C gptkb:Perl gptkb:Python gptkb:Ruby gptkb:Shell gptkb:Ada gptkb:Fortran gptkb:Swift gptkb:TypeScript gptkb:VHDL gptkb:Verilog gptkb:Go gptkb:C# gptkb:C++ gptkb:Kotlin gptkb:MATLAB gptkb:Rust gptkb:Scala gptkb:JavaServer_Pages gptkb:VB.NET gptkb:ASP.NET C XML PHP SQL |
| gptkbp:usedBy |
aerospace industry
automotive industry medical device industry enterprises government organizations financial services industry open source projects |
| gptkbp:usedFor |
code quality analysis
detecting software defects static application security testing |
| gptkbp:website |
https://www.synopsys.com/software-integrity/security-testing/static-analysis-sast.html
|
| gptkbp:bfsParent |
gptkb:SARIF
|
| gptkbp:bfsLayer |
7
|