Showing error 2272

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

Source: 

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