Hybride Programmabhängigkeitsanalyse

• Applicant: Professor Dr.-Ing. Gregor Snelting
• Subject Area: Theoretical Computer Science
• Term: from 1998 to 2005
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants