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 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 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 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. …
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: …
MPCS 51082 Course Information Modules Assignments Getting Help Resources Search Project: Unix-like Shell Due: Tuesday, December 7th at 11:59pm No extensions can be used on this assignment CS Linux Machine You will need access to an Linux based machine when working on your project. You should not test your programs on macOS or Windows Linux …
2023/3/2 01:09 Lab 2: Shell The shell is the main command-line interface between a user and the operating system, and it is an essential part of the daily lives of computer scientists, software engineers, system administrators, and such. It makes heavy use of many OS features. In this lab, you will build a simplied version …
CS-UY 2214 Project 1 E20 Assembler 1 Introduction This project represents a substantive programming exercise. Like all work for this class, it is to be completed individually: any form of collaboration is prohibited, as detailed in the syllabus. This project is considered a take-home exam. Before even reading this assignment, please read the E20 manual …
cs211 Programming assignment 2 (150 points) Programming assignment 2 (150 points) Start Assignment Due Friday by 10pm Points 150 Submitting a file upload File Types tar Available Feb 12 at 12am – Mar 3 at 11:59pm Stacks, Queues, Trees, Graph algorithms in C (150 points, approximately 12.5% of course grade) Prof. Yipeng Huang Rutgers University …