Showing error 2254

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

Source: 

1749        }
1750        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1751          if (s->state != state) {
1752            new_state = s->state;
1753            s->state = state;
1754            s->state = new_state;
1755          } else {
1756
1757          }
1758        } else {
1759
1760        }
1761      } else {
1762
1763      }
1764    } else {
1765
1766    }
1767    skip = 0;
1768  }
1769  while_0_break: /* CIL Label */ ;
1770  }
1771  end: 
1772  s->in_handshake -= 1;
1773  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1774
1775  } else {
1776
1777  }
1778  return (ret);
1779  ERROR: 
1780  goto ERROR;
1781}
1782}
1783int ssl3_send_server_certificate(SSL *s ) 
1784{ unsigned long l ;
1785  X509 *x ;
1786  int tmp ;
1787
1788  {
1789  if (s->state == 8512) {
Show full sources
↑