COM S 413/513 and CPR E 513 @ Iowa State University Foundations and Applications of Program Analysis

Instructor

Wei Le (weile@iastate.edu), Atanasoff 210

Office hours: 1:30-2:30pm Tuesdays Fall 2022, Atansoff 210, iastate.webex.com/meet/weile (both in person and online)

Tentative Schedule and Topics

1. finding bugs (control flow analysis, dataflow analysis, interprocedural analysis, abstract interpretation)

2. automatic test input generation (symbolic execution, fuzzing)

3. debugging and repair (dependency analysis, slicing, delta-debugging, search based algorithms)

4. analyzing software changes and versions (patch verification and testing, differential testing, version compatibility)

5. specification and inference (dynamic analysis, invariants, typestate)

6. AI for code (representation learning, applications such as clone detection, code search, bug detection)

7. analyzing and testing AI models

Acknowledgment

This course is developed under the support of the National Science Foundation (NSF) under Award 1542117 and Award 1816352