@misc{Reference2,
    Abstract = {The C language is like a carving knife: simple, sharp, and extremely useful in skilled hands. Like any sharp tool, C can injure people who don't know how to handle it.},
	Author = {Andrew Koenig},
	Title = {Pitfalls of {C}},
    Url = {http://www.math.pku.edu.cn/teachers/qiuzy/c/reading/pitfall.htm},
    Year = {2001}
}

@manual{Reference3,
	Title = {GDB: The GNU Project Debugger},
    Url = {https://www.gnu.org/software/gdb/},
    Year = {2018}
}

@manual{Reference4,
	Title = {Extending GDB},
    Url =
    {https://sourceware.org/gdb/onlinedocs/gdb/Extending-GDB.html#Extending-GDB},
    Year = {2018}
}

@manual{Reference5,
	Title = {GDB Internals Manual},
    Url = {https://sourceware.org/gdb/wiki/Internals},
    Year = {2018}
}

@manual{Reference6,
	Title = {Compiling for Debugging},
    Url = {https://sourceware.org/gdb/onlinedocs/gdb/Compilation.html#Compilation},
    Year = {2018}
}

@misc{Reference7,
	Title = {{DWARF Debugging Standard}},
    Url = {http://dwarfstd.org/},
    Year = {2007}
}

@misc{Reference8,
	Title = {{DWARF}},
    Url = {https://en.wikipedia.org/wiki/DWARF},
	Year = {2017}
}

@misc{Reference9,
	Title = {{Name Mangling}},
    Url = {https://en.wikipedia.org/wiki/Name_mangling},
	Year = {2018}
}

@techreport{Reference10,
	Author = {Peter A. Buhr},
    Institution = {School of Computer Science, University of Waterloo},
	Month = {January},
	Title = {{$\mu$C++ Annotated Reference Manual}},
	Url = {https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf},
	Year = {2006}
}

@misc{Reference11,
	Title = {{Selecting A Frame}},
    Url = {ftp://ftp.gnu.org/old-gnu/Manuals/gdb/html_chapter/gdb_7.html#SEC44},
    Year = {2002}
}

@misc{Reference12,
	Title = {{Examining the Stack}},
    Url = {ftp://ftp.gnu.org/old-gnu/Manuals/gdb/html_chapter/gdb_7.html},
    Year = {2002}
}

@misc{Reference13,
	Title = {{C$\mathbf{\forall} $ Language}},
    Url = {https://cforall.uwaterloo.ca},
    Year = {2017}
}

@misc{Reference14,
	Title = {{KOS}},
    Url = {https://cs.uwaterloo.ca/~mkarsten/kos.html},
    Year = {2018}
}

@misc{Reference15,
	Title = {{Continuing and Stepping}},
    Url =
    {https://sourceware.org/gdb/onlinedocs/gdb/Continuing-and-Stepping.html},
    Year = {2018}
}
