Showing error 95

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

Source: 

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