Fault model of referencing uninitialized variables is established, as the basis of identifying referencing uninitialized variables statically.

• 建立了引用未初始化变量故障模型,作为静态识别引用未初始化变量的依据;