[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

Daniel Quinlan, G. Barany, T. Panas:
"Towards Distributed Memory Parallel Program Analysis";
Vortrag: Dagstuhl Seminar 08161 Scalable Program Analysis, Schloss Dagstuhl, Wadern, Deutschland (eingeladen); 13.04.2008 - 18.04.2008; in: "Proceedings of the Dagstuhl Seminar 08161 Scalable Program Analysis", Leibniz-Zentrum für Informatik, (2008), ISSN: 1862-4405; 9 S.



Kurzfassung englisch:
Our work presents a parallel attribute evaluation for distributed memory parallel computer architectures where previously only shared memory parallel support for this technique has been developed. Attribute evaluation is a part of how attribute grammars are used for program analysis within modern compilers. Within this work, we have extended ROSE, a open compiler infrastructure, with a distributed memory parallel attribute evaluation mechanism to support user defined global program analysis required for some forms of security analysis which can not be addresses by a file by file view of large scale applications. As a result, user defined security analyzes may now run in parallel without the user having to specify the way data is communicated between processors. The automation of communication enables an extensible open-source parallel program analysis infrastructure.

Schlagworte:
static analysis, distributed systems, security


Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_170833.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.