Kvasir Segmentation Fault on the CGC Challenge Binaries

[Jeffrey Chen]

Hello,

I am attempting to run Daikon over CGC Challenge Binaries as found on https://github.com/trailofbits/cb-multios, which are written in C. However, when I try to process the application with the Kvasir front end, the application seg faults for reasons unknown to me.

I am working with Daikon version 5.8.3, cloned and built from the git repo https://github.com/codespecs/daikon. I built both Daikon and Kvasir following exactly the instructions in the README, and was able to successfully run them both over the provided C examples. I also cloned the CGC Challenge Binaries from the previously mentioned cb-multios repo and built them as per the README. However, running Kvasir over any of the built binaries results in the aforementioned segmentation fault.

I am running on Ubuntu version 20.04 and the result of "java --version" is:

openjdk 11.0.7 2020-04-14
OpenJDK Runtime Environment (build 11.0.7+10-post-Ubuntu-3ubuntu1)
OpenJDK 64-Bit Server VM (build 11.0.7+10-post-Ubuntu-3ubuntu1, mixed mode, sharing)

I have also attached a text file with a list of commands I ran to build both Daikon and the CGC Binaries, as well as an image of the error that I received from Kvasir.

Thank you,

Jeffrey Chen

[Michael Ernst]

To anyone else who is interested, the problem is that the binaries are 32-bit binaries.  64-bit machines are the standard, and Kvasir only supports 64-bit binaries.  This is explained at http://plse.cs.washington.edu/daikon/download/doc/daikon.html#Kvasir-limitations.  (But, Kvasir's error message should have been clearer!)

This issue was discussed at https://github.com/codespecs/fjalar/issues/39 which was opened at the same time as this message was sent.

Please either open an issue or send email, but please don't spam both.

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/006f84c5-f05c-46da-bd66-60d120d2c049o%40googlegroups.com.

[Mark Roberts]

The CGC build system defaults to 32-bit binaries.  You can override this option by editing the  CMakeLists.txt file at about line 59 to change "-g3 -m32" to "-m64 -gdwarf-2 -Oo".  You will also need to edit the two LINKER_FLAGS lines (about 5 lines below) to change "-m32" to "-m64 -no-pie".

Mark