0
I Use This!
Inactive
Analyzed about 12 hours ago. based on code collected about 18 hours ago.

Project Summary

ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.

Tags

No tags have been added

In a Nutshell, ManTa...

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
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
About Project Security

Languages

C
73%
HTML
15%
7 Other
12%

30 Day Summary

Oct 7 2024 — Nov 6 2024

12 Month Summary

Nov 6 2023 — Nov 6 2024

Ratings

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