Vivienne - Evaluation

Relational Symbolic Execution for constant-time analysis in WebAssembly. To clone this repository and Vivienne do (for git 2.7.4 - for other versions check here):

git clone --recursive  <repo>

Symbolic execution tool

The symbolic execution tool is under subdirectory "Vivienne". To compile Vivienne, you need to enter the "Vivienne" directory and compile the code.

cd Vivienne/interpreter
make

For information about the prerequisites and how to run Vivienne look at Vivienne/intepreter/README.md

Evaluation

The evaluation experiments scripts are in subdirectory eval.

To run the experiments enter directory "eval"

cd eval
bash run.sh

The execution of this script may take some hours. The script runs the experiments five times.

Supplemental Material

A document with supplemental material for the SecDev'21 paper is available in subdirectory supplemental_material.