在执行程序中，若公司财产不足以清偿债务，且存在特定情形，债权人可依法申请追加股东为被执行人，要求其承担相应责任。以下是追加执行股东的具体条件及相关法律分析：
一、股东未履行或未全面履行出资义务
条件分析：
- 未履行出资义务：指股东未按公司章程规定的出资时间、方式等履行出资责任，例如股东未按约定缴纳任何出资。
- 未全面履行出资义务：指股东虽部分出资，但未足额缴纳，如公司章程规定应出资100万元，实际只缴纳30万元。
- 公司财产不足以清偿债务：在执行程序中，经法院穷尽执行措施后，公司仍无财产可供执行或财产不足以清偿全部债务。
- 股东在未出资本息范围内承担责任：股东需在其未出资的本金及利息范围内，对公司债务不能清偿的部分承担补充赔偿责任。
法律依据：
- 《最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（三）》第十三条第二款规定：“公司债权人请求未履行或者未全面履行出资义务的股东在未出资本息范围内对公司债务不能清偿的部分承担补充赔偿责任的，人民法院应予支持。”
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条规定：“作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，在尚未缴纳出资的范围内依法承担责任的，人民法院应予支持。”
二、股东抽逃出资
条件分析：
- 股东存在抽逃出资行为：即股东在公司成立后，未经法定程序将出资抽回。
- 公司财产不足以清偿债务：同上。
- 股东在抽逃出资范围内承担责任：股东需在抽逃出资的范围内，对公司债务承担补充赔偿责任。
法律依据：
- 《最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（三）》第十四条第一款规定：“股东抽逃出资，公司或者其他股东请求其向公司返还出资本息……人民法院应予支持。”
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十八条规定：“作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加抽逃出资的股东、出资人为被执行人，在抽逃出资的范围内承担责任的，人民法院应予支持。”
三、一人有限责任公司的特殊情形
条件分析：
- 公司为一人有限责任公司：即公司仅有一个自然人股东或一个法人股东。
- 公司财产不足以清偿债务：同上。
- 股东不能证明公司财产独立于个人财产：股东需提供证据证明公司财产与个人财产相互独立，否则需对公司债务承担连带责任。
法律依据：
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十条规定：“作为被执行人的一人有限责任公司，财产不足以清偿生效法律文书确定的债务，股东不能证明公司财产独立于自己的财产，申请执行人申请变更、追加该股东为被执行人，对公司债务承担连带责任的，人民法院应予支持。”
四、其他可能追加股东为被执行人的情形
除上述明确法律规定的情形外，在某些特殊情况下，如股东滥用公司法人独立地位和股东有限责任逃避债务、严重损害债权人利益时，法院也可能根据《公司法》第二十条第三款“揭开公司面纱”的原则，追加股东为被执行人。但此类情形需结合具体案件事实进行判断，且通常要求股东的行为构成对公司法人独立地位的滥用和对债权人利益的严重损害。
在实际操作中，债权人若想追加股东为被执行人，需收集充分证据证明股东存在上述情形之一，并向法院提出申请。法院将依法审查并作出裁定。 若您在此过程中遇到任何问题或需要进一步的法律帮助，请随时向我咨询。