Commits · tfm · Program Slicing / SDG · GitLab

Sep 14, 2020
- README: add missing flag in example · 41ac79c2
  Carlos Galindo authored Sep 14, 2020
  
  View commits for tag tfm tfm
  
  41ac79c2
- Update README to describe the CLI and library · 5ea488b6
  Carlos Galindo authored Sep 14, 2020
  5ea488b6
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
Jun 11, 2020
- Merge pull request #38 from jacosro/37-change-out-nodes-generation · b3e32945
  Javier Costa authored Jun 11, 2020
  b3e32945
- Merge pull request #40 from jacosro/39-node-subtypes · 8b75e37d
  Javier Costa authored Jun 11, 2020
  8b75e37d
- Slicer CLI entrypoint · e68a2d42
  Carlos Galindo authored Jun 11, 2020
  e68a2d42
- Extended Slice and SliceAstVisitor to handle multiple methods, classes and files · 31f15bcc
  Carlos Galindo authored Jun 11, 2020
  
  31f15bcc
- Added FileLineSlicingCriterion, to select nodes in the SDG. · 9ae5825e
  Carlos Galindo authored Jun 11, 2020
  
  9ae5825e
- Removed circular dependencies in Maven · ec490f8e
  Carlos Galindo authored Jun 11, 2020
  ec490f8e
- Fix ACTUAL_IN and ACTUAL_OUT data dependency connections. · 5eebd9e1
  Carlos Galindo authored Jun 05, 2020
  
  5eebd9e1
- Resolve methods using JavaParser TypeSolver · 2ffbbbd6
  Carlos Galindo authored Jun 02, 2020
  
  2ffbbbd6
- Created the SDG's ClassicSlicingAlgorithm · d7efed70
  Carlos Galindo authored Jun 01, 2020
  
  d7efed70
- Moved the project to a module and created sdg-cli module · ed90b1f6
  Carlos Galindo authored Jun 01, 2020
  
  ed90b1f6
Jun 10, 2020
- Added support for node subtypes · 2ff95c0c
  jacosro authored Jun 11, 2020
  
  2ff95c0c
- OUT nodes not generated for primitive types or literals · 8e4730fb
  jacosro authored Jun 11, 2020
  
  8e4730fb
- Merge pull request #36 from jacosro/35-return-node · 7c29ef7b
  Javier Costa authored Jun 10, 2020
  7c29ef7b
- Merge branch 'develop' of github.com:jacosro/TFM into 35-return-node · c8508e47
  jacosro authored Jun 10, 2020
  
  c8508e47
Jun 08, 2020
- Merge pull request #33 from jacosro/7-build-summary-arcs · c48ab8ea
  Javier Costa authored Jun 08, 2020
  c48ab8ea
- Apply requested changes · 71ef93c8
  jacosro authored Jun 08, 2020
  
  71ef93c8
Jun 07, 2020
- Remove METHOD_CALL_RETURN type · b5179999
  jacosro authored Jun 07, 2020
  
  b5179999
- Added output node to method declaration + changed return to output · 5830c240
  jacosro authored Jun 07, 2020
  
  5830c240