Re: [klee-dev] Symbolic information

Hallo, We can discuss if you want. Just send me email. Actually I dont know really much about KLEE, but I ever try to use KLEE to test c program. I think we can share each other. Regards, Lina On Tue, Nov 20, 2018 at 4:02 PM Thijs van Opstal < thijs_van_ops...@hotmail.com> wrote: > Dear, > >

[klee-dev] Having Low Coverage in C Program Using KLEE.

13 Any body have suggestion for me how to increase the coverage ? Thank you for attention. Best regard, Norlina Pasaribu ___ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[klee-dev] GCov in KLEE

Hello all I would like to try to test the space c program using gCov in KLEE. I tried the tutorial in KLEE from this site http://klee.github.io/tutorials/testing-coreutils/ and for this step, I find this result klee@a6bf3640ea87:~$ ls *klee-last* *klee-out-1* *klee_build* *obj-gcov*

[klee-dev] Built Program Using Gcov in KLEE

Hello all, I tried an experiment to see the c program coverage using KLEE then I am trying this tutorial from KLEE website http://klee.github.io/tutorials/testing-coreutils/ but on my first step I get mkdir obj-gcov klee@5e6fa64c2eb8:~$ cd obj-gcov klee@5e6fa64c2eb8:~/obj-gcov$ ../configure

Re: [klee-dev] KLEE coverage

time different being 3600 and we got 56.000 test cases then run the test case and having coverage same with 1600 test cases. I hope, I can get information 1600 test cases having same coverage with 56.000 test cases. Thank you for attention On Mon, Jun 25, 2018 at 9:14 AM, Norlina Pasaribu < no

[klee-dev] KLEE coverage

Hallo all, Some papers tell that KLEE having good coverage, but I am still confuce about my implementation for Space program C from http://sir.unl.edu/, because I just only find 9% branch coverage for that program. Any one would tell me How KLEE run test case ? thank you. Here is the result of

Re: [klee-dev] Space program in KLEE

not found ITs-iMac-7:Test Space itdel$ On Mon, Feb 12, 2018 at 10:12 AM, Norlina Pasaribu < norli...@xlfutureleaders.com> wrote: > Hello, > > I am so really thankful having chance to get KLEE contact. My name is > Norlina Pasaribu from Institut Teknologi Del, Indonesia. Now,

[klee-dev] Space program in KLEE Using concolic method

Hello, I am so really thankful having chance to get KLEE contact. My name is Norlina Pasaribu from Institut Teknologi Del, Indonesia. Now, I am in my last year of my bachelor and getting a thesis about testing program. If you don't mind, let me to tell you a little about my project. We