Re: [klee-dev] Testing newest Coreutils

2016-11-24 Thread Andrea Mattavelli 
The new instructions to compile Coreutils with LLVM 3.4 are now available on 
the website: http://klee.github.io/tutorials/testing-coreutils/
Please report any issue!

Best,
Andrea

> On 24 Nov 2016, at 09:12, Thuan Pham  wrote:
> 
> Hi Dan,
> Thank you very much. It works!
> Regards,
> Thuan
> 
> On Thu, Nov 24, 2016 at 4:45 PM, Dan Liew  > wrote:
> On 24 November 2016 at 03:57, Thuan Pham  > wrote:
> > Hi,
> > Has anyone tried to use KLEE to test newest version of Coreutils, say 8.25?
> > I get stuck at the compilation step. Neither KLEE - LLVM2.9 nor KLEE -
> > LLVM3.4 can compile Coreutils successfully.
> >
> > Here is the error message I got when I tried to compile Coreutils with
> > klee-clang wrapper in KLEE - LLVM 3.4
> >
> > make src/make-prime-list
> > make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> >   CCLD src/make-prime-list
> > llvm-link: Unknown command line argument '-fno-common'.  Try:
> > '/usr/lib/llvm-3.4/bin/llvm-link -help'
> > llvm-link: Did you mean '-nvj-count'?
> > llvm-link: Unknown command line argument '-fdiagnostics-show-option'.  Try:
> > '/usr/lib/llvm-3.4/bin/llvm-link -help'
> > llvm-link: Did you mean '-disable-licm-promotion'?
> > llvm-link: Unknown command line argument '-funit-at-a-time'.  Try:
> > '/usr/lib/llvm-3.4/bin/llvm-link -help'
> > llvm-link: Did you mean '-unroll-runtime'?
> > make[1]: *** [src/make-prime-list] Error 1
> > make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> > make: *** [../src/primes.h] Error 2
> >
> > And here is another error message I got with klee-gcc wrapper. This one I
> > may understand the reason since llvm-ld does not exist in LLVM-3.4
> >
> > make src/make-prime-list
> > make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> >   CCLD src/make-prime-list
> > Traceback (most recent call last):
> >   File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 43, in 
> > main()
> >   File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 39, in main
> > os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)
> >   File "/usr/lib/python2.7/os.py", line 344, in execvp
> > _execvpe(file, args)
> >   File "/usr/lib/python2.7/os.py", line 380, in _execvpe
> > func(fullname, *argrest)
> > OSError: [Errno 2] No such file or directory
> > make[1]: *** [src/make-prime-list] Error 1
> > make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> > make: *** [../src/primes.h] Error 2
> >
> > Can someone give me some suggestion to fix this compilation issue?
> > Many thanks,
> > Thuan
> 
> Don't use `klee-gcc`. Just use `wllvm`. There are some "work in
> progress" instructions on how to use
> it to build core utils at
> https://github.com/klee/klee.github.io/pull/58 
>  that will be merged
> fairly soon.
> 
> ___
> klee-dev mailing list
> klee-dev@imperial.ac.uk 
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev 
> 
> 
> ___
> klee-dev mailing list
> klee-dev@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Re: [klee-dev] Testing newest Coreutils

2016-11-24 Thread Thuan Pham 
Hi Dan,
Thank you very much. It works!
Regards,
Thuan

On Thu, Nov 24, 2016 at 4:45 PM, Dan Liew  wrote:

> On 24 November 2016 at 03:57, Thuan Pham  wrote:
> > Hi,
> > Has anyone tried to use KLEE to test newest version of Coreutils, say
> 8.25?
> > I get stuck at the compilation step. Neither KLEE - LLVM2.9 nor KLEE -
> > LLVM3.4 can compile Coreutils successfully.
> >
> > Here is the error message I got when I tried to compile Coreutils with
> > klee-clang wrapper in KLEE - LLVM 3.4
> >
> > make src/make-prime-list
> > make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> >   CCLD src/make-prime-list
> > llvm-link: Unknown command line argument '-fno-common'.  Try:
> > '/usr/lib/llvm-3.4/bin/llvm-link -help'
> > llvm-link: Did you mean '-nvj-count'?
> > llvm-link: Unknown command line argument '-fdiagnostics-show-option'.
> Try:
> > '/usr/lib/llvm-3.4/bin/llvm-link -help'
> > llvm-link: Did you mean '-disable-licm-promotion'?
> > llvm-link: Unknown command line argument '-funit-at-a-time'.  Try:
> > '/usr/lib/llvm-3.4/bin/llvm-link -help'
> > llvm-link: Did you mean '-unroll-runtime'?
> > make[1]: *** [src/make-prime-list] Error 1
> > make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> > make: *** [../src/primes.h] Error 2
> >
> > And here is another error message I got with klee-gcc wrapper. This one I
> > may understand the reason since llvm-ld does not exist in LLVM-3.4
> >
> > make src/make-prime-list
> > make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> >   CCLD src/make-prime-list
> > Traceback (most recent call last):
> >   File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 43, in
> 
> > main()
> >   File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 39, in main
> > os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)
> >   File "/usr/lib/python2.7/os.py", line 344, in execvp
> > _execvpe(file, args)
> >   File "/usr/lib/python2.7/os.py", line 380, in _execvpe
> > func(fullname, *argrest)
> > OSError: [Errno 2] No such file or directory
> > make[1]: *** [src/make-prime-list] Error 1
> > make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> > make: *** [../src/primes.h] Error 2
> >
> > Can someone give me some suggestion to fix this compilation issue?
> > Many thanks,
> > Thuan
>
> Don't use `klee-gcc`. Just use `wllvm`. There are some "work in
> progress" instructions on how to use
> it to build core utils at
> https://github.com/klee/klee.github.io/pull/58 that will be merged
> fairly soon.
>
> ___
> klee-dev mailing list
> klee-dev@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Re: [klee-dev] Testing newest Coreutils

