0
I Use This!
Inactive
Analyzed about 11 hours ago. based on code collected 1 day 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...

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

Languages

Languages?height=75&width=75
OCaml
70%
XML
15%
TeX/LaTeX
12%
4 Other
3%

30 Day Summary

Feb 2 2021 — Mar 4 2021

12 Month Summary

Mar 4 2020 — Mar 4 2021