The spectacular results achieved by computer science in the recent years rely on hidden, obscure, and badly specified components that lurk at the very heart of our computing infrastructure. Consider DWARF debug information. Debug information is relied upon by debuggers and plays a key role in the in the implementation of program analysis tools. More surprisingly, debug information can be relied upon by the runtime of high-level programming languages, for instance by C++ to unwind the stack and implement exceptions. The debug information itself can be pervaded by subtle bugs, making the whole infrastructure unreliable. In this talk I will describe techniques and tools to perform validation and synthesis of the DWARF stack unwinding tables. I will also report on adventurous projects that we might build on top of reliable DWARF information.

Tue 19 Jun

11:00 - 12:15: DeepSpec 2018 - Haskell Core and Debugging Debuggers at Columbus Ballroom B
deepspec-2018-papers11:00 - 11:30
Stephanie WeirichUniversity of Pennsylvania, USA
deepspec-2018-papers11:30 - 12:00