Commits · 582047e09804963c5f7ea9ce8a1c6e0c715614d8 · Program Slicing / SDG · GitLab

Mar 11, 2021
- Removed expired TODO items · 582047e0
  Carlos Galindo authored Mar 11, 2021
  
  582047e0
- Update tests · a185d54e
  Carlos Galindo authored Mar 11, 2021
  
  a185d54e
- Total definition dependence should be skipped for primitive actions · 5be44997
  Carlos Galindo authored Mar 11, 2021
  
  5be44997
- Total definition dependence now allowed for usages of synthetic variables. · 1fe56b03
  Carlos Galindo authored Mar 11, 2021
  
  1fe56b03
- Improved accuracy of isTotallyDefinedMember(String) · 55cb8d0d
  Carlos Galindo authored Mar 11, 2021
  
  55cb8d0d
- Temporarily modify existing return statements in constructors to return 'this'. · ff2dcf4e
  Carlos Galindo authored Mar 11, 2021
  
  ff2dcf4e
- Always insert 'return this;' at the end of constructors. · 26ceed48
  Carlos Galindo authored Mar 11, 2021
  
  26ceed48
- Add interprocedural object arcs between formal/actual-out. · c19c0a41
  Carlos Galindo authored Mar 11, 2021
  c19c0a41
- fix! total definition dependence should not be generated for synthetic variables · edd157c6
  Carlos Galindo authored Mar 11, 2021
  
  edd157c6
- update test cases and remove uncompilable code · efe79da9
  Carlos Galindo authored Mar 11, 2021
  
  efe79da9
- fix! tweaks to totally defined members and assignment discovery · 175dba11
  Carlos Galindo authored Mar 11, 2021
  
  175dba11
Mar 10, 2021
- Add declaration arcs between field declarations and its definitions. · 1c08eb01
  Carlos Galindo authored Mar 10, 2021
  
  1c08eb01
- Add Structural arcs to avoid stopping the traversal when a pseudo-predicate... · fef704d0
  Carlos Galindo authored Mar 10, 2021
  fef704d0
- fix! exclude static fields from ExpressionObjectTreeFinder check · 2bb7bac6
  Carlos Galindo authored Mar 10, 2021
  
  2bb7bac6
- fix! value dependency arc for active exception only when it is separated from its parent node. · d7edd341
  Carlos Galindo authored Mar 10, 2021
  
  d7edd341
- Mark -output- as totally defined every time it is defined. · a1e33e3b
  Carlos Galindo authored Mar 10, 2021
  
  a1e33e3b
- fix! search for root graph node reordered. · e66f4818
  Carlos Galindo authored Mar 10, 2021
  
  e66f4818
- Add value dependencies in tree connections (=, return, throw, etc). · 048fccee
  Carlos Galindo authored Mar 10, 2021
  
  048fccee
- Add value dependency between the active exception definition and its... · c2f7f94d
  Carlos Galindo authored Mar 10, 2021
  c2f7f94d
- Group actions before applying the ExpressionObjectTreeFinder and make grouping... · 5ae5c2ae
  Carlos Galindo authored Mar 10, 2021
  5ae5c2ae
- fix! remove multiple instances of scope-in and arg-in from actual-in nodes. · ab303552
  Carlos Galindo authored Mar 10, 2021
  
  ab303552
- fix! summaries are now generated between actual/formal-in of object type · 2c8293d5
  Carlos Galindo authored Mar 10, 2021
  
  2c8293d5
- fixes for returned value of explicit constructor invocations · 0551948b
  Carlos Galindo authored Mar 10, 2021
  0551948b
- Fixed bug with totally defined detection · 2ef0b2d0
  Carlos Galindo authored Mar 10, 2021
  
  2ef0b2d0
- SummaryArcs are now generated between every child node of actual-outs and actual-ins. · 23586948
  Carlos Galindo authored Mar 10, 2021
  
  23586948
- Generate interprocedural tree links between actual/formal-in · bbc7464e
  Carlos Galindo authored Mar 10, 2021
  
  bbc7464e
- Fix condition in tree connections · 1974789e
  Carlos Galindo authored Mar 10, 2021
  
  1974789e
- Link ObjectTreeConnections with value dependencies when the target is primitive/has no tree. · ffc7d398
  Carlos Galindo authored Mar 10, 2021
  
  ffc7d398
- Better names for root MemberNodes · 24628c1b
  Carlos Galindo authored Mar 10, 2021
  
  24628c1b
- Remove class prefix from this · 9813598b
  Carlos Galindo authored Mar 10, 2021
  
  9813598b
- Deactivate the polymorphic call graph for now. · 4940eccc
  Carlos Galindo authored Mar 10, 2021
  
  4940eccc
- Redesigned VariableAction and ObjectTree · da46f315
  Carlos Galindo authored Mar 10, 2021
  da46f315
- Don't reuse the same CFG to compute PPDG exclusive edges. · c4107366
  Carlos Galindo authored Mar 10, 2021
  
  c4107366
Mar 09, 2021
- Improve OutNodeVariableVisitor · 7860e367
  Carlos Galindo authored Mar 09, 2021
  
  7860e367
- Moved ObjectTree and ObjectTreeConnection to their own files. · 98cf7c78
  Carlos Galindo authored Mar 09, 2021
  
  98cf7c78
Mar 08, 2021
- Typos · f25f0e3c
  Carlos Galindo authored Mar 08, 2021
  
  f25f0e3c
- Better printing of graphs. · 96cdbae9
  Carlos Galindo authored Mar 08, 2021
  
  96cdbae9
- Generate total definition dependencies. · 8bad6135
  Carlos Galindo authored Mar 08, 2021
  
  8bad6135
- Move active exception DEF from CFG builder to VariableVisitor, and connect to expression. · 6ce682af
  Carlos Galindo authored Mar 08, 2021
  
  6ce682af
- reorganized arc colors, added TotalDefinitionDep.Arc · 499da150
  Carlos Galindo authored Mar 08, 2021
  
  499da150