2 ms·You may be interested in systems like KLEE http://klee.llvm.org/ http://klee.llvm.org/by cgrand-net 14y agoYou may be interested in systems like KLEE http://klee.llvm.org/ http://klee.llvm.org/