docker

Starting the Docker Virtual Infrastructure

• Find out more about Docker: https://docker.com
• Install Docker: https://docs.docker.com/#run-docker-anywhere
• We provide a simple bash script run.sh to setup and interface the docker container.
  • Bash is available on most Linux and MacOS host operating systems.
  • If you have a Windows host, follow the instructions in run.sh correspondingly.

Installing the Find errors

# Checkout this repository
git clone https://github.com/dbgbench/dbgbench.github.io.git dbgbench
cd dbgbench/docker

# Install and run docker container for find
./run.sh find

• to get buggy source
• to get buggy executables, and
• to get infrastructure for all errors in findutils.
• More details: README.find.txt

Installing the GREP errors

# Checkout this repository
git clone https://github.com/dbgbench/dbgbench.github.io.git dbgbench
cd dbgbench/docker

# Install and run docker container for grep
./run.sh grep

• to get buggy source
• to get buggy executables, and
• to get infrastructure for all errors in grep.
• More details: README.grep.txt

There is a UI available for those who prefer Desktop:

• Details for find: UI.README.find.txt
• Details for grep: UI.README.grep.txt

Example Usage

• Checking Patch Plausibility: https://dbgbench.github.io/patches/

Cleaning Up

Cleanup must be done when switching from find to grep.

docker kill debugstudy0
docker rm debugstudy0
docker rmi debugstudy