LLVM IR 变量使用检查

简介

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

使用

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