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