The set of statements and predicates in a program that may affect the value of the variables referenced at a specific location in that program.