News for hackers. Stuff that matters.

A comment on Bugs found in GCC with the help of PVS-Studio.

Re:Bugs found in GCC with the help of PVS-Studio by ScottBurson on Saturday September 03, 2016 @12:44AM (#12417774)
I gather there's no relationship to the Prototype Verification System from SRI [0].

[0] http://pvs.csl.sri.com/index.shtml

[ Parent | on HN ]
Re:Bugs found in GCC with the help of PVS-Studio by AndreyKarpov on Saturday September 03, 2016 @01:39AM (#12417923)
Yes. No relationship. PVS: OOO "Program Verification Systems" (Co. Ltd.)
[ Parent | on HN ]