Lund University → Faculty of Engineering → Department of Computer Science

• EDAP15 Program Analysis
• Completion & Grades
• Moodle
• CourseGit
• Schedule
• Skills
• Homework Exercises

Flow Sensitivity

• Properties of Program Analyses
• Skill: [3.5]

Flow Sensitivity is a property of a program analysis that states that the program analysis considers the program's control flow (cf. Control Flow Graph).