Herramientas de usuario

Herramientas del sitio


slicers

Slicers

Currently known and available

In alphabetical order:

  • e-Knife (Erlang): a slicer for Erlang based on the Expression Dependence Graph. Only supports sequential Erlang. A demo is available.
  • e-Knife (Java): a slicer for Java based on the Expression Dependence Graph. Its support of newer Java features and of concurrency is limited. A demo is available.
  • dg: a LLVM static slicer. See README for papers.
  • JavaSlicer: an open-source dynamic slicing tool developed at Saarland University.
  • JavaSlicer: a slicer for Java, including support for objects and exceptions, but not for concurrent Java programs, streams and other modern Java features. A demo is available.
  • Mandoline: an accurate, low-overhead dynamic slicer for Android applications.
  • Slicer4J: an accurate, low-overhead dynamic slicer for Java programs.
  • TinyPDG: a library for building intraprocedural PDGs for Java programs, written in Java.
  • WALA: includes a Java bytecode slicer (and more recently, a JavaScript slicer).

Unavailable projects

In alphabetical order:

  • CodeSurfer: proprietary, included in CodeSonar, an analysis suite by GrammaTech (now spun off to a venture capital firm, see GrammaTech#History. Used to include a slicer, but no longer does.
  • Indus-Kaveri: a Java slicer that included support for concurrent Java programs. Its university forge is down, and someone has archived it on GitHub (some files are on Git LFS and can't be downloaded).
slicers.txt · Última modificación: 2024/03/19 09:31 por Carlos Galindo

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki