Showing error 102

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

Source: 

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