Dan, Totally didn't find that. Good to know it has been done though. I think it'd be helpful to put some sort of link or reference to that on the install page. Also, the main page when I google is the github.io one, is that correct? Should it be docker?
Unfortunately I am completely new to symbolic execution and KLEE/LLVM, so I'm not sure I can be too much help. I've certainly worked with Ubuntu enough that I might be able to generate a deb installer. I'll give it a go later. I have a n00b question. Can I use KLEE to symbolically execute something that is black box and I don't have the source for? I didn't see a direct way to do it, so I've been playing around with somehow using MCSema or BAP to first translate the binary into LLVM-IR, then somehow add in whatever commands need to be to designate certain inputs as symbolic. Would that work? Is there a better way? Thanks! Owl On Mon, Aug 17, 2015 at 12:19 PM, Dan Liew <d...@su-root.co.uk> wrote: > Hi, > > On 16 August 2015 at 11:02, Owl owl <whootandah...@gmail.com> wrote: > > Hey, > > > > Wanted to give people a heads up that I've started a project to simplify > the > > install process for KLEE. > > > > https://github.com/Owlz/EasyKLEE > > > > At the moment, I've only gotten support for Ubuntu 15.04 x64, but am > > planning on adding other versions too. It builds out KLEE 3.4 with LLVM > 3.4 > > and associated dependencies. On my VM at home, this takes about 10-15 > > minutes to complete the install. > > Thanks for having a go at this however others have done this in the > past (e.g. [1]) so that isn't really where effort needs to be spent > (also scripts for building KLEE are already in the git repository > which are used for TravisCI and for building the Docker image). > > What really needs doing is > > * Documenting using our Docker image [2][3]. Using the docker image is > much more convenient and reliable than using shell scripts. > * Building a KLEE Ubuntu package. This is on my TODO list but it is > quite involved because we need to make STP and Cryptominisat4 packages > too. > > > [1] http://mailman.ic.ac.uk/pipermail/klee-dev/2014-October/000852.html > [2] https://hub.docker.com/r/klee/klee/ > [3] http://mailman.ic.ac.uk/pipermail/klee-dev/2015-April/001036.html >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev