Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs - Hammer, Christian