在执行程序中，特定情形下确实可以追加公司股东为被执行人，这主要基于股东的出资责任、人格混同以及清算责任等法律规定。以下是对此问题的详细分析：

1. 基于股东出资责任的追加

   • 未缴纳或未足额缴纳出资的股东：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条，若公司作为被执行人，其财产不足以清偿生效法律文书确定的债务，申请执行人可以申请追加未缴纳或未足额缴纳出资的股东为被执行人，要求其在尚未缴纳出资的范围内依法承担责任。例如，若股东认缴出资100万元，但实际仅缴纳了50万元，那么在公司无法清偿债务时，申请执行人可以申请追加该股东为被执行人，要求其缴纳剩余的50万元。
   • 抽逃出资的股东：依据《最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（三）》第十二条及第十四条，股东抽逃出资的行为构成对公司财产的侵害。当公司无法清偿债务时，法院可依据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十八条，追加抽逃出资的股东为被执行人，责令其在抽逃出资本息范围内承担补充赔偿责任。例如，股东在公司成立后，通过虚构债权债务关系将其出资转出，导致公司财产减少，那么在公司无法清偿债务时，该股东需在抽逃出资本息范围内承担补充赔偿责任。

2. 基于人格混同的追加

   • 当股东与公司存在财务混同、业务混同等情形，导致公司丧失独立人格时，根据《公司法》第二十条第三款，股东需对公司债务承担连带责任。此时，申请执行人可通过诉讼程序确认人格混同事实后，申请追加相关股东为被执行人。例如，股东与公司使用同一银行账户，资金往来频繁且无法区分，导致公司财产与股东财产混同，那么在公司无法清偿债务时，该股东需对公司债务承担连带责任。需注意的是，人格混同的认定需结合具体证据进行实质审查，如财务账簿、银行流水等。

3. 基于清算责任的追加

   • 未经合法清算即注销公司的股东：若公司作为被执行人被注销且未完成法定清算程序，根据《最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（二）》第二十条，股东需对公司债务承担连带清偿责任。申请执行人可据此申请追加相关股东为被执行人。例如，公司未经清算即被注销，导致债权人无法追讨债务，那么在公司注销后，债权人可以申请追加股东为被执行人，要求其承担连带清偿责任。
   • 怠于履行清算义务的股东：在公司解散后，若股东未及时成立清算组导致公司财产贬值、流失或灭失，债权人可根据《最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（二）》第十八条第一款，主张股东在造成损失范围内承担赔偿责任，并申请追加其为被执行人。例如，公司解散后，股东未及时成立清算组进行清算，导致公司财产被他人侵占或灭失，那么债权人可以申请追加股东为被执行人，要求其在造成损失范围内承担赔偿责任。

追加程序的法律要求：

• 申请追加股东为被执行人需通过书面申请方式提出，并提交初步证据证明股东存在上述违法情形。法院将依法组织听证审查，重点核查股东是否存在逃避债务的主观故意及客观行为。经审查符合法定条件的，法院将裁定追加；不符合条件的则予以驳回。

建议：

• 在申请追加股东为被执行人前，建议先收集相关证据，如股东出资证明、抽逃出资的证据、人格混同的证据以及清算责任的证据等。
• 若对追加程序或相关法律规定有疑问，建议直接向我咨询，以便更准确地了解法律程序和自身权益。

希望以上分析能对你有所帮助。如有其他法律问题，欢迎直接向我提问。