在执行程序中，当公司无法清偿债务时，若符合法定情形，可以追加股东为被执行人。以下是详细的程序及常见情形分析：

一、可追加股东为被执行人的常见情形

1. 股东未足额缴纳出资

   • 出资期限届满未缴足：若股东未按公司章程规定的期限足额缴纳出资，且公司财产不足以清偿债务，债权人可申请追加该股东为被执行人，要求其在未出资范围内承担补充赔偿责任。
   • 出资期限加速到期：即便出资期限未届满，但若公司已具备破产原因且不申请破产，或债务产生后延长股东出资期限的，债权人可主张出资期限加速到期，要求未足额出资的股东承担责任。
   • 未履行出资义务即转让股权：股东在未完全履行出资义务的情况下转让股权，且导致公司无法清偿债务的，同样可被追加为被执行人。

2. 股东抽逃出资

   • 股东通过虚构债权债务、制作虚假财务报表、利用关联交易等方式抽逃出资的，债权人可申请追加该股东为被执行人，要求其在抽逃出资的本息范围内承担补充赔偿责任。

3. 股东滥用公司法人独立地位和股东有限责任

   • 人格混同：若公司与股东在人员、财务、业务等方面难以区分，导致公司失去独立法人资格，股东应对公司债务承担连带责任，可被追加为被执行人。
   • 过度支配与控制：股东对公司进行过度支配与控制，使公司沦为股东工具以逃避债务的，同样可被追加为被执行人。

4. 一人有限责任公司的特殊规定

   • 对于一人有限责任公司，若股东不能证明公司财产独立于自己的财产，则股东应对公司债务承担连带责任，可被追加为被执行人。

5. 公司未经清算即注销

   • 若公司未经清算即办理注销登记，导致债权人无法追偿债务的，法院可追加公司的股东为被执行人，由其承担相应的债务清偿责任。

二、追加股东为被执行人的程序

1. 提交申请

   • 申请人需向执行法院提交书面申请，明确申请事项、事实和理由，并附上相关证据材料。

2. 法院审查

   • 执行法院受理申请后，会进行形式审查，确认申请材料是否齐全、符合法定格式。
   • 随后，法院会进行实质审查，核实股东是否存在可追加的情形以及申请人提供的证据是否充分。
   • 在审查过程中，法院可能会组织听证会，听取双方当事人的意见和陈述，以便更全面地了解案件情况。

3. 裁定结果

   • 经审查认为申请理由成立的，执行法院会裁定变更、追加股东为被执行人。
   • 若认为申请理由不成立的，则会裁定驳回申请。

4. 后续救济措施

   • 如果申请人对法院的裁定不服，可以在法定期限内向上一级人民法院申请复议。
   • 在某些情况下，如涉及实体权利义务争议的，当事人还可以通过另行提起诉讼的方式解决纠纷。

三、建议与注意事项

• 充分准备证据：在申请追加股东为被执行人时，务必提供充分的证据来证明股东存在可追加的情形，如出资证明、股权转让协议、财务审计报告、工商登记资料等。
• 及时提出申请：需在执行终结前提出申请，避免因程序终结丧失追加机会。
• 寻求专业支持：由于执行程序涉及复杂的法律问题和证据收集，建议委托专业律师协助处理，以提高申请的成功率。

在执行程序中追加股东为被执行人是一个复杂而细致的过程，需要严格遵循法定程序和条件。如果您在此过程中遇到任何问题或需要进一步的法律帮助，请随时向我咨询。