program-slicing topic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

staticafi

A program slicer for Java, based on the system dependence graph (SDG).

mistupv

Data-linked visualisations

explorable-viz