https://github.com/mbrt/docker-klee

Docker image for KLEE
https://github.com/mbrt/docker-klee

Last synced: 18 days ago
JSON representation

Docker image for KLEE

• Host: GitHub
• URL: https://github.com/mbrt/docker-klee
• Owner: mbrt
• License: mit
• Created: 2015-05-19T10:43:48.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-06-13T13:37:55.000Z (over 9 years ago)
• Last Synced: 2024-10-16T11:07:24.518Z (2 months ago)
• Homepage: https://registry.hub.docker.com/u/mbrt/klee/
• Size: 188 KB
• Stars: 1
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# docker-klee

Minimal Docker image for [KLEE](http://klee.github.io/) with LLVM 3.4 on Ubuntu Trusty.

## Usage

Run this image from within your workspace. You can than build your test files using `clang -emit-llvm`, and then test it with KLEE commands: `klee`, `ktest-tool`, etc. 

```

cd your/workspace

docker run --rm -tiv `pwd`:/work mbrt/klee

```

## License

Mit. See [LICENSE](https://github.com/mbrt/docker-klee/blob/master/LICENSE) file.