在特定情况下，可以依法追加历史股东为被执行人，但需满足严格的法律条件和程序。以下是对此问题的详细分析：

一、可追加历史股东为被执行人的具体情形

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

   • 法律依据：《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条。
   • 情形描述：若公司财产不足以清偿债务，且历史股东未按公司章程或法律规定足额缴纳出资，申请执行人可申请追加该历史股东为被执行人，要求其在未出资范围内承担责任。
   • 实例说明：如某公司拖欠货款，经判决需支付但无法全额清偿，历史股东甲在公司设立时承诺出资100万元，但实际仅出资50万元，则债权人可申请追加甲为被执行人，要求其承担剩余50万元的出资责任。

2. 历史股东抽逃出资

   • 法律依据：同上规定第十八条。
   • 情形描述：历史股东在公司成立后非法将其出资抽回，导致公司财产不足以清偿债务，申请执行人可申请追加该历史股东为被执行人。
   • 实例说明：若历史股东乙在公司成立后，通过虚构交易将出资款转回个人账户，导致公司无法清偿债务，债权人可申请追加乙为被执行人。

3. 历史股东滥用公司法人独立地位和股东有限责任逃避债务

   • 法律依据：《中华人民共和国公司法》第二十三条。
   • 情形描述：历史股东滥用公司法人独立地位和股东有限责任，逃避债务，严重损害公司债权人利益的，应当对公司债务承担连带责任，此时可被追加为被执行人。股东利用其控制的两个以上公司实施前款规定行为的，各公司应当对任一公司的债务承担连带责任。
   • 实例说明：历史股东丙将公司业务转移至个人控制的其他公司，导致原公司无法偿债，债权人可申请追加丙为被执行人。

4. 一人有限责任公司历史股东财产混同

   • 法律依据：《中华人民共和国公司法》第二十三条。只有一个股东的公司，股东不能证明公司财产独立于股东自己的财产的，应当对公司债务承担连带责任，可被追加为被执行人。
   • 情形描述：在一人有限责任公司中，若唯一历史股东无法证明公司财产与个人财产相互独立，那么当公司出现债务问题时，该历史股东需要承担连带责任，进而可能被追加为被执行人。
   • 实例说明：丁作为一人公司的唯一历史股东，无法证明公司财产与个人财产独立，债权人可申请追加丁为被执行人。

二、追加历史股东为被执行人的程序

1. 提出书面申请

   • 申请人需向执行法院提交书面申请及相关证据材料，证明历史股东存在上述不当行为且损害了债权人利益。

2. 法院审查与裁定

   • 执行法院对申请进行形式审查，若理由成立，则裁定变更、追加被执行人；若不成立，则裁定驳回。

三、注意事项

1. 证据收集与保存

   • 在申请追加历史股东为被执行人时，必须确保有充分的证据证明历史股东存在未履行出资义务、抽逃出资、滥用公司法人独立地位等行为。这些证据可能包括出资凭证、验资报告、财务账目、业务合同等。

2. 法律程序合规性

   • 在整个追加过程中，必须严格遵守相关法律法规和程序要求，确保操作的合法性和合规性。任何违反法律程序的行为都可能导致申请被驳回或面临其他法律后果。

3. 历史股东权益保护

   • 在追加历史股东为被执行人的同时，也应确保程序公正、公开，避免无辜历史股东的合法权益受到损害。如果历史股东对追加决定有异议，他们有权提出执行异议或提起执行异议之诉来维护自己的权益。

总结来说，追加历史股东为被执行人是一个严谨的法律过程，需要满足特定的条件并遵循相应的程序。在实际操作中，建议直接向我咨询以确保操作的准确性和合法性。