Commits · TAPAS-2020 · Program Slicing / SDG · GitLab

Oct 08, 2020
- TAPAS-2020: implementation of the algorithm proposed · 3c771a29
  Carlos Galindo authored Oct 07, 2020
  
  3c771a29
Oct 07, 2020
- SlicingCriterion: fix error when file is in the same folder · 59640025
  Carlos Galindo authored Oct 07, 2020
  
  59640025
Sep 18, 2020
- ES-SlicingAlgorithm: modify rule 4 to account for PPDG · 8b2d964e
  Carlos Galindo authored Sep 18, 2020
  8b2d964e
Sep 17, 2020
- ES-SlicingAlgorithm: simplify and complete the rules · 807845d9
  Carlos Galindo authored Sep 16, 2020
  
  807845d9
Sep 15, 2020
- Remove jetbrains annotations · 21944ff0
  Carlos Galindo authored Sep 15, 2020
  
  View commits for tag 1.2.4 1.2.4
  
  21944ff0
- Unify pom.xml on root project · b0772004
  Carlos Galindo authored Sep 15, 2020
  
  b0772004
- Update pom.xml with new groupId · ef6be971
  Carlos Galindo authored Sep 15, 2020
  
  ef6be971
- Removed unnecessary manifest and IDE files · e8b63547
  Carlos Galindo authored Sep 15, 2020
  
  e8b63547
- Slicer: removed bugs · fd5c2213
  Carlos Galindo authored Sep 15, 2020
  View commits for tag 1.0.5 1.0.5
  
  fd5c2213
Sep 14, 2020
- Change package: tfm to es.upv.mist.slicing · 21d5f1f4
  Carlos Galindo authored Sep 14, 2020
  
  21d5f1f4
- Merge branch 'carlos' into develop · 76a78a60
  Carlos Galindo authored Sep 14, 2020
  76a78a60
- sdg-cli: setup fat jars and main class in manifest · 178fa7ba
  Carlos Galindo authored Sep 14, 2020
  
  178fa7ba
- README: add missing flag in example · 41ac79c2
  Carlos Galindo authored Sep 14, 2020
  
  View commits for tag tfm tfm
  
  41ac79c2
- VariableVisitor: support for optional definitions · 60c71cdd
  Carlos Galindo authored Sep 14, 2020
  
  60c71cdd
- Update README to describe the CLI and library · 5ea488b6
  Carlos Galindo authored Sep 14, 2020
  5ea488b6
Jul 29, 2020
- Remove sliced statements from the try and catch's bodies. · 37c46d01
  Carlos Galindo authored Jul 29, 2020
  
  37c46d01
- Add DECL+DEF to catch's parameter. · da7b4ab0
  Carlos Galindo authored Jul 29, 2020
  
  da7b4ab0
Jul 28, 2020
- CallGraph: wrap declarations in a vertex to guarantee .equals() behaviour. · 06a1778d
  Carlos Galindo authored Jul 28, 2020
  
  06a1778d
- Change PHPSlice to use line number. · eda610c9
  Carlos Galindo authored Jul 28, 2020
  
  eda610c9
- Improve parameter and global variables handling, and summary · 6809040f
  Carlos Galindo authored Jul 26, 2020
  6809040f
Jul 27, 2020
- Added equals and hashCode to FormalNodesPair · e47b42ca
  Javier Costa authored Jul 27, 2020
  
  e47b42ca
- Merge branch 'summary_arcs' into develop · 9fbe8e26
  Javier Costa authored Jul 27, 2020
  
  9fbe8e26
- Fixed summary arcs generation for output nodes · 03d7ab11
  Javier Costa authored Jul 27, 2020
  
  03d7ab11
Jul 26, 2020
- Compute summary arcs by fixed point analysis · ad21e25e
  Javier Costa authored Jul 27, 2020
  
  ad21e25e
- WIP: summary arcs builder · 595506aa
  Javier Costa authored Jul 26, 2020
  
  595506aa
Jul 25, 2020
- Merge pull request #41 from jacosro/ES-SDG · e504f19b
  Javier Costa authored Jul 25, 2020
  e504f19b
- Updated manifest for sdg-cli · feb672c4
  Javier Costa authored Jul 25, 2020
  
  feb672c4
- Fix CFGBuilder · c53761b3
  Javier Costa authored Jul 25, 2020
  
  c53761b3
- Merge branch 'develop' into ES-SDG · 4fa5dfb8
  Javier Costa authored Jul 25, 2020
  
  4fa5dfb8
- Merge pull request #32 from jacosro/cli · ee4c9719
  Javier Costa authored Jul 25, 2020
  ee4c9719
- Merge branch 'develop' into cli · 1fc0ed0c
  Javier Costa authored Jul 25, 2020
  
  1fc0ed0c
Jul 24, 2020
- Improved searches within GraphNode with GraphNodeContentVisitor · 4a9a5b6e
  Carlos Galindo authored Jul 24, 2020
  
  4a9a5b6e
- Fix MethodCallReplacerVisitor: throw statements were not considered · efacbde6
  Carlos Galindo authored Jul 24, 2020
  
  efacbde6
Jul 23, 2020
- Add SlicerTest (regression tester) · a1dc71e1
  Carlos Galindo authored Jul 23, 2020
  
  a1dc71e1
- Connect all exception return nodes to some exception exit node · 9c08cc9b
  Carlos Galindo authored Jul 23, 2020
  9c08cc9b
Jul 22, 2020
- Minor fixes · eeac3bbc
  Carlos Galindo authored Jul 22, 2020
  eeac3bbc
- PHPSlice: More information on errors · 81b8002d
  Carlos Galindo authored Jul 22, 2020
  
  81b8002d
- Add exception-sensitive slicing · 8bf64119
  Carlos Galindo authored Jul 22, 2020
  8bf64119
Jun 23, 2020
- Fix method resolution: unresolved methods could cause an exception · e3feee19
  Carlos Galindo authored Jun 23, 2020
  
  e3feee19
Jun 14, 2020
- Updated pom.xml and added MANIFEST · ce166a7d
  jacosro authored Jun 14, 2020
  
  ce166a7d