[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]

Re: [tor-bugs] #13478 [Tor]: Semantic changes to tor_calloc

#13478: Semantic changes to tor_calloc
-----------------------------+--------------------------------
     Reporter:  cypherpunks  |      Owner:
         Type:  enhancement  |     Status:  needs_review
     Priority:  minor        |  Milestone:  Tor: 0.2.6.x-final
    Component:  Tor          |    Version:
   Resolution:               |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+--------------------------------

Comment (by cypherpunks):

 I don't think there was really a need for optimization, but it might come
 in handy. It's mainly the ordering of the arguments that Coccinelle output
 that looked strange.

 To verify important functions like this I've been working on some ACSL
 specifications that Frama-C could check. (But it would be simpler with a
 few changes upstream, so I'm trying to get their help on that first.) If I
 can figure it out, I'll add an update here.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/13478#comment:2>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs