3
I Use This!
Low Activity
Analyzed about 9 hours ago. based on code collected about 9 hours 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...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

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

30 Day Summary

Sep 1 2025 — Oct 1 2025

12 Month Summary

Oct 1 2024 — Oct 1 2025
  • 30 Commits
    Down -75 (71%) from previous 12 months
  • 6 Contributors
    Down -6 (50%) from previous 12 months