Una técnica es el rebanamiento estático, la cual es usada para identificar todo el código de programa que puede modificar alguna variable.