在执行程序中，法院通常使用异议程序追加案外人为被执行人的主要法律依据是《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》。以下是对该问题的详细分析：

一、可以追加为被执行人的情形及法律依据

1. 自然人死亡或被宣告死亡

   • 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十条，作为被执行人的自然人死亡或被宣告死亡，申请执行人申请变更、追加该自然人的遗嘱执行人、继承人、受遗赠人或其他因该自然人死亡或被宣告死亡取得遗产的主体为被执行人，在遗产范围内承担责任的，人民法院应予支持。继承人放弃继承或受遗赠人放弃受遗赠，又无遗嘱执行人的，人民法院可以直接执行遗产。

2. 法人或其他组织终止

   • 法律依据：依据同上规定第十一条，作为被执行人的法人或其他组织终止，申请执行人申请变更、追加其权利义务承受人为被执行人的，人民法院应予支持。若无权利义务承受人或该承受人下落不明，可追加其清算责任人、遗产管理人、遗嘱执行人或财产代管人为被执行人。

3. 法人分支机构无法清偿债务

   • 法律依据：根据该规定第十三条，作为被执行人的法人分支机构，不能清偿生效法律文书确定的债务，申请执行人申请变更、追加该法人为被执行人的，人民法院应予支持。法人直接管理的责任财产仍不能清偿债务的，人民法院可以直接执行该法人其他分支机构的财产。若该法人为企业法人的，可继续追加设立该法人的企业为被执行人。

4. 个人独资企业不能清偿债务

   • 法律依据：依据该规定第十三条，作为被执行人的个人独资企业，不能清偿生效法律文书确定的债务，申请执行人申请变更、追加其投资人为被执行人的，人民法院应予支持。

5. 合伙企业不能清偿债务

   • 法律依据：根据该规定第十四条，作为被执行人的合伙企业，不能清偿生效法律文书确定的债务，申请执行人申请变更、追加普通合伙人为被执行人的，人民法院应予支持。有限合伙人未按期足额缴纳出资的，应在未缴范围内承担责任。

6. 营利法人不能清偿债务

   • 法律依据：依据该规定第十七条至第二十一条，作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，在尚未缴纳出资的范围内依法承担责任的，人民法院应予支持。对于一人公司，若股东不能证明财产独立，应追加为被执行人。

7. 公司未经清算即办理注销登记

   • 法律依据：根据该规定第二十二条，作为被执行人的法人或其他组织，被注销或出现被吊销营业执照、被撤销、被责令关闭、歇业等解散事由后，其股东、出资人或主管部门无偿接受其财产，致使该被执行人无遗留财产或遗留财产不足清偿债务，申请执行人申请变更、追加该股东、出资人或主管部门为被执行人，在接受的财产范围内承担责任的，人民法院应予支持。对于公司未经清算即办理注销登记的情形，可申请追加有限责任公司的股东、股份有限公司的董事和控股股东为被执行人。

8. 法人或其他组织分立

   • 法律依据：依据该规定第十二条，作为被执行人的法人或其他组织分立，申请执行人申请变更、追加分立后存续、新设的法人或其他组织为被执行人，对生效法律文书确定的债务承担连带清偿责任的，人民法院应予支持。但被执行人在分立前与申请执行人就债务清偿达成的书面协议另有约定的除外。

9. 第三人特定情形下需担责

   • 法律依据：根据该规定第二十三条至第二十五条，包括承诺代偿债务、自愿代履行、提供保证、与被执行人共同侵权需连带赔偿、无偿接受财产致被执行人无履行能力等情况，可申请追加第三人为被执行人。

二、不得追加为被执行人的情形

• 个体工商户的字号为被执行人时：仅当经营者为被执行人时方可直接执行，否则不得追加经营者为被执行人。

在执行程序中，若需追加案外人为被执行人，通常需通过异议程序进行，并严格依据上述法律规定进行审查和裁定。如有具体法律问题或需要进一步的法律帮助，请直接向我咨询。