Showing error 2259

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ssh/s3_srvr.blast.08_unsafe.i.cil.c
Line in file: 1724
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

1694        }
1695        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1696          if (s->state != state) {
1697            new_state = s->state;
1698            s->state = state;
1699            s->state = new_state;
1700          } else {
1701
1702          }
1703        } else {
1704
1705        }
1706      } else {
1707
1708      }
1709    } else {
1710
1711    }
1712    skip = 0;
1713  }
1714  while_0_break: /* CIL Label */ ;
1715  }
1716  end: 
1717  s->in_handshake -= 1;
1718  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1719
1720  } else {
1721
1722  }
1723  return (ret);
1724  ERROR: 
1725  goto ERROR;
1726}
1727}
1728int ssl3_send_server_certificate(SSL *s ) 
1729{ unsigned long l ;
1730  X509 *x ;
1731  int tmp ;
1732
1733  {
1734  if (s->state == 8512) {
Show full sources
↑