程序主逻辑分析