Showing error 105

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

Source: 

1731        }
1732        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1733          if (s->state != state) {
1734            new_state = s->state;
1735            s->state = state;
1736            s->state = new_state;
1737          } else {
1738
1739          }
1740        } else {
1741
1742        }
1743      } else {
1744
1745      }
1746    } else {
1747
1748    }
1749    skip = 0;
1750  }
1751  while_0_break: /* CIL Label */ ;
1752  }
1753  end: 
1754  s->in_handshake -= 1;
1755  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1756
1757  } else {
1758
1759  }
1760  return (ret);
1761  ERROR: 
1762  goto ERROR;
1763}
1764}
1765int ssl3_send_server_certificate(SSL *s ) 
1766{ unsigned long l ;
1767  X509 *x ;
1768  int tmp ;
1769
1770  {
1771  if (s->state == 8512) {
Show full sources
↑