Es gibt schon Analysen die auf Bitverbänden arbeiten, diese haben jedoch das Problem, dass sie nicht gut mit arithmetischen Audrücken funktionieren. Die Alternative ist die Nutzung von Mengen von Intervallen, diese haben allerdings das Problem, dass es sehr viele Mengen von Mengen von Intervallen gibt (etwa 2^(2^32) im Vergleich zu 2^32 verschiedenen Bitbelegungen für 32 Bit Werte).
Aufgabe:
Ziel dieser Arbeit ist die Kombination von Bitverbänden und Intervalpotenzmengenverbänden, um bei letzteren Teilmengen zu einem Element zu verschmelzen.Die Arbeit ist in erster Linie eine Programmanalysearbeit deren Ergebnisse damit auch gut im Compilerbau anwendbar sind.
Voraussetzungen
Grundlagen und Interesse im Compilerbau und/oder der Programmanalyse sind hilfreich aber nicht notwendigSchlüsselworte
Statische Analyse, Informationsflusskontrolle Betreuer
Ehemalige Mitarbeiter |
---|
M.Sc. Johannes Bechberger |