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.08.i.cil.c |
Line in file: | 1722 |
Project: | SV-COMP 2012 |
Tools: |
Manual Work
|
Entered: | 2012-11-19 13:47:39 UTC |
1692 } 1693 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1694 if (s->state != state) { 1695 new_state = s->state; 1696 s->state = state; 1697 s->state = new_state; 1698 } else { 1699 1700 } 1701 } else { 1702 1703 } 1704 } else { 1705 1706 } 1707 } else { 1708 1709 } 1710 skip = 0; 1711 } 1712 while_0_break: /* CIL Label */ ; 1713 } 1714 end: 1715 s->in_handshake -= 1; 1716 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1717 1718 } else { 1719 1720 } 1721 return (ret); 1722 ERROR: 1723 goto ERROR; 1724} 1725} 1726int ssl3_send_server_certificate(SSL *s ) 1727{ unsigned long l ; 1728 X509 *x ; 1729 int tmp ; 1730 1731 { 1732 if (s->state == 8512) {