[klee-dev] KLEE development status

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>