0
I Use This!
Moderate Activity
Analyzed about 9 hours ago. based on code collected about 9 hours ago.

Project Summary

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.

Tags

No tags have been added

Badges

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
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    learn about Open Hub updates and features on the Open Hub blog
About Project Security

30 Day Summary

Oct 27 2021 — Nov 26 2021

12 Month Summary

Nov 26 2020 — Nov 26 2021
  • 479 Commits
    Up + 55 (12%) from previous 12 months
  • 6 Contributors
    Down -3 (33%) from previous 12 months

Ratings

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