analysis - 程序分析 - 通过路径加入与通过路径相遇

Question

MOP和JOP是程序分析中常用的概念。据我所知，MOP 上升，JOP 下降。但是，我仍然需要两者的可靠定义+解释（和应用程序）。任何答案将不胜感激。