pub fn null_pointer_analysis_ty() -> Expr
NullPointerAnalysis : Type
May/must null pointer analysis: tracks whether pointers may be null, must be null, or are definitely non-null at each program point.