# 5.3.3 KLEE

- [参考资料](#参考资料)

## 参考资料
- [KLEE LLVM Execution Engine](http://klee.github.io/)