General: "LLVM-Based Compiler for the While Language"
Course Work:
Title: "Source-Code Analysis Toolkit For a Simple Imperative Language"
Tasks:
Provide a specification of the While language.
Formalize the operational semantics of the While language.
Provide the formal grammar of the While language.
Implement lexer and parser of the While language.
Design and implement an AST and tree visiting infrastructure for the While language.
Provide an infrastructure for implementing AST-based semantic checks.
6.1. Implement basic semantic checks.
Implement AST processing facilities:
7.1. Visualization (saving to a graph in the DOT format).
7.2. Source code generation (saving AST back to While source code).
Design and implement CFG for the While language.
8.1. Provide CFG visiting infrastructure (graph traversal logic and call-back interfaces).
8.2. Provide visualization facilities.
Implement facilities for constructing and visualizing call graphs.
Implement CLI tool for running supported analysis tasks for While source files.
Implement a source code editor for the Visual Studio Code IDE.
Degree Work:
Title: "LLVM-Based Compiler and Tooling for a Simple Imperative Language"
Design and implement DFG for the While language.
1.1. Implement DFG traversing facilities.
1.2. Provide visualization facilities.
Implement compiler frontend for the While language, which willl generare LLVM IR.
Provide a basic run-time library (facilities for input/output and file access).
Implement compiler driver (runs the While frontend, the LLVM backend and linker to produce executable files).
Provide facilities for instrumenting code (frontend level).
Provide facilities for coverage measurement.
Provide a unit testing framework (assertions and reporting facilities).
General: "LLVM-Based Compiler for the While Language"
Course Work:
Title: "Source-Code Analysis Toolkit For a Simple Imperative Language"
Tasks:
Degree Work:
Title: "LLVM-Based Compiler and Tooling for a Simple Imperative Language"