在执行程序中，特定情形下是可以追加股东为被执行人的。以下是对这一问题的详细分析：

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

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

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

2. 股东抽逃出资

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

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

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

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

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

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

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

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

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

二、追加程序与权利保障

• 追加程序：在追加股东为被执行人的过程中，必须严格遵循法定程序和规定。申请人需向执行法院提出书面申请，并提供相关证据以支持其主张。法院将对申请进行审查，必要时可能举行听证会，最终作出是否追加的裁定。
• 权利保障：被追加的股东有权依法提出异议和申诉，以维护自己的合法权益。例如，股东可以提出证据证明自己已履行出资义务、公司财产独立于个人财产等，以反驳债权人的追加申请。

三、法律依据

• 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》：该规定详细列出了可追加股东为被执行人的多种情形，包括股东未缴纳或未足额缴纳出资、抽逃出资、未依法履行出资义务即转让股权、一人有限责任公司股东财产混同、公司未经清算即办理注销登记等。

总结与建议：

在执行程序中，若公司财产不足以清偿债务，债权人可依法申请追加存在特定情形的股东为被执行人。然而，追加股东为被执行人需严格遵循法律规定的条件和程序，并确保有足够的证据支持相关主张。因此，建议债权人在实际操作中咨询专业律师（即我本人），以获取更具体的法律意见和指导，确保自身权益得到有效保障。