Coverity Scan: runtimeverification/k
| Project Name | runtimeverification/k |
|---|---|
| Lines of code analyzed | 304,440 |
| On Coverity Scan since | Dec 05, 2016 |
| Last build analyzed | a while ago |
| Language | Java |
| Secondary Language | C/C++ |
| Repository URL | https://github.com/runtimeverification/k.git |
| Homepage URL | https://github.com/runtimeverification/k |
| License | NCSA (University of Illinois/NCSA Open Source License ) |
Preview - Project Summary
Want to view defects or help fix defects?
Add me to projectAnalysis Metrics
Version: 784893b
- Dec 05, 2016
- Last Analyzed
- 304,440
- Lines of Code Analyzed
- 1.17
- Defect Density
Defects by status for current build
- 360
- Total defects
- 356
- Outstanding
- 0
- Fixed
Note: Defect density is measured by the number of defects per 1,000 lines of code.
CWE Top 25 defects
| ID | CWE-Name | Number of Defects |
|---|---|---|
| 190 | Integer Overflow or Wraparound | 75 |
Loading...
Loading...
Loading...
About Coverity Scan Static Analysis
Find and fix defects in your C/C++, Java, JavaScript or C# open source project for free.
Coverity Scan tests every line of code and potential execution path. The root cause of each defect is clearly explained, making it easy to fix bugs.
