Showing error 2273

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_unsafe.i.cil.c
Line in file: 1736
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

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