I'm a researcher at Intel trying to start a project applying KLEE to BIOS. Is KLEE still under active development?
I see a lot of activity in the klee-dev archives, but KLEE itself seems to require old versions of LLVM and STP, and I wondered what to make of that. Is there support for MinGW? I see the MinGW binaries for llvm and llvm-gcc version 2.9 under llvm.org, and I'm working on STP. Thanks, Mark
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
