Features:
-
side-effect analysis
various levels of heap abstraction
with escape analyses to filter results -
reaching-definition analysis (with definitions to heaps under consideration)
-
procedure depdence graph construction
-
system dependence graph construction
with various levels of implicit parameter abstraction
can restrict the analysis depth of library methods -
intra-procedural slcing
-
inter-procedural slicing
-
bar diagram based global slice view
-
slice highlighting in editor view
-
show various graphs with dot (or jgraph)