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
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
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

Powered by Openwall GNU/*/Linux Powered by OpenVZ