Showing error 100

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

Source: 

1715        }
1716        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1717          if (s->state != state) {
1718            new_state = s->state;
1719            s->state = state;
1720            s->state = new_state;
1721          } else {
1722
1723          }
1724        } else {
1725
1726        }
1727      } else {
1728
1729      }
1730    } else {
1731
1732    }
1733    skip = 0;
1734  }
1735  while_0_break: /* CIL Label */ ;
1736  }
1737  end: 
1738  s->in_handshake -= 1;
1739  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1740
1741  } else {
1742
1743  }
1744  return (ret);
1745  ERROR: 
1746  goto ERROR;
1747}
1748}
1749int ssl3_send_server_certificate(SSL *s ) 
1750{ unsigned long l ;
1751  X509 *x ;
1752  int tmp ;
1753
1754  {
1755  if (s->state == 8512) {
Show full sources
↑