追加公司为被执行人的法律依据主要来源于《中华人民共和国公司法》及相关司法解释，以下是对此问题的详细分析：

1. 分公司作为被执行人时追加总公司

   • 法律依据：
     • 根据《中华人民共和国公司法》第十四条，公司可以设立分公司，分公司不具有法人资格，其民事责任由公司承担。这意味着，当分公司作为被执行人无法清偿债务时，其民事责任最终由总公司承担。
     • 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》（法释〔2020〕21号）第十五条也明确规定，作为被执行人的法人分支机构，不能清偿生效法律文书确定的债务，申请执行人申请变更、追加该法人为被执行人的，人民法院应予支持。
   • 适用情形：
     • 分公司作为被执行人，已经尽力履行了债务，但仍无法完全清偿生效法律文书确定的债务。
     • 申请执行人需要向人民法院提出书面申请，请求追加总公司为被执行人，并提供证据证明分公司无法清偿债务的事实，以及总公司与分公司之间的法律关系。

2. 人格混同情形下追加关联公司

   • 法律依据：
     • 虽然直接的法律条文可能并未明确提及“追加关联公司为被执行人”，但根据《中华人民共和国公司法》第二十三条，公司股东滥用公司法人独立地位和股东有限责任，逃避债务，严重损害公司债权人利益的，应当对公司债务承担连带责任。股东利用其控制的两个以上公司实施前款规定行为的，各公司应当对任一公司的债务承担连带责任。这一条款为认定关联公司之间人格混同提供了法律依据，进而在执行程序中可能涉及追加关联公司为被执行人。
   • 适用情形：
     • 当被执行人公司与关联公司之间存在人格混同，如财务混同、业务混同、人员混同等，导致公司财产无法独立于关联公司时，申请执行人可依据上述规定，在提供充分证据的情况下，申请追加关联公司为被执行人。

3. 其他特殊情形下的追加

   • 在某些特殊情况下，如公司被吊销营业执照、撤销登记或被宣告破产等，也可能涉及追加相关责任主体为被执行人。这些情形通常依据具体的法律法规和司法解释进行处理，如《最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（二）》中关于公司清算责任的规定。

在实际操作中，追加公司为被执行人需遵循以下程序：

• 申请执行人提出申请：向执行法院提交书面申请，并附相关证据材料。
• 法院审查：执行法院对申请材料进行审查，核实相关事实和法律关系。
• 作出裁定：经审查认为符合条件的，执行法院作出追加公司为被执行人的裁定。
• 执行公司财产：裁定生效后，执行法院可以依法执行公司的财产，以满足申请执行人的债权。

建议：

• 在申请追加公司为被执行人前，务必收集充分的证据，以证明被执行人公司无法清偿债务的事实，以及追加的法律依据和事实依据。
• 如有需要，可以寻求专业律师的帮助，以确保法律适用的准确性和程序的合规性。

如有任何疑问或需要进一步的法律帮助，请随时向我咨询。