Systematic Approaches to Advanced Information Flow Analysis and Applications to Software Security