结论：在公司未实缴导致执行无法实现的情况下，追加法人为被执行人的法律依据主要来源于《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》中的相关条款，特别是第十七条，它明确规定了在公司财产不足以清偿生效法律文书确定的债务时，若股东未缴纳或未足额缴纳出资，申请执行人有权申请变更、追加该股东为被执行人，在尚未缴纳出资的范围内依法承担责任。若该股东为法人，则同样适用此规定。

详细分析：

1. 法律依据的具体条款：

   • 根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条：“作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，在尚未缴纳出资的范围内依法承担责任的，人民法院应予支持。”

2. 法人作为股东的情况：

   • 当法人作为公司股东，且未按照公司章程或法律规定实缴出资时，若公司财产不足以清偿债务，申请执行人同样有权依据上述规定，申请追加该法人为被执行人。此时，法人需在尚未缴纳出资的范围内，对公司债务承担清偿责任。

3. 实际操作中的注意事项：

   • 证据收集：申请执行人需要收集充分证据，证明公司财产不足以清偿债务，以及法人股东未缴纳或未足额缴纳出资的事实。这可能包括公司财务报表、审计报告、股东出资协议等。
   • 申请程序：申请执行人需按照法定程序，向执行法院提交变更、追加被执行人的申请，并附上相关证据材料。法院将依法审查，并作出是否追加被执行人的裁定。
   • 法律后果：若法人被追加为被执行人，其需在尚未缴纳出资的范围内，对公司债务承担清偿责任。若法人拒不履行，可能面临法院强制执行措施，如冻结银行账户、查封财产等。

4. 特殊情况的处理：

   • 若法人股东已部分缴纳出资，但未足额缴纳，则其仅需在未缴纳的出资范围内承担责任。
   • 若法人股东存在出资不实、抽逃出资等违法行为，还可能面临其他法律责任，如行政处罚、刑事责任等。

建议：

• 对于申请执行人而言，在遇到公司未实缴导致执行无法实现的情况时，应积极收集证据，依法申请追加法人为被执行人，以维护自身合法权益。
• 对于法人股东而言，应严格遵守公司章程和法律规定，按时足额缴纳出资，避免因此承担不必要的法律责任。

如有任何疑问或需要进一步的法律帮助，请直接向我咨询。