在执行程序中，当原被执行人无法或不足以清偿生效法律文书确定的债务时，申请执行人可依法申请追加相关主体为被执行人，以承担相应责任。以下是对追加被执行人情形的详细归纳与分析：
一、自然人相关情形
死亡或被宣告死亡：
- 若被执行人为自然人且已死亡或被宣告死亡，其遗产继承人未放弃继承的，法院可裁定变更继承人为被执行人，在继承遗产范围内偿还债务；若继承人放弃继承，则直接执行遗产。同时，申请执行人也可申请变更遗嘱管理人、受遗赠人等取得遗产的主体为被执行人。
被宣告失踪：
- 若被执行人被宣告失踪，申请执行人可申请变更其财产代管人为被执行人，在代管财产范围内承担责任。
二、法人或非法人组织相关情形
合并与分立：
- 法人或非法人组织合并的，申请执行人可申请变更合并后的新主体为被执行人；分立的，则可申请追加分立后新设的主体为被执行人，对债务承担连带责任，除非分立前有另行约定。
注销、吊销等解散事由：
- 若法人或非法人组织因注销、吊销营业执照等解散事由终止，且其股东、出资人或主管部门无偿接受财产导致无法清偿债务，申请执行人可申请追加这些主体为被执行人，在接受财产范围内承担责任。
个人独资企业：
- 个人独资企业不能清偿债务的，申请执行人可申请追加其出资人为被执行人。
合伙企业：
- 合伙企业不能清偿债务的，申请执行人可申请追加普通合伙人为被执行人；有限合伙企业财产不足的，可追加未按期足额缴纳出资的有限合伙人为被执行人。
法人分支机构：
- 法人分支机构不能清偿债务的，申请执行人可先申请追加该法人为被执行人，若仍不足清偿，可直接执行该法人其他分支机构的财产；反之亦然。
营利法人财产不足：
- 营利法人财产不足以清偿债务的，申请执行人可申请追加抽逃出资的股东、出资人为被执行人。
三、股东、出资人相关情形
未缴纳或未足额缴纳出资：
- 企业法人财产不足以清偿债务的，申请执行人可申请追加未缴纳或未足额缴纳出资的股东、出资人或连带责任的发起人为被执行人。
抽逃出资：
- 同样情况下，可追加抽逃出资的股东、出资人为被执行人。
未依法履行出资义务即转让股权：
- 公司财产不足以清偿债务的，若股东未依法履行出资义务即转让股权，申请执行人可申请追加该原股东或连带责任的发起人为被执行人。
四、一人有限责任公司相关
- 若一人有限责任公司财产不足以清偿债务，且股东不能证明公司财产独立于自己财产，申请执行人可申请追加该股东为被执行人，对公司债务承担连带责任。
五、其他特殊情形
协助执行义务人违规：
- 协助执行义务人违反规定擅自转移、解冻资金或提供帮助的，法院可裁定追加其为被执行人，在造成损失的范围内承担赔偿责任。
第三人承诺或代履行债务：
- 若第三人书面承诺对被执行人的债务承担清偿责任或自愿代履行债务，申请执行人可申请追加该第三人为被执行人。
财产被行政命令无偿调拨、划转：
- 若法人或非法人组织财产依行政命令被无偿调拨、划转给第三人导致无法清偿债务，申请执行人可申请追加该第三人为被执行人。
程序说明
追加被执行人的程序通常包括申请执行人提出追加申请、执行机构审查、举行听证（如有必要）、作出裁定等步骤。裁定追加后，执行法院会向新的被执行人发出执行通知书，责令其在指定期限内履行义务。
在实际操作中，若您遇到需要追加被执行人的情况，建议直接向我咨询，以便根据具体情况进行申请和裁定，确保程序的合法性和有效性。