Measuring Code Coverage with S2E

[Mukta Debnath]

Hi Mr. Vitaly,

I am using S2E to test the following program:

I get the following error while trying to measure the coverage:

Where should I keep the program file(.c file)? It seems a.info in the s2e-last folder is not getting the program file.

The vulnerability example given in the documentation is working fine for the coverage info, given below is the screen capture:

I am sharing the project files.

[Mukta Debnath]

Another point, I am using the following command to create the analysis project:

s2e new_project --image debian-9.2.1-x86_64 /home/nano/Documents/workspace/s2eworkspace/a @@ 3 5 6

then I am editing the bootstrap.sh as follows:

S2E_SYM_ARGS="1 2 3" LD_PRELOAD="${S2E_SO}" "${TARGET}" 3 5 6 > /dev/null 2> /dev/null (I want to make 1st, 2nd and 3rd arguments symbolic)

Is this the correct way?

[Vitaly Chipounov]

Hi,

Did you compile your program with debug information? I can't really tell as the binary is not in the zip file. Please use s2e export_project.

Vitaly

--
--
You received this message because you are a member of the S2E Developer Forum.
To post to this group, send email to s2e...@googlegroups.com
To unsubscribe from this group, send email to s2e-dev+u...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/s2e-dev

---
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/17b80e82-734b-4d2c-9807-180d5fb02eb7n%40googlegroups.com.

[Mukta Debnath]

Thanks a lot Sir. I compiled the program with debug information and it is working now.