aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/debugging.md
diff options
context:
space:
mode:
authorEduardo Julian2019-11-18 18:45:52 -0400
committerEduardo Julian2019-11-18 18:45:52 -0400
commitfa40cabbf361b717023183b57eed3bb72919a080 (patch)
tree79c141f26427f3fd1385c257deaf0473d1f38282 /documentation/research/debugging.md
parenta5a71a224408b6a7a736fd2f4c06646bf5c89fd8 (diff)
Minor adjustments.
Diffstat (limited to '')
-rw-r--r--documentation/research/debugging.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/research/debugging.md b/documentation/research/debugging.md
index 2dd5d74e7..555ae3e7f 100644
--- a/documentation/research/debugging.md
+++ b/documentation/research/debugging.md
@@ -4,6 +4,7 @@
# Tool
+1. [drgn: Scriptable debugger library](https://github.com/osandov/drgn)
1. [Debug Adapter Protocol](https://microsoft.github.io/debug-adapter-protocol/)
1. https://github.com/srg-imperial/SaBRe
1. https://developer.mozilla.org/en-US/docs/Mozilla/Projects/WebReplay
@@ -19,6 +20,7 @@
# Reference
+1. [The Power Of Collaborative Debugging](https://robert.ocallahan.org/2019/11/the-power-of-collaborative-debugging.html)
1. [Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs](https://stefan-marr.de/2019/07/what-if-we-could-see-all-concurrency-bugs-in-the-debugger/)
1. [Writing a Debugger](http://system.joekain.com/debugger/)
1. https://en.wikipedia.org/wiki/Jinx_Debugger