3
I Use This!
Low Activity
Analyzed about 15 hours ago. based on code collected 2 days ago.

Project Summary

The KLEE symbolic virtual machine.

Tags

No tags have been added

University of Illinois/NCSA Open Source License
Permitted

Commercial Use

Modify

Distribute

Forbidden

Hold Liable

Use Trademarks

Required

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

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    data presented on the Open Hub is available through our API

Languages

C++
69%
C
22%
4 Other
9%

30 Day Summary

May 29 2026 — Jun 28 2026

12 Month Summary

Jun 28 2025 — Jun 28 2026
  • 75 Commits
    Up + 45 (150%) from previous 12 months
  • 7 Contributors
    Up + 1 (16%) from previous 12 months