编译器课程的内容包括：
Lab 2: Dataflow Fall Semester 2020 Due: 28 September, 8:00 a.m. Eastern Time Corresponding Lecture: Lesson 5 (Dataflow Analysis) This lab will familiarize you with writing static program analyses using the LLVM compiler infrastructure. LLVM is a collection of compiler and analysis toolchain utilities widely used in the software analysis community. You will use LLVM […]
CS 6340 Software Analysis Lab 2 Dataflow Read More »
CS 6340 Software Analysis Lab 0 Lab 0: Introduction to LLVM Spring Semester 2020 Due: 20 January, at 8:00 a.m. Eastern Time This lab involves running and extending LLVM, a popular compiler framework for a large class of programming languages, that will be used to implement all the labs in this course. You will setup
CS 6340 Lab 0 Introduction to LLVM Read More »
CS 6340 Software Analysis Lab 7 KLEE Lab 7: KLEE Symbolic Execution Engine Fall Semester 2022 Due: 12 December, 8:00 a.m. Eastern Time Corresponding Lecture: Lesson 11 (Dynamic Symbolic Execution) The goal of this lab is to gain familiarity with a research based symbolic execution engine called KLEE. KLEE is a hybrid analysis engine built
CS 6340 Lab 7 KLEE Read More »
CS 6340 Software Analysis Lab 4 Type Systems Lab 4: Type Systems Fall Semester 2022 Due: 24 October, 8:00 a.m. Eastern Time Corresponding Lecture: Lesson 8 (Type Systems) The goal of this lab is to experience the difference between untyped and strongly typed languages. Typescript is a strongly typed language built on top of the
CS 6340 Lab 4 Type Systems Read More »
CS 6340 Software Analysis Lab 3 Datalog Lab 3: Datalog Fall Semester 2022 Due: 17 October, 8:00 a.m. Eastern Time Corresponding Lecture: Lesson 7 (Constraint Based Analysis) Writing a constraint-based static analysis for C programs with LLVM and Z3. Approaching the same goals of “Lab 2: Dataflow” from a different direction. In this lab, you
CS 6340 Lab 3 Datalog Read More »
CS 6340 Software Analysis Lab 5 CBI Lab 5: Cooperative Bug Isolation (CBI) Fall 2022 Semester Due: 7 November, 8:00 am Eastern Time Corresponding Lecture: Lesson 9 (Statistical Debugging) ¡ñ Enumerating basic blocks and instructions in a function: o http://releases.llvm.org/8.0.0/docs/ProgrammersManual.html#basic-inspection-and- traversal-routines ¡ñ Instrumenting LLVM IR o http://releases.llvm.org/8.0.0/docs/ProgrammersManual.html#creating-and-inserting- new-instructions ¡ñ Important classes o http://releases.llvm.org/8.0.0/docs/ProgrammersManual.html#the-function-class o https://cs6340.cc.gatech.edu/LLVM8Doxygen/classllvm_1_1CallInst.html
CSE 3341 Project 2 – CORE Parser Overview The goal of this project is to build a parser for the Core language discussed in class. At the end of this handout is the grammar you should follow for this project. This project should be completed using C. Your submission should compile and run on stdlinux.
CSE 3341 Project 2 CORE Parser Read More »
CSE 3341 Project 3 CORE Interpreter Overview The goal of this project is to build an interpreter for the Core language discussed in class. Your submission should compile and run in the standard environment on stdlinux. If you work in some other environment, it is your responsibility to port your code to stdlinux and make
CSE 3341 Project 3 CORE Interpreter Read More »
CSE 3341 Project 1 – Core Scanner Overview The goal of this project is to build a scanner for a version of the Core language, a pretend language we will be discussing in class. For this project you are given the following: “3341 Project 1.pdf” – This handout. Make sure you read it completely
CSE 3341 Project 1 Core Scanner Read More »
CSS422 Final Project: Thump-2 Implementation Work of C Standard Library Functions CSS422 Final Project Computer Architecture Thumb-2 Implementation Work of Memory/Time-Related C Standard Library Functions. 1. Objective You’ll understand the following concepts at the ARM assembly language level through this final project that implements memory/time-related C standard library functions in Thumb-2. • CPU operating modes:
CSS422 Final Project Read More »