CIT 593 | Assignment 10: Intro to C and its Development Environment | 1 Setting up Codio for this assignment 1) Open the Codio assignment via Coursera 2) From the Codio File-Tree click on: program1.c Problems #1-3: Basic I/O in C Recall in Assembly that performing I/O involved calling a TRAP. TRAP_PUTS – wrote an …
CIT593 Assignment 10 Intro to C and its Development Environment Read More »
# Programming Assignment 2: Bismuth interpreter **See Canvas for the due date** In this assignment, you are going to write an interpreter for an _external_ domain specific language for image manipulation: Bismuth. The goals of this assignment are: – Seeing the difference between embedded vs external DSLs, – Recursively traversing ASTs, – Following a formal …
CIS 547 – Random Input Generation CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow …
CIS 547 – Pointer Analysis CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow Analysis …
CIS 547 – Constraint-Based Analysis CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow Analysis …
CIS 547 – The LLVM Framework CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow …
CIS 547 – Dynamic Symbolic Execution CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow …
CIS 547 – Dataflow Analysis CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow Analysis …
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 …
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 …