systematic approaches to advanced information flow analysis and applic