SE547: JIF [18/23]

Java Information Flow http://www.cs.cornell.edu/jif/ implements static analysis for information flow.

Checks for sequential noninterference, not timing channels or concurrent noninterference.

Is this OK (file:Test1.jif):

  public int{Alice:} run (int{Alice:} x) {
    return x;
  }

Is this OK (file:Test2.jif):

  public int{Bob:} run (int{Alice:} x) {
    return x;
  }