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