Skip to content
Snippets Groups Projects
Carlos Galindo's avatar
Carlos Galindo authored
* Migrated `NodeType`s to specific `GraphNode` child classes.
* Revamped creation of SDG
* Added ASDG and PSDG, based on the APDG and PPDG.
* Improved handling of variable usages, definitions and declarations.
* Added movable variable actions, that can be placed in a CFG node and
  then relocated to their own PDG node.
* Added fix-point and specific slicing algorithm to summary arc
  generation.
* Documentation of most methods (public and private).
* Removed unused elements.
* Fix possible errors by migrating all maps whose key is an AST node
  to IdentityHashMap.
6809040f
History
Name Last commit Last update