Hybride Programmabhängigkeitsanalyse

• Antragsteller: Professor Dr.-Ing. Gregor Snelting
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1998 bis 2005
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5085686

Im zweiten Projektabschnitt sollen Slicing und Pfadbedingungen von C nach Java transferiert werden, wobei auf vorhandene Java-Infrastruktur aufgesetzt werden kann. Dies erfordert insbesondere eine konservative, Präzise Approximation der dynamischen Bindung. Ferner soll untersucht werden, ob sich Sicherheitsbedingungen für C und Java als temporallogische Formeln über dem Programmanbhängigkeisgraphen ausdrücken und mit Modell Checking automatisch überprüfen lassen.

• DFG-Verfahren: Sachbeihilfen