554a6e7ee9
In certain cases, one may want to ignore inter-procedural control dependence. Consider the following example: flag = getFlagVal(); if (flag) { doStuff(); } If we are ignoring interprocedural control dependence, a forward slice from the first statement will *not* include statements inside doStuff() and its transitive callees. This option is useful in scenarios where the effects of statements inside control-dependent callees can be accounted for via some cheaper effect analysis. E.g., if you only care about heap effects of control- dependent callees, you can compute that using mod-ref analysis, rather than sucking all the control-dependent callee statements into the slice. Also added some more detailed comments, a new unit test, and removed some trailing whitespace. |
||
---|---|---|
.. | ||
core/tests | ||
demandpa/driver | ||
examples | ||
util/io |