Synchronized Pushdown Systems

Synchronized Pushdown Systems (SPDS) are a recently development for efficient and precise data-flow analysis. SPDS relies on two pushdown systems, one system models field-sensitivity, the other one context-sensitivity. The results of both systems are then synchronized and yield a field- and context-sensitive data-flow analysis.

The implementation of SPDS is found here:

Johannes Späth
Researcher of Program Analysis