不需要通过追加被执行人的程序。第三人提供财产作担保的，执行法院可以直接裁定执行担保财产；第三人以信用提供担保的，执行法院可以裁定执行其担保责任范围内的财产。