Performance of Kvasir

[Seyed Ahmad Mansouri]

Hi,

I am trying to use Daikon and Kvasir on a C program. First I tried to follow the instructions in the manual and pipe the output of Kvasir directly to Daikon. However, it took so long (more than 24 hours) that I had to cancel it.

Do we have an estimate on the time it takes to infer the invariants for the bzip2 code in the c-example when use these commands on a typical core i7 processor with 32GB of RAM:

1. kvasir-dtrace  --decls-only ./bzip2 bzip2.c
2. kvasir-dtrace  --no-dyncomp --dtrace-no-decls --dtrace-file=- ./bzip2 bzip2.c  | java -cp $DAIKONDIR/daikon.jar daikon.Daikon daikon-output/bzip2.decls -

Then I tried to produce the trace just for on function (another large c program): First, I dumped the ppt-list file and then I commented all ppts except one. However, when I run Kvasir again to produce the traces, there is "nonce" info for every function calls in the trace file (this time I did not pipe the output to understand why it is slow).

I did the same procedure this time for var-list and it, still, took a long time to produce the trace just for one integer variable.

Am I missing anything? I have attached the original and edited var-list and ppt-list file.

Thanks

Ahmad

[Michael Ernst]

Ahmad-

Have you read the troubleshooting chapter of the manual, in particular the "Daikon runs slowly" section?

I ask because you didn't mention following its advice.

Mike

--
You received this message because you are subscribed to the Google Groups "Daikon discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to daikon-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/daikon-discuss/b5814fe6-b8f9-40e3-8684-1cb0970811a2n%40googlegroups.com.

[Seyed Ahmad Mansouri]

Mike,

Thanks for the quick response.

Yes, I have followed the instructions. I tried reducing the variable list and ppt list. Kvasir is still very slow. For some reason, even when I run kvasir with --variable-list-file=var_trimmed.txt (attached to this mail), in the trace file it dumps every functions' nonce info. Beginning part of the dtrace file is attached too.

Thanks

On Thu, Dec 3, 2020 at 11:17 PM Seyed Ahmad Mansouri <mansou...@gmail.com> wrote:

Mike,

Thanks for the quick response.

Yes, I have followed the instructions. I tried reducing the variable list and ppt list. Kvasir is still very slow. For some reason, even when I run kvasir with --variable-list-file=var_trimmed.txt (attached to this mail), in the trace file it dumps every functions' nonce info. Beginning part of the dtrace file is attached too.

Thanks

To view this discussion on the web visit https://groups.google.com/d/msgid/daikon-discuss/CAAJCdQQ9Ey%3DTBgPO3_MyfirdHo7czbX-y3Yba_pMFCqJA%3DbdcQ%40mail.gmail.com.

--

Seyed Ahmad Mansouri

--

Seyed Ahmad Mansouri