SE547: Information flow [3/23]

Note that Java protection doesn't help!

  class Example {
    private int xH;
    public int yL;
    public void leak () {
      yL = xH; // Write down is OK according to Java.
    }
  }

Java doesn't stop values escaping from their static protection.