Showing error 2266

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

Source: 

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