| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-ID: <87siz65kdx.fsf@mid.deneb.enyo.de> Date: Mon, 22 Jul 2013 23:56:26 +0200 From: Florian Weimer <fw@...eb.enyo.de> To: Georgi Guninski <guninski@...inski.com> Cc: full-disclosure@...ts.grok.org.uk Subject: Re: [SE-2012-01] New Reflection API affected by a known 10+ years old attack * Georgi Guninski: > Can Coverity find logic bugs like missing checks? Yes, some inconsistent cheks are reported. Here's a public example quoting some of the (textual) reporting: <http://thread.gmane.org/gmane.comp.emulators.libvirt.cim/422/focus=423> For real logic bugs, this will not work because hopefully, your logic is far more concentrated and not spread all over the place. (I think this Coverity feature works only to ensure correct error threading, as a poor man's substitute for exceptions.) _______________________________________________ Full-Disclosure - We believe in it. Charter: http://lists.grok.org.uk/full-disclosure-charter.html Hosted and sponsored by Secunia - http://secunia.com/
Powered by blists - more mailing lists