Hi all
Thanks for your timely responses! We can continue at github issue 286
> 在 2020年12月15日,22:42,Cristian Cadar 写道:
>
> In particular, I would suggest to continue at
> https://github.com/klee/klee/issues/286
>
> Cristian
>
>> On 15/12/2020 14:35, Nowack, Martin wrote:
>> Hi,
>> There are
Hi all,
l have some problems
on using klee,need your help .Thanks in advance
My test target is 32bit app.Now I compile llvm and klee in x86_64, then add
-m32 option on compile target object.
For example:
for bc file
clang++ -m32 sample.cpp -c -o sample.bc
for app
clang++ -m32 sample.cpp -o
Hi,
We had the same issue in our tool Symbiotic (
https://github.com/staticafi/symbiotic/) that can use KLEE internally.
This is what we had to do to make it somehow work (apart from compiling the
program with -m32):
1) compile 32-bit libraries (
In particular, I would suggest to continue at
https://github.com/klee/klee/issues/286
Cristian
On 15/12/2020 14:35, Nowack, Martin wrote:
Hi,
There are a couple of missing features.
Can you open an issue https://github.com/klee/klee/issues ? we can
continue the discussion there.
Best,
Hi,
There are a couple of missing features.
Can you open an issue https://github.com/klee/klee/issues ? we can continue the
discussion there.
Best,
Martin
On 15. Dec 2020, at 13:41, JingXiaoni
mailto:jingxia...@icloud.com>> wrote:
Hi all,
l have some problems
on using klee,need your help