COMP1511 PROGRAMMING FUNDAMENTALS “Hello world! Welcome to the best t yet :)\n” Welcome and Introductions Course Administration How COMP1511 works How to get help and the best ways to approach learning Programming What is programming? What is Linux and working in Linux A first look at C IN THIS LECTURE DR SASHA VASSAR Lecturer in …
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 o https://cs6340.cc.gatech.edu/LLVM8Doxygen/classllvm_1_1DebugLoc.html o https://cs6340.cc.gatech.edu/LLVM8Doxygen/classllvm_1_1BranchInst.html In this lab, …
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 on the LLVM compiler infrastructure. This engine …
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 …
Lab 1: Fuzzing Spring Semester 2020 Due: 27 January, at 8:00 a.m. Eastern Time Corresponding Lesson: Lesson 3 (Random Testing) In Part 1 you will implement a simple tool to automatically check for divide-by-zero errors in C programs at runtime. You will create an LLVM pass that will instrument C code with additional instructions that …
$ cd ~/datalog $ mkdir build && cd build $ cmake .. $ cd ~/datalog/test $ clang -emit-llvm -S -c -o Greatest.bc Greatest.c 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. …
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 the LLVM framework in the provided …
COMP9319 2023T2 Assignment 1: LZW Encoding and Decoding Your task in this assignment is to implement an LZW encoder and its decoder with 15-bit 32768 dictionary entries (excluding those entries for the individual ASCII characters), called lencode and ldecode, in C or C++. After the dictionary is full, no new entries can be added. You …
COMP9319 2023T2 Assignment 1 LZW Encoding and Decoding Read More »
# CS160 Assignment 5 **Due: Tuesday, June 13th, 11:59PM** > Click this [link](https://download-directory.github.io/?url=https%3A%2F%2Fgithub.com%2Ffredfeng%2FCS160%2Ftree%2Fmain%2Fassignments%2Fhw5) to download the homework. In this assignment, you will be compiling Patina programs to lower-level intermediate representations (IR) called LLVMlite. ## Background: The LLVMlite IR Language > File: [ll/ll.ml](./ll/ll.ml) An intermediate representation sits between a high-level source language (Patina) and hardware-dependent, low-level …
Computer Organization/Architecture, Spring 2023 Malloc Lab: Writing a Dynamic Storage Allocator Assigned: May 16, 2023 Due: June 5, 11:59 PM 1 Introduction In this lab you will be writing a dynamic storage allocator for C programs, i.e., your own version of the malloc, free and realloc routines. You are encouraged to explore the design space …