Showing error 97

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

Source: 

1707        }
1708        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1709          if (s->state != state) {
1710            new_state = s->state;
1711            s->state = state;
1712            s->state = new_state;
1713          } else {
1714
1715          }
1716        } else {
1717
1718        }
1719      } else {
1720
1721      }
1722    } else {
1723
1724    }
1725    skip = 0;
1726  }
1727  while_0_break: /* CIL Label */ ;
1728  }
1729  end: 
1730  s->in_handshake -= 1;
1731  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1732
1733  } else {
1734
1735  }
1736  return (ret);
1737  ERROR: 
1738  goto ERROR;
1739}
1740}
1741int ssl3_send_server_certificate(SSL *s ) 
1742{ unsigned long l ;
1743  X509 *x ;
1744  int tmp ;
1745
1746  {
1747  if (s->state == 8512) {
Show full sources
↑