slicers
¡Esta es una revisión vieja del documento!
Tabla de Contenidos
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: 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.
- 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.1706615139.txt.gz · Última modificación: 2024/01/30 11:45 por Carlos Galindo