Flow Sensitivity
Lund University
→
Faculty of Engineering
→
Department of Computer Science
EDAP15 Program Analysis
Moodle
CourseGit
Schedule
Homework Exercises
Skills
Flow Sensitivity
Properties of Program Analyses
Skill
:
[
2.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
).