Added support for "callpath sensitive" backward slicing.
authorEmily Jacobson <jacobson@gouda.cs.wisc.edu>
Tue, 19 Oct 2010 16:51:18 +0000 (11:51 -0500)
committerEmily Jacobson <jacobson@gouda.cs.wisc.edu>
Tue, 19 Oct 2010 16:51:18 +0000 (11:51 -0500)
commit88781e559312024ba8cae0df7c1f5574629adefa
tree04c7d981594873ca1f3e6e2ec293031fbee75b01
parent7c8f05514d6d8a16cd1502c793220875da3dda11
Added support for "callpath sensitive" backward slicing.

Various backward slicing bug fixes.

Added 2 new EdgePredicates: Interproc and SingleContextOrInterproc.
dataflowAPI/h/slicing.h
dataflowAPI/src/slicing.C
parseAPI/h/CFG.h
parseAPI/src/Block.C