0
I Use This!
Inactive
Analyzed 2 days ago. based on code collected 2 days ago.

Project Summary

coreStar is a highly-customisable automatic generic core symbolic execution
engine for analysis and verification with separation logic.

Tags

No tags have been added

In a Nutshell, coreStar...

BSD 4-clause (University of California-Specific)
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

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

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    compare projects before you chose one to use
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can embed statistics from Open Hub on your site

Languages

OCaml
70%
XML
15%
TeX/LaTeX
12%
4 Other
3%

30 Day Summary

May 30 2022 — Jun 29 2022

12 Month Summary

Jun 29 2021 — Jun 29 2022