Calysto v1.5 reports on ssh v4.6p1
Domagoj Babic
babic.domagoj at gmail.com
Mon Aug 13 05:47:13 EST 2007
Hi,
I'm experimenting with another static checker, Saturn, and I got a
report that neither Darren nor I can figure out:
[openssh v4.6p1]
> > @orange
> > @58 orange (INCONSISTENT USE) Possible null dereference of variable
> > gparent. This variable is checked for Null at lines: 58
> > @monitor_mm.c
> > @Inconsistency error
Could anyone confirm that this is either a bug or a false positive?
Thank you,
--
Domagoj Babic
http://www.domagoj.info/
http://www.calysto.org/
More information about the openssh-unix-dev
mailing list