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.13_safe.i.cil.c |
Line in file: | 1728 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
1698 } 1699 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1700 if (s->state != state) { 1701 new_state = s->state; 1702 s->state = state; 1703 s->state = new_state; 1704 } else { 1705 1706 } 1707 } else { 1708 1709 } 1710 } else { 1711 1712 } 1713 } else { 1714 1715 } 1716 skip = 0; 1717 } 1718 while_0_break: /* CIL Label */ ; 1719 } 1720 end: 1721 s->in_handshake -= 1; 1722 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1723 1724 } else { 1725 1726 } 1727 return (ret); 1728 ERROR: 1729 goto ERROR; 1730} 1731} 1732int ssl3_send_server_certificate(SSL *s ) 1733{ unsigned long l ; 1734 X509 *x ; 1735 int tmp ; 1736 1737 { 1738 if (s->state == 8512) {