0
I Use This!
Very High Activity
Analyzed about 3 hours ago. based on code collected about 4 hours ago.

Project Summary

CPAchecker is a tool for configurable software verification.

For more information on the CPAchecker project, please visit the CPAchecker Project Home Page.

Tags

model_checking program_analysis software_verification static_analysis verification

Quick Reference

Apache License 2.0
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Sub-License

Private Use

Use Patent Claims

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

State Changes

Include License

Include Notice

These details are provided for information only. No information here is legal advice and should not be used as such.

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
  • ...
    check out hot projects on the Open Hub
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
About Project Security

Languages

Languages?height=75&width=75
Java
94%
10 Other
6%

30 Day Summary

Jun 30 2021 — Jul 30 2021

12 Month Summary

Jul 30 2020 — Jul 30 2021
  • 1774 Commits
    Down -194 (9%) from previous 12 months
  • 32 Contributors
    Up + 1 (3%) from previous 12 months

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!