A debug symbol is information that expresses which programming-language constructs generated a specific piece of machine code in a given executable module.