lib-symexec: A library for symbolic execution utilities

lib-symexec is a library that provides a variety of utilities for building symbolic execution tools with Rosette.

Features

• Memory model: Allows for both vectors and functions to be used as part of the memory model. Can distinguish between standard memory and storage variables.
• Symbolic rewrites: Rewrite system for symbolic ite values, allowing easier use with Rosette's for/all ([... #:exhaustive]) ...)
• Logging: Simple library for logging

Build and Install

After cloning the repo, from the lib-symexec directory:

cd ..
raco pkg create lib-symexec
raco pkg install lib-symexec.zip
rm lib-symexec.zip
rm lib-symexec.zip.CHECKSUM