KLEE Symbolic Virtual Machine

https://github.com/klee/klee

KLEE is a symbolic virtual machine built on LLVM that executes code with support for symbolic...

Tokens:23,773
Snippets:197
Trust Score:8.9
Update:2 months ago
Tokens:
Raw