[klee-dev] Windows support

[Cadar, Cristian]

I don't see any fundamental reason for the core of KLEE not to work 
under Windows -- this being said, we've never tried it so I suspect 
there will be some engineering effort needed to make it work (or even 
compile).  However, uclibc and the POSIX runtime won't work.

If you give it a try, let us know.

Best,
Cristian

On 05/03/2020 14:43, Mikhail Oskin wrote:
> Thanks for the reply!
> I've seen the page, I'm just interested if there any particular reason for that? Is it worth trying to install it on windows (not in WSL / docker) or it won't work anyway due to some internal incompatibility?
> 
> -----Original Message-----
> From: klee-dev-bounces at imperial.ac.uk [mailto:klee-dev-bounces at imperial.ac.uk] On Behalf Of Cadar, Cristian
> Sent: Thursday, March 5, 2020 5:36 PM
> To: klee-dev <klee-dev at imperial.ac.uk>
> Subject: Re: [klee-dev] Windows support
> 
> Hi Mikhail,
> 
> No, KLEE does not have support for Windows.  Only for Linux and
> (partially) for macOS, see https://klee.github.io/build-llvm60/
> 
> Cristian
> 
> On 05/03/2020 07:38, Mikhail Oskin wrote:
>> Dear KLEE developers,
>>
>> I would like to evaluate KLEE for its feasibility in our research. Is
>> there any significant challenges installing it on windows or just
>> windows setup wasn’t targeted and thoroughly tested?
>>
>> Thanks!
>>
>> ----------------------------------------------------------------------
>> --
>>
>> Best regards,
>>
>> Mikhail Oskin
>>
>> Engineer at Russian Research Institute
>>
>> Huawei Technologies Co., Ltd [Russia]
>>
>> cid:image009.jpg at 01D4B4C0.6BB34BE0
>>
>>
>> _______________________________________________
>> klee-dev mailing list
>> klee-dev at imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>