information flow analysis