Automatic regression verification for LLVM programs
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
concourse
reve
slicing
.gitignore
LICENSE
README.md

README.md

llreve

Links:
Visit our web interface!
Visit our web interface for noninterference!
Visit our web interface for slicing!
-------
Consult the subdirectory reve for the regression verification tool llreve.
Consult the subdirectory slicing for the slicing tool semslice.

This repository contains tools for the regression verification and semantic slicing of programs. Both base on the LLVM library for parsing, compiling, optimising and preprocessing code. The semantic slicing tool uses the regression verification tool in its workflow.

All work in this repository is licensed under the BSD3 license.