Coverity Scan: CVC4/CVC4
| Project Name | CVC4/CVC4 |
|---|---|
| Lines of code analyzed | 555,808 |
| On Coverity Scan since | Feb 12, 2014 |
| Last build analyzed | a while ago |
| Language | C/C++ |
| Repository URL | https://github.com/CVC4/CVC4.git |
| Homepage URL | https://github.com/CVC4/CVC4 |
| License | BSD3Clause (BSD 3-Clause "New" or "Revised" License ) |
Preview - Project Summary
Want to view defects or help fix defects?
Add me to projectAnalysis Metrics
Version: cvc4-2021-05-24
- May 24, 2021
- Last Analyzed
- 555,808
- Lines of Code Analyzed
- 503,824
- Lines of Code in Selected Components
- 0.26
- Defect Density
Defect changes since previous build dated May 17, 2021
- 6
- Newly detected
- 3
- Eliminated
Defects by status for current build
- 1,455
- Total defects
- 133
- Outstanding
- 1,305
- Fixed
See how defect density for 'CVC4/CVC4' compares with defect density for other open source projects. Learn more
Note: Defect density is measured by the number of defects per 1,000 lines of code.
Analysis Metrics per Components
| Component Name | Pattern | Ignore | Line of Code | Defect density |
|---|---|---|---|---|
| LFSC | /proof/.* | No | 0 | N/A |
| CVC4 | /src/.* | No | 139,699 | 0.06 |
| Third-party libraries | /deps/src/* | Yes | 51,984 | N/A |
| Other | .* | No | 365,183 | 0.15 |
CWE Top 25 defects
No top 25 CWE defects were found.
Loading...
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.
