0
I Use This!
Low Activity
Analyzed about 13 hours ago. based on code collected 1 day ago.

Project Summary

Klever is a software verification framework that aims at automated checking of programs developed in the GNU C programming language against a variety of requirements using software model checkers (automatic software verification tools) implementing such methods of thorough static analysis as Bounded Model Checking and Counterexample-Guided Abstraction Refinement. Software model checking allows finding faults that can be hardly detected by other software quality assurance techniques like code review, testing and static analysis. In addition, it is capable to prove formal correctness of programs checked against particular requirements under certain assumptions.

Tags

c formal_methods formalmethods model_checking modelchecking software_verification specification static_analysis verification

Apache License, Version 2.0
Permitted
Forbidden
Required

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

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    data presented on the Open Hub is available through our API
About Project Security

Languages

JavaScript
48%
Python
21%
XML
12%
5 Other
19%

30 Day Summary

Feb 26 2024 — Mar 27 2024

12 Month Summary

Mar 27 2023 — Mar 27 2024
  • 33 Commits
    Down -209 (86%) from previous 12 months
  • 7 Contributors
    Up + 5 (250%) from previous 12 months