2016-11-24 Thread Dan Liew 
On 24 November 2016 at 03:57, Thuan Pham  wrote:
> Hi,
> Has anyone tried to use KLEE to test newest version of Coreutils, say 8.25?
> I get stuck at the compilation step. Neither KLEE - LLVM2.9 nor KLEE -
> LLVM3.4 can compile Coreutils successfully.
>
> Here is the error message I got when I tried to compile Coreutils with
> klee-clang wrapper in KLEE - LLVM 3.4
>
> make src/make-prime-list
> make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
>   CCLD src/make-prime-list
> llvm-link: Unknown command line argument '-fno-common'.  Try:
> '/usr/lib/llvm-3.4/bin/llvm-link -help'
> llvm-link: Did you mean '-nvj-count'?
> llvm-link: Unknown command line argument '-fdiagnostics-show-option'.  Try:
> '/usr/lib/llvm-3.4/bin/llvm-link -help'
> llvm-link: Did you mean '-disable-licm-promotion'?
> llvm-link: Unknown command line argument '-funit-at-a-time'.  Try:
> '/usr/lib/llvm-3.4/bin/llvm-link -help'
> llvm-link: Did you mean '-unroll-runtime'?
> make[1]: *** [src/make-prime-list] Error 1
> make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> make: *** [../src/primes.h] Error 2
>
> And here is another error message I got with klee-gcc wrapper. This one I
> may understand the reason since llvm-ld does not exist in LLVM-3.4
>
> make src/make-prime-list
> make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
>   CCLD src/make-prime-list
> Traceback (most recent call last):
>   File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 43, in 
> main()
>   File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 39, in main
> os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)
>   File "/usr/lib/python2.7/os.py", line 344, in execvp
> _execvpe(file, args)
>   File "/usr/lib/python2.7/os.py", line 380, in _execvpe
> func(fullname, *argrest)
> OSError: [Errno 2] No such file or directory
> make[1]: *** [src/make-prime-list] Error 1
> make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
> make: *** [../src/primes.h] Error 2
>
> Can someone give me some suggestion to fix this compilation issue?
> Many thanks,
> Thuan

Don't use `klee-gcc`. Just use `wllvm`. There are some "work in
progress" instructions on how to use
it to build core utils at
https://github.com/klee/klee.github.io/pull/58 that will be merged
fairly soon.

___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[klee-dev] Testing newest Coreutils

2016-11-23 Thread Thuan Pham 
Hi,
Has anyone tried to use KLEE to test newest version of Coreutils, say 8.25?
I get stuck at the compilation step. Neither KLEE - LLVM2.9 nor KLEE -
LLVM3.4 can compile Coreutils successfully.

Here is the error message I got when I tried to compile Coreutils with
klee-clang wrapper in KLEE - LLVM 3.4

make src/make-prime-list
make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
  CCLD src/make-prime-list
llvm-link: Unknown command line argument '-fno-common'.  Try:
'/usr/lib/llvm-3.4/bin/llvm-link -help'
llvm-link: Did you mean '-nvj-count'?
llvm-link: Unknown command line argument '-fdiagnostics-show-option'.  Try:
'/usr/lib/llvm-3.4/bin/llvm-link -help'
llvm-link: Did you mean '-disable-licm-promotion'?
llvm-link: Unknown command line argument '-funit-at-a-time'.  Try:
'/usr/lib/llvm-3.4/bin/llvm-link -help'
llvm-link: Did you mean '-unroll-runtime'?
make[1]: *** [src/make-prime-list] Error 1
make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
make: *** [../src/primes.h] Error 2

And here is another error message I got with klee-gcc wrapper. This one I
may understand the reason since llvm-ld does not exist in LLVM-3.4

make src/make-prime-list
make[1]: Entering directory `/home/ubuntu/subjects/coreutils/obj-llvm'
  CCLD src/make-prime-list
Traceback (most recent call last):
  File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 43, in 
main()
  File "/home/ubuntu/KLEE-new/klee/scripts/klee-gcc", line 39, in main
os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)
  File "/usr/lib/python2.7/os.py", line 344, in execvp
_execvpe(file, args)
  File "/usr/lib/python2.7/os.py", line 380, in _execvpe
func(fullname, *argrest)
OSError: [Errno 2] No such file or directory
make[1]: *** [src/make-prime-list] Error 1
make[1]: Leaving directory `/home/ubuntu/subjects/coreutils/obj-llvm'
make: *** [../src/primes.h] Error 2

Can someone give me some suggestion to fix this compilation issue?
Many thanks,
Thuan
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev