{"name":"klee","summary":"Symbolic virtual machine built on top of LLVM","description":"KLEE is a symbolic virtual machine built on top of the LLVM compiler\ninfrastructure. Currently, there are two primary components:\n\n1. The core symbolic virtual machine engine; this is responsible for\n   executing LLVM bitcode modules with support for symbolic values. This\n   is comprised of the code in lib/.\n\n2. A POSIX/Linux emulation layer oriented towards supporting uClibc, with\n   additional support for making parts of the operating system environment\n   symbolic.\n\nAdditionally, there is a simple library for replaying computed inputs on\nnative code (for closed programs). There is also a more complicated\ninfrastructure for replaying the inputs generated for the POSIX/Linux\nemulation layer, which handles running native programs in an environment\nthat matches a computed test input, including setting up files, pipes,\nenvironment variables, and passing command line arguments.","homepage_url":"https://klee.github.io","license":"NCSA","attribute_paths":["klee"],"releases":[{"version":"3.1","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"klee","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/qii886mkg0s0g9k2dlg1shs6x6xbfdba-klee-3.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.0","last_updated":"2024-04-06T07:33:28Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"klee","commit_hash":"fe4295b9ecd88764c1abf6179e03b1a828ca0e9a","date":"2024-04-06T07:33:28Z","outputs":[{"name":"out","path":"/nix/store/mf715k7yc8zkjvnb5hykw4wf4czs6mr9-klee-3.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3","last_updated":"2023-06-18T07:20:12Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"klee","commit_hash":"4d887ae7666a6ffb79e1767d8fd417daf9e4220f","date":"2023-06-18T07:20:12Z","outputs":[{"name":"out","path":"/nix/store/k6ihrdxv1bcamgm4azzy6ssc2fqaq1cd-klee-2.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.2","last_updated":"2022-07-03T11:24:00Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"klee","commit_hash":"d63774ae64431366be4d1f2aede50e52204c7d6c","date":"2022-07-03T11:24:00Z","outputs":[{"name":"out","path":"/nix/store/k6kh34z4lzyzci5kp8d728mdppnj93yk-klee-2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}