[tor-bugs] #31027 [Core Tor/Tor]: Coverity: circpadding: dead code in circpad_machine_remove_token
Tor Bug Tracker & Wiki
blackhole at torproject.org
Mon Jul 1 07:16:28 UTC 2019
#31027: Coverity: circpadding: dead code in circpad_machine_remove_token
--------------------------+------------------------------------
Reporter: nickm | Owner: (none)
Type: defect | Status: new
Priority: Medium | Milestone: Tor: 0.4.2.x-final
Component: Core Tor/Tor | Version:
Severity: Normal | Resolution:
Keywords: coverity | Actual Points:
Parent ID: | Points:
Reviewer: | Sponsor:
--------------------------+------------------------------------
Comment (by asn):
Please check the first commit of
https://github.com/torproject/tor/pull/1160 which fixes both #31027 and
#31024.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/31027#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list