4 ms·
klee is a similar tool that operates on llvm bytecode: http://klee-se.org/ http://klee-se.org/
by tkz1312 2y ago
klee is a similar tool that operates on llvm bytecode: http://klee-se.org/ http://klee-se.org/
- xvilka 2y agoIt doesn't work on real software though. Anything non-trivial.