klee 2.2
Symbolic virtual machine built on top of LLVM
Linux
last changed
Pin this version
$ devbox add klee@2.2
$ nix shell github:NixOS/nixpkgs/d63774ae64431366be4d1f2aede50e52204c7d6c#klee
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
klee |
d63774ae6443 | out/nix/store/k6kh34z4lzyzci5kp8d728mdppnj93yk-klee-2.2 |