Measuring Code Coverage with S2E

Skip to first unread message

Mukta Debnath

Dec 9, 2020, 6:22:22 AM12/9/20
to S2E Developer Forum

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 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

Dec 10, 2020, 1:39:08 AM12/10/20
to S2E Developer Forum
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 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

Dec 10, 2020, 6:56:12 AM12/10/20
to s2e-dev

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.


You received this message because you are a member of the S2E Developer Forum.
To post to this group, send email to
To unsubscribe from this group, send email to
For more options, visit this group at

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
To view this discussion on the web visit

Mukta Debnath

Dec 11, 2020, 1:57:49 AM12/11/20
to S2E Developer Forum
Thanks a lot Sir. I compiled the program with debug information and it is working now.
Reply all
Reply to author
0 new messages