 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.A security type system is a kind of type system that can be used by software developers in order to check the security properties of their code.