https://github.com/wzh99/VarCheck

SJTU SE353 Program Analysis Project: Checking Invalid Use of Variable in LLVM IR.
https://github.com/wzh99/VarCheck

Last synced: about 1 month ago
JSON representation

SJTU SE353 Program Analysis Project: Checking Invalid Use of Variable in LLVM IR.

• Host: GitHub
• URL: https://github.com/wzh99/VarCheck
• Owner: wzh99
• Created: 2020-04-30T07:32:29.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-06-21T02:50:54.000Z (over 4 years ago)
• Last Synced: 2024-08-01T19:46:59.833Z (4 months ago)
• Language: Kotlin
• Homepage:
• Size: 44.9 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-cs - @wzh99, 2020 Spring

README

        
# LLVM IR 变量使用检查

## 简介

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

## 使用

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