Coverity Scan: SRI-CSL/yices2

Project Name SRI-CSL/yices2
Lines of code analyzed 213,475
On Coverity Scan since May 22, 2017
Last build analyzed a while ago
   
Language C/C++
Repository URL https://github.com/SRI-CSL/yices2.git
Homepage URL https://github.com/SRI-CSL/yices2
License GPL (GNU General Public License version )

Want to view defects or help fix defects?

 Add me to project

Analysis Metrics

Version: 2.6.0

Jul 30, 2019
Last Analyzed
213,475
Lines of Code Analyzed
213,086
Lines of Code in Selected Components
0.01
Defect Density

Defect changes since previous build dated Jul 30, 2019

0
Newly detected
6
Eliminated

Defects by status for current build

192
Total defects
2
Outstanding
19
Fixed
See how defect density for 'SRI-CSL/yices2' 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
gperf-input /src/frontend/*/*\.txt Yes 389 N/A
Other .* No 212,975 0.00

CWE Top 25 defects

ID CWE-Name Number of Defects
190 Integer Overflow or Wraparound 1
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