@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} }