#29938: pubsub: coverity sees a null pointer deref in lint_message_consistency
(CID
1444257)
--------------------------+------------------------------------
Reporter: nickm | Owner: nickm
Type: defect | Status: closed
Priority: Medium | Milestone: Tor: 0.4.1.x-final
Component: Core Tor/Tor | Version: Tor: unspecified
Severity: Normal | Resolution: fixed
Keywords: | Actual Points: 0.1
Parent ID: | Points: 0.1
Reviewer: catalyst | Sponsor: Sponsor31-can
--------------------------+------------------------------------
Changes (by teor):
* status: merge_ready => closed
* points: => 0.1
* resolution: => fixed
* version: => Tor: unspecified
Comment:
Merged to master.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/29938#comment:5>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs
