Analysis that ensures all out parameters of functions are initialized before they are used and before the function returns.
Begin check at ProgramNode tree.