- Jul 26, 2022
-
-
Sergio Pérez authored
-
Sergio Pérez authored
* Added bencher intra- and inter-procedural suits * Added Dockerfile
-
Sergio Pérez authored
-
- May 31, 2022
-
-
Sergio Pérez authored
-
- Mar 11, 2022
-
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
-
- Oct 27, 2021
-
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
* Left Recursive Grammars transformed to Right Recursive avoiding infinite T generations with suffix analysis * Grammar.printGrammarInFile
-
- Oct 07, 2021
-
-
Carlos Galindo authored
-
- Oct 05, 2021
-
-
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
-
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
-
- Oct 01, 2021
-
-
Sergio Pérez authored
-
Sergio Pérez authored
* Repeated recursive grammar states ignored in summary generation * Increased the number of constraints that the stack can contain to 20 * Slice of 3 benchmarks improved
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
* LiteralConstraint in switch structures
-
Sergio Pérez authored
* LiteralConstraint and its stack behaviour implemented
-
Sergio Pérez authored
* Fix CFG absorbent clauses
-
- Sep 30, 2021
-
-
Carlos Galindo authored
-
Carlos Galindo authored
Use '-DedgeNAME=false', where NAME can be structural, controlflow, control, flow, objectflow, value, valuestructure, totaldefinition, call, input, output or summary.
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
- Sep 29, 2021
-
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
* Added clarifying comma to help message.
-
Carlos Galindo authored
-
Carlos Galindo authored
* Now generating fat jars via maven * Packaging of scripts via Makefile * Fix detection of scripts file * Updated README * Disabled printing in Flusher * Removed iml project files * Added optional printing of the graph (to dot or pdf)
-
- Sep 16, 2021
-
-
Sergio Pérez authored
-
Sergio Pérez authored
* Arity added to tuple elements * Stack states correctly updated (considers the previous traversed edge to differentiate states)
-
- Sep 10, 2021
-
-
Sergio Pérez authored
-
- Sep 08, 2021
-
-
Sergio Pérez authored
-
- Sep 07, 2021
-
-
Sergio Pérez authored
-
Sergio Pérez authored
- Generators implicit and explicit restrictions are now more accurately treated - Created +-[]S (List structure constraints) - Created +-{}S (Tuple structure constraints) - New kind of edges (ValueStructural Edges) - Prevented the interference of the traversal of (Black) Structural Edges with other edges
-
- Jul 27, 2021
-
-
Sergio Pérez authored
* .erl -> original program * .criterion -> slicing criterion (line var) * .goldStandard -> minimal slice * .sliced -> slice computed by the slicer
-