Showing error 2263

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

Source: 

1682        }
1683        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1684          if (s->state != state) {
1685            new_state = s->state;
1686            s->state = state;
1687            s->state = new_state;
1688          } else {
1689
1690          }
1691        } else {
1692
1693        }
1694      } else {
1695
1696      }
1697    } else {
1698
1699    }
1700    skip = 0;
1701  }
1702  while_0_break: /* CIL Label */ ;
1703  }
1704  end: 
1705  s->in_handshake -= 1;
1706  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1707
1708  } else {
1709
1710  }
1711  return (ret);
1712  ERROR: 
1713  goto ERROR;
1714}
1715}
1716int ssl3_send_server_certificate(SSL *s ) 
1717{ unsigned long l ;
1718  X509 *x ;
1719  int tmp ;
1720
1721  {
1722  if (s->state == 8512) {
Show full sources
↑