Analyzed
1 day
ago.
based on code collected
1 day
ago.
Project Summary
Library for rigorous verification of non-linear arithmetic
In a Nutshell, Kodiak_NASA...
- ...
- ...
- ...
-
...
took an estimated 3 years of effort (COCOMO model)
starting with its first commit in April, 2014
ending with its most recent commit almost 2 years ago
Quick Reference
Organization:
https://github.com/nasa/Kodiak
NASA Open Source Agreement 1.3
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...
-
...
65% of companies leverage OSS to speed application development in 2016
-
...
data presented on the Open Hub is available through our API
-
...
in 2016, 47% of companies did not have formal process in place to track OS code
-
...
anyone with an Open Hub account can update a project's tags
30 Day SummaryApr 3 2024 — May 3 2024
|
12 Month SummaryMay 3 2023 — May 3 2024
|
