Skip to content
  1. Feb 24, 2023
  2. Feb 23, 2023
  3. Feb 16, 2023
  4. Nov 03, 2022
  5. Jul 26, 2022
  6. Mar 11, 2022
  7. Oct 27, 2021
  8. Oct 05, 2021
    • Sergio Pérez's avatar
      Timed Run: · 947bbe37
      Sergio Pérez authored
      * Measured the generation time of the different graph edges
      * Added EKnife.timedRun to evaluate the slicer against all the possible slicing criteria of a program
      * Added intraprocedural bencher suite
      947bbe37
    • Sergio Pérez's avatar
      Timed Run: · 787ed139
      Sergio Pérez authored
      * Measured the generation time of the different graph edges
      * Added EKnife.timedRun to evaluate the slicer against all the possible slicing criteria of a program
      * Added intraprocedural bencher suite
      787ed139
  9. Sep 29, 2021
  10. Sep 07, 2021
  11. Jul 27, 2021
    • Sergio Pérez's avatar
      FIXES AND SUMMARY IMPROVEMENTS · 91e8eaea
      Sergio Pérez authored
      * Erlang script path defined
      * Fixes in code generation: some sliced expressions removed instead of replaced
      * Fix guard stacks in CFG generation
      * Logic simplification in Node-Result creation process
      * Fixed dead clause detection
      * Improvements added to summary generation:
          + Function calls associated to a particular formal-out-formal-in summary edge are only repended when the grammar term is created, and not for each added production
          + The list of constraints stacked after an AsteriskConstraint are removed when another AsteriskConstraint is pushed to the stack
      91e8eaea
  12. Jul 12, 2021
  13. Jul 09, 2021
    • Sergio Pérez's avatar
      LAST adapted to Erlang with some improvements: · 40b40855
      Sergio Pérez authored
      * ast.erl and saver.erl has been moved to e-knife resources folder
      * CFG and Value arcs are now in e-Knife
      * CFGs are built with a the visitor pattern
      * The graph library is now jgrapht
      * CFGs of the clauses of the same method are now independent
      * Interprocedural clause matching has been improved to not link unreachable clauses
      * Shadowed variables and its value are now delimited to their context
      * Classic algorithm has been added to slicing computed algorithms
      40b40855
  14. Jun 11, 2021
  15. Jun 10, 2021
Loading