一、财产调查的法定程序与执行措施
根据《民事诉讼法》第二百四十七条，发生法律效力的民事判决、裁定，当事人必须履行。
一方拒绝履行的，对方当事人可向法院申请执行。
执行过程中，法院需依职权启动财产调查程序。
《最高人民法院关于执行程序中调查、控制、处置财产若干问题的规定》明确，法院可通过全国法院网络执行查控系统，对被执行人的银行存款、车辆、证券、不动产等财产信息进行全面查询。
发现被执行人工资收入，法院可依据《民事诉讼法》第二百四十三条，扣留、提取其相应收入，但需保留被执行人及其所扶养家属的生活必需费用。
二、信用惩戒与执行中止的规则适用
当被执行人确无财产可供执行时，法院可依《民事诉讼法》第二百五十七条裁定“终结本次执行程序”，但需同时满足以下条件：已向被执行人发出执行通知、责令报告财产;已发出限制消费令并将符合条件的被执行人纳入失信名单;已穷尽财产调查措施且未发现可供执行财产。
此时，债权人仍享有债权，可在发现财产线索后随时申请恢复执行。
法院可依据《最高人民法院关于公布失信被执行人名单信息的若干规定》，将被执行人纳入失信名单，限制其高消费行为，如禁止乘坐飞机头等舱、高铁一等座等，并通过征信系统记录、媒体曝光等方式提高失信成本。
被执行人名下无财产的情形，虽短期内增加了执行难度，但我国法律通过财产调查、信用惩戒、执行中止与恢复等机制，构建了动态的救济框架。