在执行程序中，若公司股东未实缴出资，一般情况下可以依法追加其为被执行人，但需满足一定条件。以下从不同角度对此问题进行详细分析：
一、法定情形与法律依据
根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》等相关法律法规，以下情形可以追加未实缴出资的股东为被执行人：
未缴纳或未足额缴纳出资的股东：
- 作为被执行人的营利法人，若其财产不足以清偿生效法律文书确定的债务，申请执行人可以申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，在尚未缴纳出资的范围内依法承担责任。
- 法律依据：股东有义务按照公司章程的规定按时足额缴纳出资。若股东未履行或未全面履行出资义务，导致公司财产不足以清偿债务，该股东应在未出资本息范围内对公司债务不能清偿的部分承担补充赔偿责任。
抽逃出资的股东：
- 若股东在公司成立后抽逃出资，导致公司财产减少，无法清偿债务，申请执行人可以申请变更、追加抽逃出资的股东、出资人为被执行人，在抽逃出资的范围内承担责任。
- 法律依据：股东抽逃出资的行为违反了公司法的规定，损害了公司和其他债权人的利益，因此应承担相应的法律责任。
特定情形下的追加：
- 在股东恶意延长出资期限以逃避债务、公司进入破产或清算程序，或公司作为被执行人无财产可供执行且已具备破产原因却不申请破产等特定情形下，也可以追加未实缴出资的股东为被执行人。
- 法律依据：这些情形下，股东的行为可能损害了债权人的利益，为了保护债权人的合法权益，法律允许追加此类股东为被执行人。
二、追加程序与条件
申请执行人提出书面申请：
- 申请执行人需要向执行法院提出书面申请，并提供初步证据证明股东存在未实缴出资的情形。
执行法院审查与听证：
- 执行法院会对申请执行人的申请进行审查，并可能组织听证程序，以听取双方当事人的意见和证据。
作出裁定并送达：
- 执行法院根据审查结果作出是否追加被执行人的裁定，并将裁定书送达双方当事人。
三、法律后果与责任承担
补足出资并承担责任：
- 若股东被追加为被执行人，其需要在未实缴出资的范围内补足出资，并承担相应的法律责任。
可能面临的信用惩戒：
- 被追加为被执行人的股东还可能面临信用惩戒等后果，如被列入失信被执行人名单等。
四、实务建议与风险提示
及时履行出资义务：
- 股东应严格按照公司章程的规定按时足额缴纳出资，以避免被追加为被执行人的风险。
保留相关证据：
- 股东应保留好与出资相关的证据，如出资凭证、银行转账记录等，以备不时之需。
咨询专业律师：
- 若股东面临被追加为被执行人的风险，应及时咨询专业律师，了解自身权利和义务，并制定相应的应对策略。
举例说明：假设某公司因经营不善导致无法清偿到期债务，且其股东未按照公司章程的规定实缴出资。在此情况下，申请执行人可以向执行法院提出书面申请，要求追加未实缴出资的股东为被执行人。执行法院经审查后认为符合追加条件，遂作出裁定追加该股东为被执行人，并要求其在未实缴出资的范围内承担责任。
总结来看，在执行程序中追加未实缴出资的股东为被执行人需满足一定条件并遵循法定程序。股东应严格遵守公司法的规定及时履行出资义务以避免法律风险。若您在此方面有任何疑问或需要进一步的法律帮助，请随时向我咨询。