Backwards slicing

[Ming]

Hi,

I'm wondering if S2E has backwards slicing technique implemented. I'm asking because I am currently trying to find a way to investigate which functions need to be modeled to introduce symbolic variables, which can bump up the code coverage.

Best,

Ming

[Vitaly Chipounov]

Hi Ming,

There is no support for backward slicing currently. In general, you want to model functions that cause path explosion. You can run the fork profiler to identify which program counters fork the most.

Vitaly

--
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/7dd9ce47-456f-4f6a-93ee-7bbdfaeeffb6n%40googlegroups.com.