> Date: Fri, 20 Jan 2012 11:00:43 +0100 > From: Henning G?nther <[email protected]> > Subject: [klee-dev] strace error when running CDE-package > To: [email protected] > Message-ID: <[email protected]> > Content-Type: text/plain; charset=us-ascii > > Hi, > > Running every .cde binary from the CDE-package results in the following > error message: > > strace: exec: Bad address > > I'm running Debian/Wheezy x86_64. Any ideas? > > Henning
I had problems with CDE as well. I'm running Arch64. I've found CDE is prepared for 32bit systems and mixed 32/64 (multilib). Problem: You try to run 32bit klee on 64bit system. My solution: I've compiled llvm and klee from sources according to documentation. Now klee works fine :). Best, Greg _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
