在执行程序中，若公司无法清偿债务，在符合法定情形时，可以追加股东为被执行人。以下是对此问题的详细解析：
可追加股东为被执行人的常见情形
公司财产不足以清偿债务
- 这是追加股东为被执行人的基本前提。若公司有足够财产清偿债务，则应先执行公司财产，无需追加股东。
股东未足额缴纳出资
- 出资期限届满未缴足：若股东未按公司章程规定的期限足额缴纳出资，债权人可申请追加该股东为被执行人，要求其在未出资范围内承担补充赔偿责任。
- 出资期限加速到期：在特定情况下，如公司已具备破产原因且不申请破产，或债务产生后延长股东出资期限的，债权人可主张出资期限加速到期，要求未足额出资的股东承担责任。
- 未履行出资义务即转让股权：若股东在未完全履行出资义务的情况下转让股权，且导致公司无法清偿债务的，同样可被追加为被执行人。
股东抽逃出资
- 股东通过虚构债权债务、制作虚假财务报表、利用关联交易等方式抽逃出资的，债权人可申请追加该股东为被执行人，要求其在抽逃出资的本息范围内承担补充赔偿责任。
股东滥用公司法人独立地位和股东有限责任
- 人格混同：若公司与股东在人员、财务、业务等方面难以区分，导致公司失去独立法人资格的，股东应对公司债务承担连带责任，可被追加为被执行人。
- 过度支配与控制：若股东对公司进行过度支配与控制，使公司沦为股东工具以逃避债务的，同样可被追加为被执行人。
一人有限责任公司的特殊规定
- 对于一人有限责任公司，股东需证明公司财产独立于自己的财产。若不能证明，则股东应对公司债务承担连带责任，可被追加为被执行人。
公司未经清算即注销
- 若公司未经清算即办理注销登记，导致债权人无法追偿债务的，法院可追加公司的股东为被执行人，由其承担相应的债务清偿责任。
申请追加股东为被执行人的程序
- 提交申请：申请人需向执行法院提交书面申请及相关证据材料，如股东出资记录、公司财务报表、抽逃出资的证据等。
- 法院审查：执行法院受理后会进行形式审查，并可能组成合议庭进行审查并公开听证，以确认是否符合追加股东为被执行人的条件。
- 裁定结果：经审查理由成立的，执行法院会裁定变更、追加股东为被执行人；理由不成立的，则裁定驳回申请。
法律建议
- 对于债权人：在遇到公司无法清偿债务的情况时，应及时收集相关证据，如股东出资记录、公司财务报表等，以证明符合追加股东为被执行人的条件。
- 对于公司：应规范自身的运营和管理，严格按照公司章程规定督促股东履行出资义务，避免出现抽逃出资等行为。在公司注销时，务必依法进行清算，确保公司债务得到妥善处理。
- 对于股东：应增强法律意识，明确自身在公司运营中的责任和义务，避免因违规行为而被追加为被执行人。
在执行程序中追加股东为被执行人是一个复杂的法律问题，涉及多个方面的法律规定和证据收集。因此，在处理此类问题时，建议直接向我咨询，以确保您的合法权益得到最大程度的保障。