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