Bug #72120 [Csd]: Analysis of PHP 7 source code by PVS-Studio static code analyzer

From: Date: Fri, 29 Apr 2016 14:29:07 +0000
Subject: Bug #72120 [Csd]: Analysis of PHP 7 source code by PVS-Studio static code analyzer
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-200832@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=72120&edit=1

 ID:                 72120
 Updated by:         ab@php.net
 Reported by:        vasiliev at viva64 dot com
 Summary:            Analysis of PHP 7 source code by PVS-Studio static
                     code analyzer
 Status:             Closed
 Type:               Bug
 Package:            *General Issues
 Operating System:   Windows
 PHP Version:        7.0Git-2016-04-28 (Git)
 Assigned To:        ab
 Block user comment: N
 Private report:     N

 New Comment:

@vasiliev, thanks for the effort on these investiagions, anyway.

No advertisement on php.net is nothing against anyone, it is a project rule.

Some time ago I made an integration with our build system https://github.com/php/php-src/blob/master/win32/build/config.w32#L216
. PVS-Studio can be used directly when building PHP and extensions, can read configure --help. Is it
nothing for you to be able to say PVS-Studio is integrated with PHP build system?

As mentioned, I personally used it for quite some time for PHP. And I still think it's a very
useful tool. Now this integration seems useless for the most of the core devs. 

Thanks.


Previous Comments:
------------------------------------------------------------------------
[2016-04-29 14:09:49] vasiliev at viva64 dot com

Hey guys, thank you for the time you took to read the article.

Yes, we contacted you presenting our offer. Our idea was to have some kind of advertisement for us
in exchange for a free key of our tool. It's sad that we couldn't reach a concord. We
think that we should have a two-side cooperation.

If it's not possible to provide a chance for any mentioning of our company tool on your
web-site, then there is probaby no interest for us to provide you with a free license.

If it's not possible to provide a chance for any mentioning our company tool on your web-site,
then there is probaby no interest for us to provide you with a free license. That would be a little
strange if we gave you something and got nothing in return, right?

------------------------------------------------------------------------
[2016-04-29 13:28:27] ab@php.net

@vasiliev, thanks, but that unlikely to happen. There was earlier some contact request from someone
from viva64.com on the mailing list, offering some licenses in exchange for ads. It's unlikely
some ads to be put on php.net, so no reason to contact the sales people. And it is kinda
disappointing to see it's just a part of some product promoting story now :( 

A free license would faciliate continuous integration, a promotion story faciliates only your
product. I slowly start to think that we should not support PVS-Studio in the build system, as no
one can use it ATM as no one has a license :( Once I used it for PHP, it was an excellent
experience. There was false positives, but also good catches.

The issues from the arcticle are now addressed in the latest commits by Dmitry, so closing this
ticket.

Thanks.

------------------------------------------------------------------------
[2016-04-29 10:55:33] vasiliev at viva64 dot com

Please, contact us writing to support@viva64.com

------------------------------------------------------------------------
[2016-04-29 10:18:08] ab@php.net

@vasiliev, would the PVS-Studio be so kind giving some free licenses to the PHP project?

Thanks.

------------------------------------------------------------------------
[2016-04-29 08:22:20] requinix@php.net

Please don't report bugs using thinly veiled advertising.

------------------------------------------------------------------------


The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at

    https://bugs.php.net/bug.php?id=72120


--
Edit this bug report at https://bugs.php.net/bug.php?id=72120&edit=1


Thread (9 messages)

« previous php.bugs (#200832) next »