Showing error 2250

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

Source: 

1673        }
1674        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1675          if (s->state != state) {
1676            new_state = s->state;
1677            s->state = state;
1678            s->state = new_state;
1679          } else {
1680
1681          }
1682        } else {
1683
1684        }
1685      } else {
1686
1687      }
1688    } else {
1689
1690    }
1691    skip = 0;
1692  }
1693  while_0_break: /* CIL Label */ ;
1694  }
1695  end: 
1696  s->in_handshake -= 1;
1697  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1698
1699  } else {
1700
1701  }
1702  return (ret);
1703  ERROR: 
1704  goto ERROR;
1705}
1706}
1707int ssl3_send_server_certificate(SSL *s ) 
1708{ unsigned long l ;
1709  X509 *x ;
1710  int tmp ;
1711
1712  {
1713  if (s->state == 8512) {
Show full sources
↑