[Swan-dev] Fwd: New Defects reported by Coverity Scan for antonyantony/libreswan
D. Hugh Redelmeier
hugh at mimosa.com
Sat Jun 9 15:17:55 UTC 2018
| From: Andrew Cagney <andrew.cagney at gmail.com>
| Google flagged this as spam, I agree.
Heh.
Static analysis is always imperfect (Halting Problem).
I've made a change to the definition of pexpect in an attempt to make
the control flow around pexpect clearer to Coverity Scan. It might
even help a compiler produce better code.
commit bf1b1af577d70a800436b417b94cefba4eb394b2
More information about the Swan-dev
mailing list