[tor-bugs] #31025 [Core Tor/Tor]: Coverity is confused by switch statement in siphash24 implementation

Tor Bug Tracker & Wiki blackhole at torproject.org
Fri Jun 28 15:18:50 UTC 2019


#31025: Coverity is confused by switch statement in siphash24 implementation
------------------------------+--------------------------------
     Reporter:  nickm         |      Owner:  nickm
         Type:  defect        |     Status:  assigned
     Priority:  Medium        |  Milestone:  Tor: 0.4.2.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:  coverity
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+--------------------------------
 Even when `siphash24()` is called with a constant src_len, coverity seems
 to think we might be indexing beyond that length.  My guess is that
 coverity can't handle the switch statement syntax that we're using.

 This is CID 1447293 and CID 1447295.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/31025>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online


More information about the tor-bugs mailing list