We will be developing and testing program analysis tools and techniques for finding bugs in software, in particular highly-configurable low-level C systems like the Linux kernel.
Project Dates
Start Date: 1/8/2024 - End Date: 4/28/2024
Students Needed
Type of Project
Individual
Student Responsibilities
Running tools and analyzing bug reports Reading and summarizing existing research literature Data analyst on tool results Presenting findings
Time Commitment
10 hour(s)
Student Requirements
Programming skill, particularly in C Ability to read and understand source code Data analysis skills are good but not required Knowledge of language tools good but not required. Intro to programming and CS1 required Systems software, CS2, and big discrete desirable
Interested in Working With the Following Programs
For EXCEL URE Students Only
Additional Notes