当公司无财产可供执行时，债权人确实可以尝试追加股东为被执行人，但这一行为需要满足特定的法定条件，并遵循严格的法律程序。以下是对此问题的详细解答：
一、法律依据与可追加股东的情形
根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》以及《中华人民共和国公司法》的相关规定，以下情形中，债权人可以申请追加股东为被执行人：
股东未足额缴纳出资：
- 若公司财产不足以清偿债务，且股东存在未缴纳或未足额缴纳出资的情况，债权人可以申请追加该股东为被执行人，要求其在尚未缴纳出资的范围内承担责任。
股东抽逃出资：
- 如果股东通过虚构债权债务关系、利用关联交易等方式抽逃出资，导致公司财产减少，债权人同样可以申请追加该股东为被执行人，要求其在抽逃出资的范围内承担责任。
股东滥用公司法人独立地位和股东有限责任：
- 当股东滥用公司法人独立地位和有限责任，逃避债务，严重损害债权人利益时，该股东应对公司债务承担连带责任。债权人可以申请追加此类股东为被执行人。
一人有限责任公司股东财产不独立：
- 对于一人有限责任公司，如果股东不能证明公司财产独立于自己的财产，那么该股东应对公司债务承担连带责任。在这种情况下，债权人可以申请追加该股东为被执行人。
二、追加股东为被执行人的程序
申请执行人提出申请：
- 当发现公司无财产可供执行时，债权人（即申请执行人）需要向执行法院提出申请，要求追加相关股东为被执行人。
法院审查并作出裁定：
- 执行法院会对申请进行审查，包括核实公司财产状况、股东出资情况、股东财产与公司财产是否独立等。如果符合追加条件，法院会作出裁定，追加股东为被执行人。
执行程序：
- 一旦股东被追加为被执行人，法院将按照执行程序对其财产采取查封、扣押、冻结等措施，以强制其履行义务。
三、注意事项
证据收集：
- 在申请追加股东为被执行人时，债权人需要收集相关证据来证明公司财产不足以清偿债务、股东存在未足额缴纳出资、抽逃出资或财产混同等情况。这些证据可能包括财务报表、审计报告、银行流水、合同协议等。
法律救济途径：
- 如果股东对法院的追加裁定不服，他们可以在法定期限内向上级法院申请复议或提起执行异议之诉来维护自己的合法权益。因此，债权人在申请追加股东时，也需要做好应对法律救济的准备。
持续关注被执行人财务状况：
- 即使成功追加了股东为被执行人，债权人也应持续关注被执行人的财务状况，以便及时发现可供执行的财产。同时，如果公司确实无财产可供执行且股东也无力承担债务，法院可能会裁定中止执行程序，待出现可供执行财产后再恢复执行。
综上所述，当公司无财产可供执行时，债权人可以根据相关法律法规和程序，在满足特定条件下申请追加股东为被执行人。这一过程中需要确保遵循严格的法律程序和条件，以确保追加行为的合法性和有效性。