Klee:构建在LLVM之上的符号虚拟机

2020-05-24 02:51:29

Klee是构建在LLVM编译器基础设施之上的符号虚拟机,在UIUC开放源码许可下可用。有关Klee是什么以及它能做什么的更多信息,请参阅OSDI2008文章。