Symbolic Execution Engine
Symbolic virtual machine built on top of the LLVM compiler infrastructure.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 2.2-3.fc36 | - |
Fedora 35 | 2.2-1.fc35 | - |
You can contact the maintainers of this package via email at
klee dash maintainers at fedoraproject dot org
.