Showing error 2260

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

Source: 

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