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-boun...@imperial.ac.uk > [mailto:klee-dev-boun...@imperial.ac.uk] On Behalf Of Cadar, Cristian > Sent: Thursday, March 5, 2020 5:36 PM > To: klee-dev <klee-dev@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@01D4B4C0.6BB34BE0 >> >> >> _______________________________________________ >> klee-dev mailing list >> klee-dev@imperial.ac.uk >> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >> > _______________________________________________ > klee-dev mailing list > klee-dev@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev