Published July 14, 2019 | Version 1
Software Open

Implementation of the SemSlice Tool

Creators

  • 1. Karlsruhe Institute of Technology
  • 2. KTH Royal Institute of Technology

Description

This data set contains the source code and implementation of SemSlice, a tool for automatic and precise porgram slicing, which was presented in http://dx.doi.org/10.1007/978-3-319-66845-1_20 

Software
---------

The folder "src" contains the source code of SemSlice which can also be found at:

https://github.com/mattulbrich/llreve/tree/slicing

The folder "vm" contains an Ubuntu-based Virtualbox virtual machine in which SemSlice is set up and ready
to run on the benchmark programs. Check the readme file in this folder for information on how to run the vm.

Files

software.zip

Files (2.7 GB)

Name Size Download all
md5:082e1007ae7fce4aae6d02b6b7305571
2.7 GB Preview Download

Additional details

Related works

Has part
Software: https://github.com/mattulbrich/llreve/tree/slicing (URL)
Is documented by
Conference paper: 10.1007/978-3-319-66845-1_20 (DOI)
Conference paper: 10.1007/978-3-030-30446-1_19 (DOI)
Thesis: 10.5445/IR/1000104496 (DOI)
Is supplemented by
Dataset: 10.5281/zenodo.3334571 (DOI)