Konferenzartikel: Static Path Conditions for Java

[hammer08plas]

Christian Hammer, Rüdiger Schaade, Gregor Snelting, Static Path Conditions for Java, Proceedings of the 3rd Workshop on Programming Languages and Analysis for Security, pp. 55--66, ACM, June 2008.

Zusammenfassung

A static path condition is a precise necessary condition for information flow between two program points. Previous work defined path conditions for procedural languages. Object oriented languages offer additional constructs such as dynamic dispatch, ...

Download

[PDF]

[DOI]

BibTeX

@inproceedings{hammer08plas,
  title = {Static Path Conditions for Java},
  booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Analysis
 for Security},
  year = {2008},
  month = jun,
  publisher = {ACM},
  pages = {55--66},
  author = {Christian Hammer and R{\"u}diger Schaade and Gregor Snelting},
  doi = {10.1145/1375696.1375704},
}

Institutsinterne Autoren

Lehrstuhlinhaber
Prof. Gregor Snelting

Ehemalige Mitarbeiter
Prof. Dr.-Ing. Christian Hammer

Projekte

Projekt

IFC for Mobile Components

VALSOFT/Joana