Showing error 85

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.06.i.cil.c
Line in file: 1773
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

1743        }
1744        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1745          if (s->state != state) {
1746            new_state = s->state;
1747            s->state = state;
1748            s->state = new_state;
1749          } else {
1750
1751          }
1752        } else {
1753
1754        }
1755      } else {
1756
1757      }
1758    } else {
1759
1760    }
1761    skip = 0;
1762  }
1763  while_0_break: /* CIL Label */ ;
1764  }
1765  end: 
1766  s->in_handshake -= 1;
1767  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1768
1769  } else {
1770
1771  }
1772  return (ret);
1773  ERROR: 
1774  goto ERROR;
1775}
1776}
1777int ssl3_send_server_certificate(SSL *s ) 
1778{ unsigned long l ;
1779  X509 *x ;
1780  int tmp ;
1781
1782  {
1783  if (s->state == 8512) {
Show full sources
↑