在执行程序中，若公司无法清偿债务，符合法定情形下可以追加股东为被执行人。以下是对此问题的详细解答：

结论前置

在特定情况下，如股东未足额缴纳出资、抽逃出资、滥用公司法人独立地位等，法院可追加股东为被执行人，以确保债权人的合法权益得到保障。

详细分析

1. 股东未足额缴纳出资：

   • 股东未按公司章程规定的期限足额缴纳出资的，债权人可申请追加该股东为被执行人，要求其在未出资范围内对公司债务不能清偿的部分承担补充赔偿责任。
   • 若出资期限虽未届满，但公司已具备破产原因且不申请破产，或债务产生后公司延长股东出资期限的，债权人可主张出资期限加速到期，要求未足额出资的股东承担相应责任。

2. 股东抽逃出资：

   • 股东通过不正当方式抽逃出资，导致公司财产减少无法偿债的，债权人可申请追加该股东为被执行人，要求其在抽逃出资的本息范围内对公司债务不能清偿的部分承担补充赔偿责任。

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

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

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

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

5. 公司未经清算即注销：

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

申请程序

• 申请人需向执行法院提交书面申请及相关证据材料。
• 执行法院受理后会进行审查，并可能组成合议庭进行审查及公开听证。
• 经审查理由成立的，执行法院会裁定变更、追加股东为被执行人；理由不成立的，则裁定驳回申请。

综上所述，在符合上述法定情形的情况下，债权人可依法申请追加股东为被执行人，以保障自身合法权益。若您有相关法律问题或需要进一步的法律帮助，请直接向我咨询。