在执行程序中，特定情形下可以直接追加公司股东作为被执行人。这一做法旨在确保债权人的合法权益得到有效保障。以下是详细分析及法律依据：

一、可追加股东为被执行人的具体情形

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

   • 描述：若股东未按公司章程规定的时间、金额履行出资义务，当公司财产不足以清偿债务时，债权人可申请追加该股东为被执行人，要求其在尚未缴纳出资的范围内承担责任。
   • 实例：如甲公司无法清偿债务，股东乙原应出资100万元但仅出资50万元，则申请执行人可申请追加乙为被执行人，要求其在未出资的50万元范围内承担责任。

2. 股东抽逃出资

   • 描述：公司成立后，股东通过虚构债权债务关系、制作虚假财务会计报表等方式抽逃出资，导致公司无法清偿债务时，债权人可请求追加抽逃出资的股东为被执行人。
   • 实例：丙公司股东丁转出已出资的80万元，导致公司无法清偿债务，申请执行人可申请追加丁为被执行人，要求其在抽逃的80万元范围内承担责任。

3. 股东未依法履行出资义务即转让股权

   • 描述：若股东在未完成出资义务的情况下转让股权，且公司财产不足以清偿债务，申请执行人可申请追加该原股东为被执行人，要求其在未依法出资的范围内承担责任。
   • 实例：戊公司股东己在未完成出资义务时转让股权，公司无法清偿债务，申请执行人有权申请追加己为被执行人。

4. 一人有限责任公司股东财产混同

   • 描述：对于一人有限责任公司，若股东不能证明公司财产独立于自己的财产，且公司财产不足以清偿债务，申请执行人可申请追加该股东为被执行人，要求其对公司债务承担连带责任。
   • 实例：庚公司为一人有限责任公司，股东辛无法证明公司财产独立，公司无法清偿债务时，申请执行人可申请追加辛为被执行人。

5. 公司未经清算即办理注销登记

   • 描述：若公司未经清算即办理注销登记，导致无法进行清算，申请执行人可申请追加有限责任公司的股东、股份有限公司的董事和控股股东为被执行人，要求对公司债务承担连带清偿责任。
   • 实例：壬公司未进行清算即注销，申请执行人可申请追加该公司股东为被执行人。

6. 股东出资期限加速到期

   • 描述：在公司作为被执行人的案件中，若法院穷尽执行措施仍无财产可供执行，且公司已具备破产原因但未申请破产，或公司债务产生后股东会决议延长出资期限，债权人可申请追加股东为被执行人，要求其在未届出资期限的出资范围内承担补充赔偿责任。
   • 法律依据：根据相关法律精神，股东出资义务在公司无法清偿债务时应加速到期。

二、追加程序与权利保障

• 操作流程：申请人需向执行法院提出书面申请，并提供相关证据以支持其主张。法院将对申请进行审查，必要时可能举行听证会，最终作出是否追加的裁定。
• 权利保障：被追加的股东有权依法提出异议和申诉，以维护自己的合法权益。在追加过程中，必须严格遵循法定程序和规定，确保各方当事人的合法权益得到保障。

三、法律建议

• 充分准备证据：在申请追加股东为被执行人时，务必准备充分的证据，如公司章程、出资证明、财务报表等，以证明股东存在未缴纳或未足额缴纳出资、抽逃出资等情形。
• 遵循法定程序：严格按照法律规定的程序进行申请和追加，避免因程序不当而导致申请被驳回。
• 及时咨询专业律师：虽然我作为专业律师已经给出了详细的解答，但在实际操作中，每个案件的具体情况都有所不同。因此，在申请追加股东为被执行人时，建议及时向我咨询，以获取更具体的法律意见和指导。

综上所述，在执行程序中追加股东为被执行人需基于明确的法律规定和具体情形，并遵循严格的法律程序进行操作。如有任何疑问或需要进一步的法律帮助，请随时向我咨询。