Een record van de assembleertaalinstructies en tak resultaten die voordoen zich wanneer een programma wordt uitgevoerd met behulp van symbolische, in plaats van werkelijke waarden voor invoergegevens.