Repository files navigation

本项目实现了对于 LLVM IR 部分指令的变量使用检查：对于寄存器变量，检查是否未定义就使用；对于栈变量，检查是否未写入就读取。同时该项目还支持通过 LaTeX 实现控制流图可视化。

通过命令行使用该工具，格式为java -jar VarCheck.jar ${输入文件} [选项]。目前仅支持一个选项，即是否输出控制流图可视化的绘图指令，格式为-p ${输出文件目录}。若启用该选项，则会在指定的输出文件目录创建和输入文件名相同的 .tex 文件。