diff --git a/nullability_verification/pointer_nullability.h b/nullability_verification/pointer_nullability.h
index 96444b0..ab5fd68 100644
--- a/nullability_verification/pointer_nullability.h
+++ b/nullability_verification/pointer_nullability.h
@@ -22,14 +22,32 @@
 std::pair<dataflow::AtomicBoolValue&, dataflow::AtomicBoolValue&>
 getPointerNullState(const Expr* PointerExpr, const dataflow::Environment& Env);
 
+/// Returns the properties representing the nullness information of a pointer.
+///
+/// The first boolean indicates if the pointer's nullability is known.
+/// The second boolean indicates if the pointer's value is not null.
+std::pair<dataflow::AtomicBoolValue&, dataflow::AtomicBoolValue&>
+getPointerNullState(const dataflow::PointerValue& PointerVal,
+                    const dataflow::Environment& Env);
+
 /// Sets the nullness properties on the PointerValue assigned to `PointerExpr`
 /// if not already initialised.
 ///
-/// The boolean properties may be constrained by passing in the BoolValues
-/// representing true or false to `KnownConstraint` and `NotNullConstraint`.
-/// Otherwise, the properties are set to freshly created atomic booleans.
+/// The boolean properties may be constrained by specifying `KnownConstraint`
+/// and `NotNullConstraint`. Otherwise, the properties are set to freshly
+/// created atomic booleans.
 void initPointerNullState(const Expr* PointerExpr, dataflow::Environment& Env,
-                          dataflow::BoolValue* KnownConstraint,
+                          dataflow::BoolValue* KnownConstraint = nullptr,
+                          dataflow::BoolValue* NotNullConstraint = nullptr);
+
+/// Sets the nullness properties on `PointerVal` if not already initialised.
+///
+/// The boolean properties may be constrained by specifying `KnownConstraint`
+/// and `NotNullConstraint`. Otherwise, the properties are set to freshly
+/// created atomic booleans.
+void initPointerNullState(dataflow::PointerValue& PointerVal,
+                          dataflow::Environment& Env,
+                          dataflow::BoolValue* KnownConstraint = nullptr,
                           dataflow::BoolValue* NotNullConstraint = nullptr);
 
 }  // namespace nullability