Coverity Scan: CVC4/CVC4

Project Name CVC4/CVC4
Lines of code analyzed 555,808
On Coverity Scan since Feb 12, 2014
Last build analyzed 6 months 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 )

Want to view defects or help fix defects?

 Add me to project

Analysis 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...

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.

Would you like to view the project defects, or help improve its quality by fixing defects?

 Add me to project