在执行程序中，法院可以依据法定情形和程序追加第三人为被执行人，以下是对此的详细解析：
一、追加情形
根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》等相关法律法规，法院在以下情形下可以追加第三人为被执行人：
自然人死亡或被宣告死亡：
- 若其遗产继承人未放弃继承，法院可裁定变更被执行人为该继承人，在其遗产范围内偿还债务；若继承人放弃继承，则直接执行被执行人的遗产。
自然人被宣告失踪：
- 法院可裁定变更其财产代管人为被执行人，由代管人从失踪人财产中支付债务。
法人或非法人组织的合并、分立：
- 合并后，权利义务由变更后的主体承受；分立后，各分立主体承担连带债务，法院可裁定变更后的主体为被执行人。
个人独资企业：
- 若不能清偿债务，申请执行人可申请变更、追加其投资人为被执行人。
合伙企业：
- 普通合伙企业不能清偿债务时，可追加普通合伙人为被执行人；有限合伙企业财产不足时，可追加未按期足额缴纳出资的有限合伙人为被执行人。
法人分支机构：
- 分支机构不能清偿债务时，可追加该法人为被执行人；法人直接管理的责任财产仍不能清偿时，可执行其他分支机构的财产。
公司股东未缴纳或未足额缴纳出资：
- 营利法人财产不足以清偿债务时，可追加未缴纳或未足额缴纳出资的股东、出资人或发起人为被执行人。
公司股东抽逃出资：
- 可追加抽逃出资的股东、出资人为被执行人，在抽逃出资范围内承担责任。
一人有限责任公司股东财产混同：
- 股东不能证明公司财产独立于自己财产时，可追加该股东为被执行人，对公司债务承担连带责任。
无偿接受法人财产：
- 法人或非法人组织解散后，其股东、出资人或主管部门无偿接受财产，致使无遗留财产或不足以清偿债务时，可追加其为被执行人。
二、追加程序
提出申请：
- 申请执行人需向执行法院提交书面申请，明确追加的事实、理由，并提供相关证据材料。
法院审查：
- 执行法院对申请进行审查，可能组成合议庭，要求听证，听取各方意见，调查核实事实。
作出裁定：
- 符合追加条件的，法院裁定追加第三人为被执行人；不符合的，裁定驳回申请。裁定书应阐明追加或驳回的事实、理由和法律依据。
送达与执行：
- 裁定书送达申请人、被申请人和第三人。第三人应按裁定要求履行义务，否则法院有权采取强制措施执行。
救济途径：
- 被追加的第三人对裁定不服的，可在规定期限内向上一级法院申请复议或向执行法院提起执行异议之诉。
三、注意事项
法律依据：
- 追加第三人为被执行人的主要法律依据包括《中华人民共和国民事诉讼法》及《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》等。
证据充分性：
- 申请人必须提供充分的证据来证明第三人应当被追加为被执行人，如合同、协议、转账记录、财务报表等。
程序正当性：
- 整个追加过程必须遵循法定程序，确保当事人的合法权益得到充分保障。
在实际操作中，若您遇到需要追加第三人为被执行人的情况，请务必遵循相关法律法规，确保程序的合法性和正当性。如有任何疑问或需要进一步的法律帮助，请直接向我咨询。