修复Issue #37: 合并脚本静态审计失败问题

[wlvh]

Summary

• 修复了合并脚本无法通过ASTAuditor静态审计的问题
• 解决了重复导入、未定义符号和变量重复定义等错误
• 改进了导入处理和名称映射逻辑

主要修复

1. 修复_process_imports中的重复导入问题

• 使用更精确的去重键，包含导入样式信息（'import'/'from'）
• 移除了可能导致错误的别名冲突自动递增逻辑

2. 修复外部导入的名称映射问题

• 为外部导入创建模块符号依赖，确保import_alias正确映射到带__mod后缀的别名
• 在generate_name_mappings中添加外部导入别名的映射更新

3. 修复导入注入顺序问题

• 在生成名称映射之前先处理外部导入，使import_registry被正确填充
• 修改_collect_and_reinject_imports跳过已在external_imports中处理的模块

4. 修复变量重复定义问题

• 修改visit_Module使赋值语句既作为定义也作为初始化
• 过滤掉入口模块中的变量定义，避免重复输出
• 在输出模块初始化语句时跳过已作为符号输出的简单赋值

ASTAuditor的已知限制

在修复过程中发现ASTAuditor存在一些误报问题，这些不是advanced_merge.py的问题：

1. 循环变量未被识别

for i, item in enumerate(items):  # ASTAuditor报告i和item未定义
    result.append((i, item))
    
squares = [x**2 for x in range(10)]  # ASTAuditor报告x未定义

2. with语句的上下文变量未被识别

with open(path, 'w') as f:  # ASTAuditor报告f未定义
    json.dump(data, f)

3. 元组解包赋值的部分识别问题

(result, squares) = process_items(items)  # 正确识别
print(result)  # ASTAuditor有时报告result未定义

这些问题需要在ASTAuditor中修复，建议：

• 增强对for循环和列表推导式中循环变量的作用域识别
• 正确处理with语句的as子句创建的变量
• 改进对元组解包赋值的处理

Test plan

• 运行pytest tests/test_issue_37_audit_failures.py确认新测试通过
• test_duplicate_mod_imports: 导入不再重复
• test_store_target_mapping: 变量映射正确，无重复定义
• test_external_import_preservation: 外部导入保留（尽管ASTAuditor误报）
• test_complex_real_world_scenario: 复杂场景（除ASTAuditor误报外）
• 修复因核心逻辑修改而失败的原有测试

验证合并代码的正确性

尽管ASTAuditor报告了一些错误，但合并后的代码实际上是可以正常运行的：

# 测试代码能够成功执行
exec(merged_content)  # 运行成功，输出正确结果

🤖 Generated with Claude Code