编写一个程序查找程序中未使用的变量

实现这个功能可以采用静态分析的方法，具体步骤如下：

1. 词法分析：将程序源代码分解为单词（token），包括关键字、标识符、常量等。

2. 语法分析：根据语法规则将单词组成语法树，检查语法是否正确。

3. 符号表生成：建立符号表，记录变量名、类型、作用域等信息。

4. 语义分析：对符号表中的信息进行分析，判断变量是否被使用。

5. 输出结果：输出未使用的变量列表。

下面是一个简单的 Python 实现例子：

import ast

# 遍历 AST 树
class UnusedVariableVisitor(ast.NodeVisitor):
    def __init__(self):
        self.symbol_table = {}
        self.unused_variables = []

    def visit_Assign(self, node):
        if isinstance(node.targets[0], ast.Name):
            # 处理赋值语句，将变量添加到符号表
            self.symbol_table[node.targets[0].id] = True
        self.generic_visit(node)

    def visit_Name(self, node):
        if isinstance(node.ctx, ast.Load):
            # 处理变量使用，从符号表中删除
            if node.id in self.symbol_table:
                del self.symbol_table[node.id]
        self.generic_visit(node)

    def report_unused_variables(self):
        # 输出未使用的变量列表
        for variable in self.symbol_table:
            self.unused_variables.append(variable)
        return self.unused_variables

# 读入代码
code = """
a = 1
b = 2
print(a)
"""

# 解析代码
tree = ast.parse(code)

# 遍历 AST 树，查找未使用的变量
visitor = UnusedVariableVisitor()
visitor.visit(tree)
unused_variables = visitor.report_unused_variables()

# 输出结果
if unused_variables:
    print("Unused variables:", unused_variables)
else:
    print("No unused variables found.")

这个例子只能检测简单的赋值语句和变量使用，对于更复杂的情况可能需要更完整的实现。