Showing error 93

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

Source: 

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