在执行程序中，当公司无法清偿债务时，在符合法定情形下，债权人确实可以申请追加公司股东为被执行人。以下是对这一问题的详细解析，涵盖了常见可追加股东为被执行人的情形以及相应的申请程序：

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

1. 公司财产不足以清偿债务

   • 这是追加股东为被执行人的基本前提。若公司有足够财产清偿债务，则应先执行公司财产，无需追加股东。

2. 股东未足额缴纳出资

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

3. 股东抽逃出资

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

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

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

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

   • 对于一人有限责任公司，若股东不能证明公司财产独立于自己的财产，即存在财产混同情况，当公司无法清偿债务时，股东应对公司债务承担连带责任，可被追加为被执行人。

6. 公司未经清算即注销

   • 有限责任公司的股东、股份有限公司的董事和控股股东，在公司未经依法清算就办理注销登记，导致债权人无法追偿债务的，法院可追加上述人员为被执行人，要求其对公司债务承担连带清偿责任。

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

1. 提交申请：债权人需向执行法院提交书面申请，详细说明追加股东为被执行人的理由和事实依据，并附上相关证据材料。

2. 法院审查：执行法院受理申请后，会进行形式审查，并可能组成合议庭进行实质审查，必要时还会公开听证，以确保审查的公正性和透明度。

3. 裁定结果：经审查，若理由成立，执行法院会裁定变更、追加股东为被执行人；若理由不成立，则裁定驳回申请。被追加的股东有权依法提出异议和申诉，以维护自己的合法权益。

三、注意事项

• 在申请追加股东为被执行人时，债权人应确保所提供的证据材料真实、合法、有效，以支持其申请理由。
• 股东在收到追加被执行人的裁定后，应积极行使自己的权利，如提出异议、申诉等，以维护自身合法权益。

综上所述，在符合法定情形的情况下，债权人可依法申请追加股东为被执行人，以保障自身合法权益。同时，股东也应严格遵守相关法律法规，避免滥用公司法人独立地位和股东有限责任以逃避债务。