Data Recovery

It appears you may have used Coursicle on this device and then cleared your cookies. You can recover your data by answering these questions.

User ID:

Your account no longer exists

Your user ID no longer exists. Please refresh the page. If the issue persists, please contact us at


CPRE 513 - Foundations and Applications of Program Analysis

Prereq: COM S 342. Algorithms and tools for automatically reasoning about code and program executions to predict software behavior. Theory and foundations related to control flow analysis, dataflow analysis, abstract interpretation and symbolic execution. Applications of program analysis to improve software security, performance and testing. Concepts, algorithms, tools, benchmarks, methodologies for solving problems using program analysis and for preparing research in program analysis.
Recent Professors
Schedule Planner
Recent Semesters
Spring 2021, Spring 2020
Avg. Sections