 An attacker could try to execute a program which does not satisfy noninterference repeatedly and systematically to try to map its behavior.Several iterations could lead to the disclosure of "higher" variables, and let the attacker learn sensitive information about for example the systems state.Whether a program satisfies noninterference or not can be evaluated during compilation assuming the presence of security type systems.