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

Place Warranty

Commercial Use

Modify

Distribute

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.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    compare projects before you chose one to use

Languages

Languages?height=75&width=75
OCaml
72%
XML
15%
TeX/LaTeX
11%
4 Other
2%

30 Day Summary

Jun 21 2018 — Jul 21 2018

12 Month Summary

Jul 21 2017 — Jul 21 2018