Showing error 2267

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

Source: 

1709        }
1710        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1711          if (s->state != state) {
1712            new_state = s->state;
1713            s->state = state;
1714            s->state = new_state;
1715          } else {
1716
1717          }
1718        } else {
1719
1720        }
1721      } else {
1722
1723      }
1724    } else {
1725
1726    }
1727    skip = 0;
1728  }
1729  while_0_break: /* CIL Label */ ;
1730  }
1731  end: 
1732  s->in_handshake -= 1;
1733  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1734
1735  } else {
1736
1737  }
1738  return (ret);
1739  ERROR: 
1740  goto ERROR;
1741}
1742}
1743int ssl3_send_server_certificate(SSL *s ) 
1744{ unsigned long l ;
1745  X509 *x ;
1746  int tmp ;
1747
1748  {
1749  if (s->state == 8512) {
Show full sources
↑