在执行程序中，追加变更被执行人的主要法律依据是《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》。以下是对该依据及具体情形的详细归纳与分析：

一、主要法律依据

1. 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》
   • 该规定详细列明了可以追加被执行人的多种情形，为执行程序中追加变更被执行人提供了明确的法律指引。

二、追加被执行人的具体情形及适用条件

1. 作为被执行人的自然人死亡或被宣告死亡

   • 情形：申请执行人可申请变更、追加该自然人的遗产管理人、继承人、受遗赠人或其他因该自然人死亡或被宣告死亡取得遗产的主体为被执行人，在遗产范围内承担责任。
   • 法律依据：该规定第十条。

2. 作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务

   • 情形一：申请执行人可申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，在尚未缴纳出资的范围内依法承担责任。
   • 法律依据：该规定第十七条。
   • 情形二：若公司股东未依法履行出资义务即转让股权，申请执行人可申请变更、追加该原股东或依公司法规定对该出资承担连带责任的发起人为被执行人，在未依法出资的范围内承担责任。
   • 法律依据：该规定第十九条。
   • 情形三：若公司未经清算即办理注销登记，导致公司无法进行清算，申请执行人可申请变更、追加有限责任公司的股东、股份有限公司的董事和控股股东为被执行人，对公司债务承担连带清偿责任。
   • 法律依据：该规定第二十一条。

3. 作为被执行人的法人或非法人组织因合并而终止

   • 情形：申请执行人可申请变更合并后存续或新设的法人、非法人组织为被执行人。
   • 法律依据：该规定第十一条。

4. 作为被执行人的企业法人分支机构不能清偿债务

   • 情形：申请执行人可申请追加该企业法人为被执行人，要求其对企业法人分支机构的债务承担责任。
   • 法律依据：虽然该规定未直接提及，但根据法人分支机构与法人之间的法律关系，可依法进行追加。

5. 其他特殊情形

   • 情形：如一人有限责任公司财产混同、股东抽逃出资等，申请执行人也可根据具体情况申请追加相关责任人为被执行人。
   • 法律依据：该规定中的相关条款，如第二十条（针对一人有限责任公司股东不能证明公司财产独立于个人财产的情形）等。

三、追加被执行人的程序及注意事项

1. 证据材料的准备：申请执行人在申请追加被执行人时，需提供充分的证据材料证明追加事由的存在，如股东未缴纳或未足额缴纳出资的证据、公司未经清算即注销的证据等。
2. 书面申请的提交：申请应以书面形式提出，并明确追加的事由和请求。
3. 法院的审查与裁定：执行法院将对申请进行审查，并根据具体情况作出是否追加的裁定。对裁定不服的，当事人可在法定期限内向上级法院申请复议。

在执行程序中，追加变更被执行人是一项重要的法律措施，有助于保障债权人的合法权益。若您在执行程序中遇到追加变更被执行人的问题，可以直接向我咨询，我会根据您的具体情况提供详细的法律建议。