3
I Use This!
Activity Not Available
Analyzed 8 months ago. based on code collected about 3 years ago.

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    check out hot projects on the Open Hub
About Project Security

Languages

coq
62%
C++
24%
30 Other
14%

30 Day Summary

Dec 5 2021 — Jan 4 2022

12 Month Summary

Jan 4 2021 — Jan 4 2022
  • 6578 Commits
    Up + 2748 (71%) from previous 12 months
  • 210 Contributors
    Up + 85 (68%) from previous 12 months