Coverity Scan: GaloisInc/HARDENS

Project Name GaloisInc/HARDENS
Lines of code analyzed 77,524
On Coverity Scan since Apr 02, 2024
Last build analyzed 8 months ago
   
Language C/C++
Repository URL https://github.com/GaloisInc/HARDENS.git
Homepage URL https://github.com/GaloisInc/HARDENS
License Apache (Apache License )

Want to view defects or help fix defects?

 Add me to project

Analysis Metrics

Apr 02, 2024
Last Analyzed
77,524
Lines of Code Analyzed
3,511
Lines of Code in Selected Components
5.98
Defect Density

Defect changes since previous build dated Apr 02, 2024

0
Newly detected
0
Eliminated

Defects by status for current build

21
Total defects
21
Outstanding
0
Fixed
See how defect density for 'GaloisInc/HARDENS' 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
source .*/src/.* No 3,511 3.99
verilator .*/src/generated/SystemVerilog/verilator/.* Yes 0 N/A
system libs /usr/.* Yes 74,013 N/A
Other .* No 0 N/A

CWE Top 25 defects

ID CWE-Name Number of Defects
676 Use of Potentially Dangerous Function 5
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