Some good analysis using PVS
[email protected] (Pierre Joye)
| Newsgroups | php.internals |
|---|---|
| Message-ID | <CAEZPtU47tLocJMwnHopsOy3-U19LsfwvdyYmdjUC9kEH4kRqBg@mail.gmail.com> |
hi A quick ping about some anaylise done by the PVS team: http://www.viva64.com/en/b/0277/ The ones listed are all valid so far. We will fix some of them in the next days but feel free to go ahead, FIFC :) Cheers. -- Pierre @pierrejoye | http://www.libgd.org