Scalable Program Analysis | |
Towards Distributed Memory Parallel Program Analysis | |
计算机科学;物理学 | |
Daniel Quinlan ; Gergo Barany ; Thomas Panas | |
Others : http://drops.dagstuhl.de/opus/volltexte/2008/1568/pdf/08161.QuinlanDaniel.Paper.1568.pdf PID : 10614 |
|
学科分类:计算机科学(综合) | |
来源: CEUR | |
【 摘 要 】
This paper presents a parallel attribute evaluation for distributed memory parallel computer architectures where previously only shared memory parallel support for this technique has been devel oped. 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 addressed by a file by file view of large scale applications. As a result, user defined security analyses 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.
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
Towards Distributed Memory Parallel Program Analysis | 555KB | download |