Software Open Access

Implementation of the SemSlice Tool

Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich

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 (2.7 GB)
Name Size
software.zip
md5:082e1007ae7fce4aae6d02b6b7305571
2.7 GB Download
43
2
views
downloads
All versions This version
Views 4344
Downloads 22
Data volume 5.5 GB5.5 GB
Unique views 3031
Unique downloads 22

Share

Cite as