ChrisTimperley

Arch Linux

GRUB Installation

Be sure to replace /dev/sda with the name of the drive (n.b. not the partition) containing Arch.

# pacman -S grub-bios intel-ucode
# grub-install /dev/sda
# mkinitcpio -p linux

ChrisTimperley

Workflow

1. Copy original version of the program from versions.alt/versions.orig/vK to source.
2. Compile original code by executing make build in the source directory.
3. Execute test suite against original version of the object, saving the results to outputs for future reference.
4. Clear the contents of the source directory.
5. Copy the appropriate seeded version of the program from versions.alt/versions.seeded/vK to source.
6. Inject the desired fault(s) in the program by removing the appropriate comment markers in source/FaultSeeds.h.
7. Compile the program by calling make build in the source directory.
8. Execute the test suite against the faulty program and compare the outputs against the oracle outputs saved in outputs.alt.

ChrisTimperley

# Assumes Java 8 JDK is already installed

# cgum
mkdir ~/bin
cd ~/bin
git clone https://github.com/GumTreeDiff/cgum
cd cgum
make
echo "export PATH=\"\$PATH:$PWD\"" >> ~/.profile
cd ..

ChrisTimperley

#!/bin/bash
sudo apt-get install apt-transport-https ca-certificates -y
sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
sudo rm -f /etc/apt/sources.list.d/docker.list
sudo add-apt-repository \
   "deb [arch=amd64] https://download.docker.com/linux/ubuntu \
   $(lsb_release -u -cs) \
   stable"
sudo apt-get update
sudo apt-get purge lxc-docker