Diferencias

Muestra las diferencias entre dos versiones de la página.

--- slicers [2024/01/30 11:45] – creado Carlos Galindo
+++ slicers [2024/02/15 23:38] – added dynamic slicers Carlos Galindo
@@ Línea 8: / Línea 8: @@
   * [[https://mist.dsic.upv.es/git/program-slicing/e-knife-java|e-Knife (Java)]]: a slicer for Java based on the Expression Dependence Graph. Its support of newer Java features and of concurrency is limited. [[https://mist.dsic.upv.es/e-knife-java/|A demo is available]].
   * [[https://github.com/mchalupa/dg|dg]]: a LLVM static slicer. See README for papers.
+  * [[https://github.com/backes/javaslicer|JavaSlicer]]: an open-source dynamic slicing tool developed at Saarland University.
   * [[https://github.com/mistupv/javaslicer|JavaSlicer]]: a slicer for Java, including support for objects and exceptions, but not for concurrent Java programs, streams and other modern Java features. [[https://mist.dsic.upv.es/JavaSlicer/demo/|A demo is available]].
+  * [[https://github.com/resess/Mandoline|Mandoline]]: an accurate, low-overhead dynamic slicer for Android applications.
+  * [[https://github.com/resess/Slicer4J|Slicer4J]]: an accurate, low-overhead dynamic slicer for Java programs.
   * [[https://github.com/wala/WALA|WALA]]: includes a Java bytecode slicer (and more recently, a JavaScript slicer).