Showing error 88

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.BUG.i.cil.c
Line in file: 1718
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

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