Ambos lados, revisión anteriorRevisión previa | |
slicers [2024/02/15 23:38] – added dynamic slicers Carlos Galindo | slicers [2024/03/19 09:31] (actual) – add tinypdg and fix link Carlos Galindo |
---|
* [[https://github.com/resess/Mandoline|Mandoline]]: an accurate, low-overhead dynamic slicer for Android applications. | * [[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/resess/Slicer4J|Slicer4J]]: an accurate, low-overhead dynamic slicer for Java programs. |
| * [[https://github.com/YoshikiHigo/TinyPDG|TinyPDG]]: a library for building intraprocedural PDGs for Java programs, written in Java. |
* [[https://github.com/wala/WALA|WALA]]: includes a Java bytecode slicer (and more recently, a JavaScript slicer). | * [[https://github.com/wala/WALA|WALA]]: includes a Java bytecode slicer (and more recently, a JavaScript slicer). |
| |
| |
* CodeSurfer: proprietary, included in [[wp>CodeSonar]], an analysis suite by [[https://www.grammatech.com|GrammaTech]] (now spun off to a venture capital firm, see [[wp>GrammaTech#History]]. Used to include a slicer, but no longer does. | * CodeSurfer: proprietary, included in [[wp>CodeSonar]], an analysis suite by [[https://www.grammatech.com|GrammaTech]] (now spun off to a venture capital firm, see [[wp>GrammaTech#History]]. Used to include a slicer, but no longer does. |
* Indus-Kaveri: a Java slicer that included support for concurrent Java programs. Its [[forge.cis.ksu.edu/frs/?Group_id=12|university forge]] is down, and someone has [[https://github.com/rvprasad/Indus_archive|archived it on GitHub]] (some files are on Git LFS and can't be downloaded). | * Indus-Kaveri: a Java slicer that included support for concurrent Java programs. Its [[https://forge.cis.ksu.edu/frs/?Group_id=12|university forge]] is down, and someone has [[https://github.com/rvprasad/Indus_archive|archived it on GitHub]] (some files are on Git LFS and can't be downloaded). |