OutParameterInitializationAnalysis

Analysis that ensures all out parameters of functions are initialized before they are used and before the function returns.