在执行程序中，若公司财产不足以清偿债务，债权人可依法申请追加存在特定情形的股东为被执行人，要求其承担相应责任。以下是对公司债务追加股东相关法律规定的详细解析：
一、法律依据
《公司法》相关规定：
- 股东应当按期足额缴纳公司章程中规定的各自所认缴的出资额。若股东违反这些规定，可能需要对公司债务承担相应责任。
《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》：
- 该规定明确了在何种情况下可以追加股东为被执行人，为司法实践中追加股东财产提供了具体的操作指引。
二、可追加股东为被执行人的常见情形
股东未履行或未全面履行出资义务：
- 具体说明：若股东未按公司章程规定足额缴纳出资，或只缴纳部分出资，且公司财产无法清偿债务，债权人可申请追加该股东为被执行人，要求其在未出资范围内对公司债务承担责任。
- 法律依据：《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条。
股东抽逃出资：
- 具体说明：股东通过虚构债权债务关系转出出资、制作虚假财务会计报表虚增利润进行分配等方式抽逃出资，导致公司财产减少无法偿债时，债权人可追加该股东为被执行人，要求其在抽逃出资的范围内对公司债务负责。
- 法律依据：《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十八条及《最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（三）》第十四条。
一人有限责任公司股东财产混同：
- 具体说明：对于一人有限责任公司，若股东不能证明公司财产独立于自己的财产，则应对公司债务承担连带责任。在此情况下，债权人可申请追加该股东为被执行人。
- 法律依据：《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十条及《中华人民共和国公司法》第六十三条。
公司解散时未依法清算：
- 具体说明：公司未经清算即办理注销登记，导致无法进行清算，或股东在公司解散后未依法进行清算，导致公司财产流失、债务无法清偿的，债权人可申请追加有限责任公司的股东、股份有限公司的董事和控股股东为被执行人，要求其对公司债务承担连带清偿责任。
- 法律依据：《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十一条及公司法原理、司法实践。
股东恶意处置公司财产：
- 具体说明：公司解散后，股东如果无偿接受公司财产或恶意处置公司财产，如隐匿、转移等，导致公司无足够财产偿债，债权人可申请追加该股东为被执行人，要求其在接受的财产范围内或恶意处置财产的范围内对公司债务负责。
- 法律依据：《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十二条。
三、追加程序
申请：
- 债权人需要向法院提出书面申请，申请书中应明确请求追加的具体股东、追加的事实和理由以及相关证据材料。例如，在主张股东未履行出资义务时，要提供公司章程、验资报告等证据来证明股东的实际出资情况与章程约定不符。
审查：
- 法院会对债权人的申请进行全面审查，包括形式审查和实质审查。形式审查主要查看申请材料是否齐全、是否符合法定格式；实质审查则重点核实申请的事实和理由是否成立，证据是否充分。
裁定：
- 经审查，法院会根据不同情况作出裁定。如果认为申请符合法律规定的追加条件，会裁定追加该股东为被执行人；如果认为不符合条件，则会驳回申请。
四、股东救济途径
异议：
- 股东对法院的追加裁定不服的，可以在收到裁定书之日起十五日内向执行法院提出书面异议。例如，股东认为自己已经履行了出资义务，只是由于某些客观原因导致相关证据未能及时提交，就可以通过这种方式来维护自己的权益。
复议：
- 如果法院驳回了股东的异议，股东还可以自裁定送达之日起十日内向上一级人民法院申请复议。上一级人民法院会对案件进行重新审查，并根据审查结果作出相应的决定。
在实际操作中，若您遇到公司债务追加股东的问题，建议根据具体情况收集相关证据，并咨询专业律师以制定合适的法律策略。如有任何疑问或需要进一步的法律帮助，请直接向我咨询。