{ "cells": [ { "cell_type": "markdown", "id": "025a705a", "metadata": {}, "source": [ "# The Debugging Book" ] }, { "cell_type": "markdown", "id": "c41a2198", "metadata": {}, "source": [ "## Sitemap\n", "While the chapters of this book can be read one after the other, there are many possible paths through the book. In this graph, an arrow _A_ → _B_ means that chapter _A_ is a prerequisite for chapter _B_. You can pick arbitrary paths in this graph to get to the topics that interest you most:\n" ] }, { "cell_type": "code", "execution_count": 1, "id": "50bdc22e", "metadata": { "execution": { "iopub.execute_input": "2024-04-28T10:52:14.218521Z", "iopub.status.busy": "2024-04-28T10:52:14.218394Z", "iopub.status.idle": "2024-04-28T10:52:14.223529Z", "shell.execute_reply": "2024-04-28T10:52:14.223201Z" } }, "outputs": [], "source": [ "# ignore\n", "from IPython.display import SVG" ] }, { "cell_type": "code", "execution_count": 2, "id": "a3d9cc92", "metadata": { "execution": { "iopub.execute_input": "2024-04-28T10:52:14.225289Z", "iopub.status.busy": "2024-04-28T10:52:14.225172Z", "iopub.status.idle": "2024-04-28T10:52:14.232900Z", "shell.execute_reply": "2024-04-28T10:52:14.232533Z" } }, "outputs": [ { "data": { "image/svg+xml": [ "\n", "\n", "\n", "\n", "\n", "Tracer\n", "\n", "\n", "\n", "\n", "Tracing Executions\n", "\n", "\n", "\n", "\n", "\n", "Debugger\n", "\n", "\n", "\n", "\n", "How Debuggers Work\n", "\n", "\n", "\n", "\n", "\n", "Tracer->Debugger\n", "\n", "\n", "\n", "\n", "\n", "Assertions\n", "\n", "\n", "\n", "\n", "Asserting\n", "Expectations\n", "\n", "\n", "\n", "\n", "\n", "Tracer->Assertions\n", "\n", "\n", "\n", "\n", "\n", "DeltaDebugger\n", "\n", "\n", "\n", "\n", "Reducing Failure-\n", "Inducing Inputs\n", "\n", "\n", "\n", "\n", "\n", "Tracer->DeltaDebugger\n", "\n", "\n", "\n", "\n", "\n", "StatisticalDebugger\n", "\n", "\n", "\n", "\n", "Statistical\n", "Debugging\n", "\n", "\n", "\n", "\n", "\n", "Tracer->StatisticalDebugger\n", "\n", "\n", "\n", "\n", "\n", "DynamicInvariants\n", "\n", "\n", "\n", "\n", "Mining Function\n", "Specifications\n", "\n", "\n", "\n", "\n", "\n", "Tracer->DynamicInvariants\n", "\n", "\n", "\n", "\n", "\n", "ChangeDebugger\n", "\n", "\n", "\n", "\n", "Isolating Failure-\n", "Inducing Changes\n", "\n", "\n", "\n", "\n", "\n", "DeltaDebugger->ChangeDebugger\n", "\n", "\n", "\n", "\n", "\n", "DDSetDebugger\n", "\n", "\n", "\n", "\n", "Generalizing Failure\n", "Circumstances\n", "\n", "\n", "\n", "\n", "\n", "DeltaDebugger->DDSetDebugger\n", "\n", "\n", "\n", "\n", "\n", "PerformanceDebugger\n", "\n", "\n", "\n", "\n", "Debugging\n", "Performance Issues\n", "\n", "\n", "\n", "\n", "\n", "DeltaDebugger->PerformanceDebugger\n", "\n", "\n", "\n", "\n", "\n", "Repairer\n", "\n", "\n", "\n", "\n", "Repairing Code\n", "Automatically\n", "\n", "\n", "\n", "\n", "\n", "DeltaDebugger->Repairer\n", "\n", "\n", "\n", "\n", "\n", "StatisticalDebugger->PerformanceDebugger\n", "\n", "\n", "\n", "\n", "\n", "StatisticalDebugger->Repairer\n", "\n", "\n", "\n", "\n", "\n", "Intro_Debugging\n", "\n", "\n", "\n", "\n", "Introduction to\n", "Debugging\n", "\n", "\n", "\n", "\n", "\n", "Intro_Debugging->Tracer\n", "\n", "\n", "\n", "\n", "\n", "Slicer\n", "\n", "\n", "\n", "\n", "Tracking \n", "Failure Origins\n", "\n", "\n", "\n", "\n", "\n", "Intro_Debugging->Slicer\n", "\n", "\n", "\n", "\n", "\n", "Tracking\n", "\n", "\n", "\n", "\n", "Tracking Bugs\n", "\n", "\n", "\n", "\n", "\n", "Intro_Debugging->Tracking\n", "\n", "\n", "\n", "\n", "\n", "ChangeCounter\n", "\n", "\n", "\n", "\n", "Where the Bugs are\n", "\n", "\n", "\n", "\n", "\n", "Tracking->ChangeCounter\n", "\n", "\n", "\n", "\n", "" ], "text/plain": [ "" ] }, "execution_count": 2, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# ignore\n", "SVG(filename='PICS/Sitemap.svg')" ] }, { "cell_type": "markdown", "id": "56193fad", "metadata": {}, "source": [ "## [Table of Contents](index.ipynb)\n", "\n", "\n", "### Part I: Whetting Your Appetite\n", "\n", "* Tours through the Book\n", "* Introduction to Debugging\n", "\n", "### Part II: Observing Executions\n", "\n", "* Tracing Executions\n", "* How Debuggers Work\n", "* Asserting Expectations\n", "\n", "### Part III: Flows and Dependencies\n", "\n", "* Tracking Failure Origins\n", "\n", "### Part IV: Reducing Failure Causes\n", "\n", "* Reducing Failure-Inducing Inputs\n", "* Isolating Failure-Inducing Changes\n", "\n", "### Part V: Abstracting Failures\n", "\n", "* Statistical Debugging\n", "* Mining Function Specifications\n", "* Generalizing Failure Circumstances\n", "* Debugging Performance Issues\n", "\n", "### Part VI: Automatic Repair\n", "\n", "* Repairing Code Automatically\n", "\n", "### Part VII: Debugging in the Large\n", "\n", "* Tracking Bugs\n", "* Where the Bugs are\n", "\n", "### Appendices\n", "\n", "* Error Handling\n", "* Timer\n", "* Timeout\n", "* Class Diagrams\n", "* Inspecting Call Stacks\n" ] } ], "metadata": { "ipub": { "bibliography": "fuzzingbook.bib" }, "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.10.2" }, "toc": { "base_numbering": 1, "nav_menu": {}, "number_sections": true, "sideBar": true, "skip_h1_title": true, "title_cell": "", "title_sidebar": "Contents", "toc_cell": false, "toc_position": {}, "toc_section_display": true, "toc_window_display": true }, "toc-autonumbering": false }, "nbformat": 4, "nbformat_minor": 5 }