Allgemeine Übersetzertechniken

statische Analyse

Während der syntaktischen und semantischen Analysen eines Übersetzers [4] lassen sich schon frühzeitig Kontrollen durchführen, durch die unterschiedliche Klassen von Bedrohungen a priori abgewehrt werden können. Eine wesentliche Aufgabe des Übersetzers besteht darin, die Einhaltung der Typregeln zu überprüfen. Liegt diesen Regeln ein strenges Typsystem zugrunde, so kann bereits statisch überprüft werden, ob der Programmcode unzulässige Typkonversionen, unzulässige Zeigerreferenzen, typunverträgliche Zuweisungen oder unverträgliche Parameterassoziationen enthält. Ein strenges Typsystem erlaubt es ferner, Wertebereichsprüfungen durchzuführen und potentielle Wertebereichsüberschreitungen, die in der ...

Get IT-Sicherheit, 9th Edition now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.