Replication package for "An Empirical Evaluation of Static, Dynamic, and Hybrid Slicing of WebAssembly Binaries"

This is the replication package that accompanies the paper "An Empirical Evaluation of Static, Dynamic, and Hybrid Slicing of WebAssembly Binaries".

It is structured as follows.

  - RQs.py is the script that generates the data that is included in the paper. For each research question, it generates statistics and plots.  - The .csv files and nok.txt are used by RQs.py.  They contain the raw size and timing data for each slice. The headers of the .csv files indicate what each column represents.  - `sqlite-slices.csv` contains the raw data for RQ8, which is contained in the paper  - The .tar.gz files contain the source and the slices generated by each slicer, namely:    - `static_slices.tar.gz` contains the slices generated by CsE, the static slicer. For example, the file `static_slices/adpcm/adpcm_ah1_254_expr/static_adpcm.wat.slice` is the slice of the adpcm program taken with respect to the variable `ah1` at line `254` of the original `.c` program.    - `slice.tar.gz` contains slices from the dynamic slicers:        - slice-sce  - the SCE slices        - slice-ces  - the CES slices        - slice-cse  - the CSE slices        - slice-sces - the SCES slices        - slice-cses - the CsES slices    - `src.tar.gz` includes the unsliced `C` and `wasm` source    - `bc.support.tar.gz` includes the complete `bc` source code      - `sqlite.tar.gz` contains the slices of RQ8, each in a directory named after the slicer used. For example, the file `sqlite/CES/avg.wat` contains the CES slice for the `avg` slicing criterion.  In order to regenerate the data and plots that are in the paper, you should simply run:

```python RQs.py```