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