Showing error 92

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

Source: 

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