Showing error 103

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

Source: 

1704        }
1705        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1706          if (s->state != state) {
1707            new_state = s->state;
1708            s->state = state;
1709            s->state = new_state;
1710          } else {
1711
1712          }
1713        } else {
1714
1715        }
1716      } else {
1717
1718      }
1719    } else {
1720
1721    }
1722    skip = 0;
1723  }
1724  while_0_break: /* CIL Label */ ;
1725  }
1726  end: 
1727  s->in_handshake -= 1;
1728  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1729
1730  } else {
1731
1732  }
1733  return (ret);
1734  ERROR: 
1735  goto ERROR;
1736}
1737}
1738int ssl3_send_server_certificate(SSL *s ) 
1739{ unsigned long l ;
1740  X509 *x ;
1741  int tmp ;
1742
1743  {
1744  if (s->state == 8512) {
Show full sources
↑