Hi Everybody,
I compiled Python with llvm-gcc to generate LLVM bitcode to be run on top
of KLEE. Though python.bc gets generated successfully, KLEE throws a bunch
of warnings during execution. Moreover, there's an LLVM error at the end
that causes KLEE to abort: LVM ERROR: invalid argument to
hey,
KLEE: WARNING ONCE: function PyOS_string_to_double has inline asm
Means that there is asm code used inside the C. This is not supported by
asm, so you will not be able to execute this symbolically.
KLEE: WARNING: undefined reference to function: cos
Means that the function cos is used,
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
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
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
