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
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
Folks,
Is there symbolic support for SSE regs? The amd64 ABI specifies that SSE
must be present on those architectures, and i have not been successful in
convincing libc to NOT use SSE enabled versions of it's functions.
Looking for information on either KLEE support for this, or how to force an
s
>
> Dave Lightstone
>
> Sent from my iPad
>
> > On Aug 7, 2017, at 4:00 AM, Owl Owl <whootandah...@gmail.com> wrote:
> >
> > Folks,
> >
> > Is there symbolic support for SSE regs? The amd64 ABI specifies that SSE
> must be present on those architect