Showing error 2249

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

Source: 

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