I am successfully running klee on ubuntu 14.04 64 bit, which is debian based. If you follow the guide here: http://blog.opensecurityresearch.com/2014/07/klee-on-ubuntu-1404-lts-64bit.html It may help you. FYI many things may not be detected during a configure step. Thats ok. The important thing is to determine if it completed successfully. after configure step run: echo $? if its 0 it was successful, if not it had errors
On Wed, Apr 8, 2015 at 8:53 PM, Donald Raikes <[email protected]> wrote: > Hello, > > I am trying to get klee installed on debian 7.8 64-bit. > I successfully installed llvm 3.4, stp, and have compiled kle-uClibc. > > After checking klee out from the git repository, I try configuring it, > nad get the following errors: > > sys/acl.h not found > selinux/selinux.h not found > malloc/malloc.h not found > > Any ideas why this would be happening? > > Thanks in advance, > Donald > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
