Title: A static secure flow analyzer for a subset of Java