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.10.i.cil.c |
Line in file: | 1710 |
Project: | SV-COMP 2012 |
Tools: |
Manual Work
|
Entered: | 2012-11-19 13:47:39 UTC |
1680 } 1681 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1682 if (s->state != state) { 1683 new_state = s->state; 1684 s->state = state; 1685 s->state = new_state; 1686 } else { 1687 1688 } 1689 } else { 1690 1691 } 1692 } else { 1693 1694 } 1695 } else { 1696 1697 } 1698 skip = 0; 1699 } 1700 while_0_break: /* CIL Label */ ; 1701 } 1702 end: 1703 s->in_handshake -= 1; 1704 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1705 1706 } else { 1707 1708 } 1709 return (ret); 1710 ERROR: 1711 goto ERROR; 1712} 1713} 1714int ssl3_send_server_certificate(SSL *s ) 1715{ unsigned long l ; 1716 X509 *x ; 1717 int tmp ; 1718 1719 { 1720 if (s->state == 8512) {