在执行程序中，若公司财产不足以清偿债务，债权人可依法申请追加存在特定情形的股东为被执行人，要求其承担相应责任。这些情形主要包括以下几个方面：

1. 股东未履行或未全面履行出资义务

   • 情形描述：股东未按公司章程规定足额缴纳出资，或只缴纳了部分出资，导致公司财产不足以清偿债务。
   • 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条，债权人可申请追加未缴纳或未足额缴纳出资的股东为被执行人，要求其在尚未缴纳出资的范围内依法承担责任。
   • 举例：若公司章程规定某股东应出资100万元，但该股东仅出资30万元，剩余70万元未缴纳。在公司无法清偿债务时，债权人可申请追加该股东为被执行人，要求其缴纳剩余的70万元出资以清偿债务。

2. 股东抽逃出资

   • 情形描述：股东在公司成立后，通过虚构债权债务关系、制作虚假财务会计报表虚增利润进行分配等方式抽逃出资，导致公司财产减少无法偿债。
   • 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十八条，债权人可申请追加抽逃出资的股东为被执行人，要求其在抽逃出资的范围内承担责任。
   • 举例：某股东在公司成立后，通过虚构交易将已缴纳的出资50万元转出，导致公司财产减少。在公司无法清偿债务时，债权人可申请追加该股东为被执行人，要求其返还抽逃的50万元出资以清偿债务。

3. 一人有限责任公司股东财产混同

   • 情形描述：对于一人有限责任公司，若股东不能证明公司财产独立于自己的财产，即存在财产混同。
   • 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十条及《中华人民共和国公司法》第六十三条，债权人可申请追加该股东为被执行人，要求其对公司债务承担连带责任。
   • 举例：某一人有限责任公司的股东无法提供公司财产独立于其个人财产的证据，如公司财务账目混乱、个人财产与公司财产混用等。在公司无法清偿债务时，债权人可申请追加该股东为被执行人，要求其对公司债务承担连带责任。

4. 公司解散时未依法清算

   • 情形描述：公司未经清算即办理注销登记，导致无法进行清算，或股东在公司解散后未依法进行清算，导致公司财产流失、债务无法清偿。
   • 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十一条，债权人可申请追加有限责任公司的股东、股份有限公司的董事和控股股东为被执行人，要求其对公司债务承担连带清偿责任。
   • 举例：某公司在解散后未依法进行清算，直接办理了注销登记。在公司无法清偿债务时，债权人可申请追加该公司的股东为被执行人，要求其对公司债务承担连带清偿责任。

5. 股东恶意处置公司财产

   • 情形描述：公司解散后，股东如果无偿接受公司财产或恶意处置公司财产，如隐匿、转移等，导致公司无足够财产偿债。
   • 法律依据：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十二条，债权人可申请追加该股东为被执行人，要求其在接受的财产范围内或恶意处置财产的范围内对公司债务负责。
   • 举例：某公司在解散后，股东将公司财产无偿转让给自己或他人，导致公司无法清偿债务。债权人可申请追加该股东为被执行人，要求其返还转让的财产或赔偿相应的损失以清偿债务。

在申请追加股东为被执行人时，申请人需向执行法院提交书面申请及相关证据材料。执行法院将依法进行审查，并可能组成合议庭进行审查并公开听证。经审查理由成立的，裁定变更、追加；理由不成立的，裁定驳回。

若您在执行程序中遇到需要追加股东为被执行人的情况，或对此有任何疑问，请直接向我咨询。我将根据您的具体情况，提供详细的法律建议和帮助。