Es usada para identificar todo el código de programa que puede afectar de algún modo el valor de una variable dada.