[klee-dev] EasyKLEE

[Owl owl]

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 <dan at su-root.co.uk> wrote:

> Hi,
>
> On 16 August 2015 at 11:02, Owl owl <whootandahalf at 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
>
-------------- next part --------------
HTML attachment scrubbed and removed