Commits · 9d60757d945bc3434f66008307adaa9f94a96e06 · Program Slicing / SDG · GitLab

May 06, 2021
- Improved printing of slicing criteria (for test names' sake) · 9d60757d
  Carlos Galindo authored May 07, 2021
  
  9d60757d
- Store associated expressions in each VA, to avoid confusion between them · 15575d4a
  Carlos Galindo authored May 06, 2021
  15575d4a
- Identify all terminal variable actions of an expression. · 06f3b65e
  Carlos Galindo authored May 06, 2021
  
  06f3b65e
- Only store tree connections in non-movable VAs. · 75fb0dd8
  Carlos Galindo authored May 06, 2021
  
  75fb0dd8
- PDGConnections: only mark as applied if arcs have been added. · ed1c3404
  Carlos Galindo authored May 06, 2021
  
  ed1c3404
- Tests for polymorphism and extended criteria support · aa31dca9
  Carlos Galindo authored May 06, 2021
  aa31dca9
- First version of k-limiting · bb9138f3
  Carlos Galindo authored May 06, 2021
  
  bb9138f3
May 05, 2021
- remove -t SDG flag from readme examples · 05e99b9d
  Carlos Galindo authored May 05, 2021
  
  05e99b9d
- version bump · d4ad3a67
  Carlos Galindo authored May 05, 2021
  
  View commits for tag 1.3.0 1.3.0
  
  d4ad3a67
- Merge branch 'carlos' into 'develop' · d71ef175
  Carlos Galindo authored May 05, 2021
  d71ef175
- added polymorphic calls · 5dc18b6e
  Carlos Galindo authored May 05, 2021
  5dc18b6e
- Merge branch 'carlos' into develop · a9133823
  Carlos Galindo authored May 05, 2021
  a9133823
- fix! calls to poly and non-poly member mixed up · 0a230da4
  Carlos Galindo authored May 05, 2021
  
  0a230da4
- fix! opposite boolean condition · 42890374
  Carlos Galindo authored May 05, 2021
  
  42890374
- Introduction of polymorphic nodes in object trees. · 2525a901
  Carlos Galindo authored Apr 30, 2021
  2525a901
Apr 29, 2021
- VariableAction now store static and dynamic typing. · 719be1a4
  Carlos Galindo authored Apr 29, 2021
  719be1a4
Mar 22, 2021
- Merge branch 'issue/update-javaparser' into 'develop' · b2b2401a
  Carlos Galindo authored Mar 22, 2021
  b2b2401a
- Update JavaParser and remove bug workaround. · c45e595f
  Carlos Galindo authored Mar 22, 2021
  
  c45e595f
Mar 17, 2021
- Merge branch 'object-flow-and-trees' into 'develop' · 3fc34fe7
  Carlos Galindo authored Mar 17, 2021
  3fc34fe7
- Documentation and minor changes · a82a331c
  Carlos Galindo authored Mar 17, 2021
  a82a331c
Mar 12, 2021
- Small fixes found from coverage analysis. · ee10b5bd
  Carlos Galindo authored Mar 12, 2021
  ee10b5bd
- Add test case for a constructor with return statements at the end of every CFG path. · 33065104
  Carlos Galindo authored Mar 12, 2021
  
  33065104
Mar 11, 2021
- artificially inserted instructions are now stored in a NodeHashSet to improve equality checks. · 6c4cfa82
  Carlos Galindo authored Mar 11, 2021
  
  6c4cfa82
- fix! handle field declarations properly · 799323f3
  Carlos Galindo authored Mar 11, 2021
  
  799323f3
- Checks and changes to lower the amount of primitive variables that develop an object tree. · acc87318
  Carlos Galindo authored Mar 11, 2021
  
  acc87318
- New tests with return statements in the constructor. · 802d215b
  Carlos Galindo authored Mar 11, 2021
  
  802d215b
- Add tree linking for primitive type declarations. · 7a0844e5
  Carlos Galindo authored Mar 11, 2021
  
  7a0844e5
- Slicing criterion now selects all nodes that represent the selected statement · 396b28c6
  Carlos Galindo authored Mar 11, 2021
  396b28c6
- SlicingCriterion can select several nodes from the graph instead of a single one. · 079ecc49
  Carlos Galindo authored Mar 11, 2021
  
  079ecc49
- simplify output action generation in variable visitor · 00f16679
  Carlos Galindo authored Mar 11, 2021
  
  00f16679
- update tests (regression) · 70d8a3ae
  Carlos Galindo authored Mar 11, 2021
  70d8a3ae
- fix! condition to copy trees in ExpressionObjectTreeFinder · 8ce5ac11
  Carlos Galindo authored Mar 11, 2021
  
  8ce5ac11
- Simple array handling, equivalent to old handling as primitives. · ee494981
  Carlos Galindo authored Mar 11, 2021
  
  ee494981
- Update tests (worse due to polymorphism, better when detecting fields) · cf735a3f
  Carlos Galindo authored Mar 11, 2021
  
  cf735a3f
- When searching for interprocedural actions, don't generate trees for variables... · 03651a82
  Carlos Galindo authored Mar 11, 2021
  03651a82
- Do not generate trees in actual-in nodes that represent integer parameters. · 14b25ce7
  Carlos Galindo authored Mar 11, 2021
  
  14b25ce7
- 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