Showing error 2271

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

Source: 

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