GitHub repository: staticafi/sbt-slicer
Primary language: C++
Created: 2018-02-12T09:24:51Z
Description: Static program slicer used in Symbiotic tool