Klee
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Slowroll:Base:1/klee && cd $_
- Create Badge
Refresh
Refresh
Source Files
Revision 37 (latest revision is 40)
Ana Guerrero (anag+factory)
accepted
request 1134421
from
Factory Maintainer (factory-maintainer)
(revision 37)
Automatic submission by obs-autosubmit
Comments 0