why it only symbolic the third parameter( the first and the second are fixed) in all paths?

Skip to first unread message


Dec 13, 2020, 1:44:57 AM12/13/20
to s2e...@googlegroups.com
 I use s2e to test grep programe,
the bootstrap.sh is as following:
  S2E_SYM_ARGS="1  2  3" LD_PRELOAD="${S2E_SO}" "${TARGET}" -D 2 $  ./text >/dev/null
but when s2e running out all the paths as 1.06 hours ,  the testcase generator all iputs as following. the first and the second parameter is fiex with  v0_arg1_0=  ***  "-D"  v0_arg1_1 = *** "2" , it only change the third parameter v2_arg3_2= **, why the forst and the second parameter is fixed ?


Vitaly Chipounov

Dec 15, 2020, 4:35:09 AM12/15/20
to s2e...@googlegroups.com, sandwich125

I have no idea. It pretty much depends on the program you are testing.


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/30454cf.b2d.1765ad84581.Coremail.sandwich125%40126.com.
Reply all
Reply to author
0 new messages