Elect Engr & Computer Science - Adv Software Security Auditing

Catalog description

Heuristic and formal analysis of software systems with an emphasis on integrity and secrecy. Students in the course will learn to assess the quality, vulnerabilities, and behavior of software. Topics include bug finding, anomaly detection, dynamic analysis, static analysis, dataflow analysis, fuzzing, linting, software supply chain auditing, and security best practices. Students will gain hands-on experience in conducting research in software auditing through a final project/report. Student cannot receive credit for both EECS 677 and EECS 777. Prerequisite: EECS 448, or EECS 348 and upper-level EECS eligibility, or instructor’s consent.