[klee-dev] Space program in KLEE

[Norlina Pasaribu]

Hallo there,


I just tried Klee I Mac, and I using this command but command not found. is
this command only for linux ? or any suggestion for iMac ? Thank you very
much



ITs-iMac-7:Test Space itdel$ klee -posix-runtime -libc=uclibc -max-time=60
./space.bc A -sym-files 1 10

-bash: klee: command not found

ITs-iMac-7:Test Space itdel$


On Mon, Feb 12, 2018 at 10:12 AM, Norlina Pasaribu <
norlinap at 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, 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 are really proud of you for buliding a KLEE tools for testing. I have
> Space program being the object for the testing. Space is C program contains
> 9000 line codes and I get from http://sir.unl.edu/.
> I found on some paper, that concolic testing is possible to implemented
> using KLEE.
>
> My plan is I would like to generate test-case for Space program using
> concolic testing method in KLEE. Space input is not numerical but Array
> Defenition Language (ADL).
>
> My question is, is that possible KLEE for generating test-case and for
> non-numerical input ?
>
> We really hope we be able to discuss more about it with you. If you dont
> mind, let us to get your respond.
>
> Thank you very much for attention.
>
> Best regards,
>
> Norlina Pasaribu
>
>
>
-------------- next part --------------
HTML attachment scrubbed and removed