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:Factory:ARM/klee && cd $_
- Create Badge
Refresh
Refresh
Source Files
Revision 5 (latest revision is 39)
Dominique Leuenberger (dimstar_suse)
accepted
request 534467
from
Factory Maintainer (factory-maintainer)
(revision 5)
Automatic submission by obs-autosubmit
Comments 0