COM S 413/513 and CPR E 513 @ Iowa State University Foundations and Applications of Program Analysis
Wei Le (weile@iastate.edu), Atanasoff 210
Office hours: 4-5pm Mondays Spring 2020
-
finding bugs (control flow graphs, dataflow analysis, pointer analysis, interprocedural analysis)
-
automatic test input generation (symbolic execution, fuzzing)
-
debugging and repair (dependency analysis, slicing, delta-debugging, search based algorithms)
-
analyzing software changes and versions (mvicfg, differential analysis, testing and debugging changes, change contract)
-
specification inference (dynamic analysis, invariants, typestate)
-
big code analysis
-
analyzing AI software (abstract intepretation)
This course is developed under the support of the National Science Foundation (NSF) under Award 1542117