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:
