- Jun 02, 2022
-
-
Carlos Galindo authored
Included javaparser-symbolsolver as module to solve bug with generic arrays resolution.
-
- Jan 11, 2022
-
-
Carlos Galindo authored
ObjectTree: make fields into arrays of Strings. - The previous approach used a single string, with fields separated by dots. - The inclusion of packages in class names thwarts the previous approach.
-
- Dec 30, 2021
-
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
- Jul 28, 2021
-
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
- Jul 13, 2021
-
-
Carlos Galindo authored
* Simple enums, with empty constructors. * Initializations are not handled. Assumptions: there are no circular dependencies in initialization of static variables and enums are immutable.
-
- Jul 12, 2021
-
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
- Jul 01, 2021
-
-
Carlos Galindo authored
-
- May 18, 2021
-
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
* Summary arcs are generated correctly for actual-out with multiple actions. * Properly detect optional actions. * Fix type insertion at incorrect level in object trees. * Constructors may throw exceptions. * Dynamic initializers are marked as implicit. * The LHS of an operation assignment is included in the ExpressionObjectTreeFinder (e.g. `a += 10`). * Admit calls from dynamic initializers. * Removed unused utility methods.
-
- May 12, 2021
-
-
Carlos Galindo authored
-
- May 07, 2021
-
-
Carlos Galindo authored
-
- May 06, 2021
-
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
ExpressionObjectTreeFinder will now locate the correct VA, by searching for the matching call or expression.
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
Slicing criterion can include a variable. Multiple criteria can be included for a single file.
-
Carlos Galindo authored
-
- May 05, 2021
-
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
Add polymorphic calls See merge request !61
-
Carlos Galindo authored
* Call targets are computed based on static types (same as variable action's dynamic types). * Usage and definition finders now deal with accumulating information in the same variable action ('-arg-in-' or '-scope-in-'). That variable action is created in the VariableVisitor, and the transference is prepared at the end of the finder, instead of with each handleActualAction. * ObjectTree: pattern now accepts any variable, including fake patterns like ('-root-' or '-arg-in-') * Tests updated
-
Carlos Galindo authored
# Conflicts: # sdg-core/src/main/java/es/upv/mist/slicing/nodes/VariableAction.java
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
* Some searches in object trees may return multiple nodes (e.g. "var.A.x" and "var.B.x" for "var.x") * Only leaves in object trees can be the target of summary arcs. * Polymorphic nodes aren't interconnected with data dependencies. * ClassGraph's map now split into kinds of vertex. * ClassGraph's vertex now generic. * Polymorphic member nodes cannot be leaves in object trees.
-
- Apr 29, 2021
-
-
Carlos Galindo authored
Dynamic types are computed from the descendants of the static type, without further analysis.
-
- Mar 22, 2021
-
-
Carlos Galindo authored
Update JavaParser and remove bug workaround. Closes #60 See merge request !59
-
Carlos Galindo authored
-
- Mar 17, 2021
-
-
Carlos Galindo authored
Object flow and trees See merge request !58
-
Carlos Galindo authored
* Some assertions changed to Illegal{State,Argument}Exception.
-
- Mar 12, 2021
-
-
Carlos Galindo authored
* Unified both summary arc analyzers * Deleted unused code. * Converted checks into assertions * Removed some bad patterns, including a possible bug in BinaryExpr handling.
-