Showing error 96

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

Source: 

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