在公司没有财产可供执行的情况下，若满足特定条件，债权人确实可以依法申请追加未出资的股东为被执行人。这一结论基于我国相关法律法规的规定，旨在保护债权人的合法权益，确保债务得到清偿。以下是从不同角度对这一问题的详细分析：
一、法律依据与具体情形
股东未足额缴纳出资：
- 法律规定：根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条，作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务时，申请执行人可以申请变更、追加未缴纳或未足额缴纳出资的股东为被执行人，在尚未缴纳出资的范围内依法承担责任。
- 实例说明：假设某公司注册资本为100万元，股东A认缴60万元但仅实缴30万元。若公司无法清偿债务，债权人可申请追加股东A，要求其在未缴纳的30万元范围内承担责任。
股东抽逃出资：
- 法律规定：同样依据上述规定的第十八条，若股东抽逃出资，申请执行人可申请追加该股东为被执行人，在抽逃出资的范围内承担责任。
- 实例说明：股东B通过虚构债权债务关系抽回50万元出资。在公司无财产可执行时，债权人可申请追加股东B，要求其在抽逃的50万元范围内承担责任。
其他情形：
- 除了未足额缴纳出资和抽逃出资外，若股东存在未依法履行出资义务即转让股权、滥用公司法人独立地位和股东有限责任逃避债务、一人有限责任公司股东财产不独立等情形，债权人也可依法申请追加股东为被执行人。
二、追加程序与注意事项
追加程序：
- 申请执行人在发现公司无财产可供执行时，应向执行法院提出申请，要求追加相关股东为被执行人。
- 执行法院将依法审查申请，并作出是否追加的裁定。若裁定追加，该股东将在相应范围内对公司债务承担责任。
注意事项：
- 证据收集：债权人在申请追加股东为被执行人时，应充分收集证据，证明股东存在未足额缴纳出资、抽逃出资等违法行为。
- 法律程序：债权人应严格遵循法律程序，确保申请的合法性和有效性。避免因程序不当而导致申请被驳回。
- 持续关注：债权人应持续关注被执行人的财务状况，以便及时发现可供执行的财产。同时，若公司确实无财产可供执行，法院可裁定中止执行程序，待出现可供执行财产后再恢复执行。
三、法律后果与风险提示
法律后果：
- 若股东被依法追加为被执行人，其将在相应范围内对公司债务承担责任。这有助于保护债权人的合法权益，确保债务得到清偿。
风险提示：
- 股东责任：股东在未足额缴纳出资或抽逃出资等情形下被追加为被执行人，将面临个人财产被执行的风险。因此，股东应严格遵守法律法规，履行出资义务。
- 债权人风险：虽然债权人可以依法申请追加股东为被执行人，但若股东确实无财产可供执行，债权人的债务可能仍无法得到完全清偿。因此，债权人在进行交易时，应充分评估债务人的偿债能力，降低风险。
总结与建议：在公司没有财产可供执行的情况下，若股东存在未足额缴纳出资、抽逃出资等违法行为，债权人可以依法申请追加股东为被执行人。这一过程中，债权人应充分收集证据、严格遵循法律程序，并持续关注被执行人的财务状况。若您在此过程中遇到任何法律问题或需要进一步的法律帮助，请随时向我咨询。