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 6 Delta ¡ð ¡ð ¡ð ¡ð ¡ð program fails. A folder called – skeleton file for you to implement your algorithm in – Program to run and test your program – first buggy encoder program – second buggy encoder program – an input text file on which each buggy encoder
CS 6340 Lab 6 Delta 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
CSC303: Practice Questions II Rise of the New Practice Set We¡¯ll be covering solutions in-tutorial on March 17th Question 1: Recall the product diffusion process described in class. Recall that each node using product A has a reward of a per neighbour also using A, and that each node using product B has a reward
CSC303: Practice Questions II Read More »
Question 1: CSC303: Practice Questions We’ll be covering solutions in-tutorial on February 10th (a) Run the Sintos & Tsaparas algorithm on the following graph G to find the solution to the MINSTC problem. Recall, in MINSTC our goal is to producing a labeling of strong & weak edges such that STC is preserved and the
CSC303: Practice Questions Read More »
CSC303 Sample Critical Review #1 For this critical review, I will be giving my thoughts on the paper “Homophily at Academic Conferences” by Martin Atzmueller and Florian Lemmerich [1]. The paper seeks to identify the role that homophily plays in the interactions of academic conference attendees and establishing of contacts at such conferences. Specifically, they
CSC303 Sample Critical Review #1 Read More »
CSC303: A1 Due Feb 16th at 11:59PM Include your name and student number with your assignment, on the last page. All assignments are to be submitted on Markus. You will receive 20% of the points for any (sub)problem for which you write “I do not know how to answer this question.” If instead you submit
CSC303 Social and Information Networks A1 Read More »