在执行程序中追加保证人为被执行人，需严格遵循法律规定，确保满足追加条件，并按照法定程序进行。以下是对此问题的详细分析：
一、法律依据及追加条件
法律依据：
- 主要依据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》，该规定明确了执行程序中追加当事人的情形和条件。
- 同时，参考《民事诉讼法》及其司法解释中关于执行担保的相关规定，如担保人的资格、担保书的提交以及执行担保财产的条件等。
追加条件：
- 保证责任明确：必须有合法有效的保证合同、保函或法律文书明确记载保证人的保证责任。这是追加保证人的基础，确保保证关系的合法性和有效性。
- 保证责任范围清晰：明确保证人承担保证责任的具体范围，如金额、期限、方式等。这有助于确定保证人在执行程序中的具体责任。
- 被执行人无法履行：被执行人无财产可供执行或其财产不足以清偿债务，且担保人曾向法院提供担保，申请执行人同意该担保，被执行人在暂缓执行期限内未履行义务。这是追加保证人的重要前提，确保追加的必要性。
- 保证责任未免除：保证人的保证责任没有因法定事由而免除，如保证期间届满、债权人放弃权利等。
二、追加的程序
申请与审查：
- 申请：由申请执行人向执行法院提出书面申请，写明追加保证人的事实和理由，并提供相应证据材料。这是启动追加程序的第一步，确保申请的合法性和有效性。
- 审查：法院进行形式审查和实质审查，核实申请材料的完整性、真实性，并对保证人是否应承担保证责任进行审查。这是确保追加程序公正、合法的重要环节。
听证与裁定：
- 听证：根据具体情况，法院可组织听证，听取各方陈述和申辩。这有助于法院全面了解案件情况，作出公正的裁定。
- 裁定：经审查，若符合法律规定，法院作出追加保证人的裁定；若不符合，则裁定驳回申请。这是追加程序的最终结果，对各方当事人具有法律约束力。
确定责任范围：
- 明确保证人的担保责任范围，作为执行依据。这有助于确保执行程序的顺利进行，保护申请执行人的合法权益。
三、追加后的责任承担
- 连带责任保证：保证人需在其保证责任范围内直接承担清偿责任，法院可对保证人采取执行措施。这是连带责任保证的特点，确保申请执行人能够及时获得清偿。
- 一般保证：在主合同纠纷经审判或仲裁，并就债务人财产依法强制执行仍不能履行债务后，一般保证人承担保证责任。这是一般保证的特点，体现了一般保证人的相对独立性。
四、保证人的权利救济
- 异议：对追加裁定不服的，保证人可在规定期限内向上一级人民法院申请复议。这是保证人维护自身合法权益的重要途径。
- 执行异议之诉：若保证人认为自己不应承担责任或对责任范围有异议，可提起执行异议之诉，请求法院实体审理。这是保证人通过司法程序解决争议的有效方式。
五、注意事项
- 追加保证人为被执行人需严格遵循法律程序和条件，确保合法性和有效性。任何违反法律程序和条件的行为都可能导致追加无效或引发法律纠纷。
- 执行担保人的财产应限制在其担保责任范围内，法院不得超出此范围执行。这是保护保证人合法权益的重要原则。
举例说明：假设甲向乙借款100万元，丙作为连带责任保证人提供担保。后甲无力偿还借款，乙向法院申请强制执行。在执行过程中，乙发现甲无财产可供执行，遂向法院申请追加丙为被执行人。法院经审查认为符合追加条件，遂作出追加丙为被执行人的裁定。丙需在其保证责任范围内直接承担清偿责任，乙可对丙采取执行措施。
总结建议：在执行程序中追加保证人为被执行人是一个复杂而严谨的过程，需要确保满足追加条件并按照法定程序进行。如果你在此过程中遇到任何问题或需要进一步的法律帮助，请直接向我咨询。