1663    hbac_ctx = talloc_zero(be_req, struct hbac_ctx);
At conditional (1): "hbac_ctx == NULL" taking the true branch.
Comparing "hbac_ctx" to null implies that "hbac_ctx" might be null.
 1664    if (hbac_ctx == NULL) {
At conditional (2): "1 <= debug_level" taking the true branch.
At conditional (3): "debug_timestamps" taking the true branch.
 1665        DEBUG(1, ("talloc failed.\n"));
 1666        goto fail;
 1667    }

 1703fail:
Passing null variable "hbac_ctx" to function "ipa_access_reply", which dereferences it. [show details]
 1704    ipa_access_reply(hbac_ctx, pam_status);
 1705}