Showing error 2262

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

Source: 

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