Showing error 2269

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.13_unsafe.i.cil.c
Line in file: 1728
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

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