This paper constructs a instance of PCP problem of the concurrent interprocedural program analysis problem, but with only two concurrent tasks.

• 利用反射的思想，仅仅用两个并发任务构造该问题的一个PCP问题实例，证明在两个并发任务的情况下，过程间并发程序分析是一个不可判定问题。