Skip to content

ucsb-seclab/hacrs-input-generator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

For archival purposes only, not maintained

HaCRS input generator

A component to produce baselines, seeds and other artifacts for the evaluation and seeding for the HaCRS system.

Paper

The corresponding paper can be found here: https://acmccs.github.io/papers/p347-shoshitaishviliA.pdf

Use

To make it work:

git clone hacrs-input-generator
cd hacrs-input-generator

First take a look at config.py and adjust it to your system. This should only require you to change DESKTOP_BASE_DIR to the directory where you cloned the repo.

Then run the Vagrant virtual machine.

vagrant up
vagrant ssh

Then inside the vagrant machine:

cd /vagrant
python 0_build_binaries.py
python onetime_fixup_challenges.py
python 1_extract_pcap.py
python 2_extract_interaction.py
python 3_extract_trace.py

This should generate all the important information in a subfolder bins/ accessible on both the Vagrant machine and on your computer.

You can use the 5_info.py script to get information about each challenge and about which steps worked and also overall statistics.

TODO

  1. Rework it to do all the povs as well as all the pollers.
  2. Rework 4_copy_out_relevant_results.py or throw it out

About

A framework to generate inputs for the HaCRS system to seed and evaluate against

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors