Closed Bug 714992 Opened 13 years ago Closed 13 years ago

Clang Static Analysis: Branch condition evaluates to a garbage value in security/nss/lib/certdb/stanpcertdb.c

Categories

(NSS :: Libraries, defect)

Product:
NSS
Component:
Libraries
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED DUPLICATE of bug 633063

People

(Reporter: decoder, Unassigned)

References

(Blocks 1 open bug,
URL
)

Details

The following report (in the URL field) has been generated by static analysis using Clang.

It would be good if someone familiar with the particular code could check if

- this is really a bug or a false positive
- and/or if it makes sense to adjust the code (even if there is not a real bug present, e.g. by adding a missing initialization).


In this particular report, the analysis seems to be able to reach line 695 without | cert | being initialized at all. Not sure if this could ever happen from the input parameters, but worth checking probably.
Assignee: nobody → nobody
Component: General → Libraries
Product: Core → NSS
QA Contact: general → libraries
Version: Trunk → trunk
Status: NEW → RESOLVED
Closed: 13 years ago
Resolution: --- → DUPLICATE
You need to log in before you can comment on or make changes to this bug.