Showing error 2252

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

Source: 

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