Showing error 83

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.04.BUG.i.cil.c
Line in file: 1697
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

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