GNOME Bugzilla – Bug 582198
FORWARD_NULL
Last modified: 2021-07-05 13:24:51 UTC
Please describe the problem: The FORWARD_NULL checker finds many instances where a pointer is checked against NULL and then later dereferenced. Dereferencing a NULL pointer will cause a program to crash. Typically, this defect results from the code checking for NULL and then not properly handling the condition, or not checking for NULL in a code path. Steps to reproduce: 1. file rtxsrc.c line # 1608 => exec->counts = NULL; 2. line #1622 check => if ((exec->inputString[exec->index] == 0) && (exec->counts == NULL)) 3. Line 1649 check => if (exec->counts == NULL) Actual results: N/A Expected results: Does this happen every time? Other information:
Whatever myserious tool it is that shows this, it seems to be a libxml issue rather than a libxml++ issue.
Is this a coverity warning? I guess that a patch would be welcome.
GNOME is going to shut down bugzilla.gnome.org in favor of gitlab.gnome.org. As part of that, we are mass-closing older open tickets in bugzilla.gnome.org which have not seen updates for a longer time (resources are unfortunately quite limited so not every ticket can get handled). If you can still reproduce the situation described in this ticket in a recent and supported software version, then please follow https://wiki.gnome.org/GettingInTouch/BugReportingGuidelines and create a new ticket at https://gitlab.gnome.org/GNOME/libxml2/-/issues/ Thank you for your understanding and your help.