Hi Mark, I'm glad to hear you're trying out KLEE at Intel. There is an
ongoing effort trying to upgrade KLEE to work with LLVM 3.4 (led by Dan
Liew and Martin Nowack, who could provide more details), but the changes
are non-trivial for full functionality. We would be of course happy to
get additional help here.
We don't target MinGW, and I'm not too familiar with it -- the core of
KLEE should not be too problematic, but the environment models assume a
POSIX-compliant environment, which might be an issue in MinGW.
Cristian
On 21/02/14 20:22, Mark R. Tuttle wrote:
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 <http://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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
