Showing error 82

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

Source: 

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