Skip to content
Timeless debugging with symbolic execution and processor trace
Python C C++ Shell Nix Assembly Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bin
hase
pt
tests
.envrc
.gitattributes
.gitignore
.mergify.yml
.pycheckers
.travis.yml
LICENSE.md
README.md
default.nix
perf-script-sample-addr.patch
setup.cfg
setup.py

README.md

HASE

Build Status

Hase provides record-replay debugging suitable for all-ways-on in-production recording. It leverages intel processor trace and core dumps that can be recorded with little overhead. On top of that data it performs symbolic execution to recover states prior to the crash.

System design figure

Workshop presentation on Klee Workshop 2018

INSTALL

  1. Setup virtual environment with python3.6 or pypy6
$ python3 -m venv venv
$ . venv/bin/activate

or for pypy:

$ pypy3 -m venv venv
$ . venv/bin/activate
  1. Get the Intel processor-trace decoder library

  2. Install project into the virtual environment

Make sure you pip is version >= 18.1 and setuptools >= 38.3:

$ ./venv/bin/pip install "pip>=18.1" "setuptools>=38.3"
$ ./venv/bin/pip install -e .

Additionally pyqt5 is required and cannot be installed via pip.

  1. Install test dependencies
$ python3 -m pip install -e '.[test]'
  1. Testing examples

The integration test needs root.

make -C tests
sudo nosetests tests/test_record.py

The other tests work without root: Note that the test traces are stored via git-lfs

nosetests tests/test_replay.py

Record crashes

$ sudo ./bin/hase record <some crash program> <args>

Example crash:

$ sudo ./bin/hase record ./tests/bin/loopy
$ ls -la /var/lib/hase
.rw-rw-rw- 244 root  9 May  3:22 coredump.log
.rw-r--r--   4 root  9 May  3:22 hase-record.pid
.rw-r--r-- 41M root  9 May  3:22 loopy-20180509T022227.tar.gz

No crash:

$ sudo ./bin/hase record -- ls -al

Benchmarks

Benchmarks require Pandas, which cannot be installed via pip3. Use https://pandas.pydata.org/pandas-docs/stable/install.html instead or install it using your system package manager.

Making changes

To avoid breaking mypy use the following steps:

  1. Create a feature branch:
$ git checkout -b <branch-name> 
$ git push origin <branch-name>
  1. Make a pull request by visiting https://github.com/hase-project/hase/pull/new/<branch-name> or use hub:
$ git pull-request
You can’t perform that action at this time.