The increasing demands for highly performant, proven correct, easilymaintainable, extensible programs together with the continuousgrowth of real-world programs strengthen the pressure for powerful andscalable program analyses for program development and codegeneration. Multi-core computing systems offer new chances forenhancing the scalability of program analyses, if the additionalcomputing power offered by these systems can be usedeffectively. This, however, poses new challenges on the analysisside. In principle, it requires program analyses which can be easilyparallelized and mapped to multi-core architectures. In this paper weremind to reverse data-flow analysis, which has been introducedand investigated in the context of demand-driven data-flow analysis,as one such class of program analyses which is particularly suitablefor this.
展开▼
