slicing

基于浏览器的 3D 打印、CAM、激光切片软件（Kiri:Moto）与网格编辑器（Mesh:Tool）

T.J. Watson 分析库，提供 Java、Android 和 JavaScript 前端，并包含许多常见的静态程序分析功能。

[LLVM Static Slicer] 各种程序分析、依赖图构建以及 LLVM bitcode 的程序切片。