PyDD

A hybrid algorithmic debugger and program synthesis engine for Python

Repository structure

├── app.py
├── ast_transformer.py
├── coverage.dat
├── coverage.py
├── debugging_strategy.py
├── etnode.py
├── event.py
├── execution_tree.py
├── frontend
│   ├── package.json
│   ├── package-lock.json
│   ├── public
│   ├── README.md
│   └── src
│       ├── App.js
│       ├── App.test.js
│       ├── ColorModeSwitcher.js
│       ├── index.js
│       ├── Logo.js
│       ├── logo.svg
│       ├── reportWebVitals.js
│       ├── serviceWorker.js
│       ├── setupTests.js
│       ├── test-utils.js
│       ├── TreeView.js
│       └── TreeViewMenu.js
├── grammar.py
├── oracle.py
├── program_repairer.py
├── pydd.py
├── pydd_repl.py
├── query.py
├── README.md
├── server.py
├── trace.dat
├── trace_iterator.py
└── tracer.py

Installation

In the frontend directory run:

npm install

Install all dependencies for client-side application.

In the parent (base) directory run:

pip install tornado dill astor pygments rich astor astunparse textwrap

Usage:

./app.py -f ~/Desktop/bug1.py -d heaviest-first -pr bus

CLI

usage: app.py [options]
app.py: error: the following arguments are required: -f, -d, -pr

OPTIONS
-f 	target file
-i 	enable interactive debugging
-w 	enable web mode
-d 	debugging strategy
-pr	program repair strategy
-t 	trace file
-c 	coverage file

Debug commands

class PyDDRepl. do_next(args)

class PyDDRepl. do_prev(args)

class PyDDRepl. do_print(args)

class PyDDRepl. do_break(args)

class PyDDRepl. do_watch(args)

class PyDDRepl. do_remove(args)

class PyDDRepl. do_continue(args)

class PyDDRepl. do_exit(args)

class PyDDRepl. do_list(args)

class PyDDRepl. do_repair(args)

Debugging strategies

class DebuggingStrategy. single_stepping

class DebuggingStrategy. top_down

class DebuggingStrategy. heaviest_first

class DebuggingStrategy. divide_and_query

Program repair strategies

class Grammar. bus

class Grammar. bfs

class Grammar. dfs