Showing error 99

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

Source: 

1692        }
1693        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1694          if (s->state != state) {
1695            new_state = s->state;
1696            s->state = state;
1697            s->state = new_state;
1698          } else {
1699
1700          }
1701        } else {
1702
1703        }
1704      } else {
1705
1706      }
1707    } else {
1708
1709    }
1710    skip = 0;
1711  }
1712  while_0_break: /* CIL Label */ ;
1713  }
1714  end: 
1715  s->in_handshake -= 1;
1716  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1717
1718  } else {
1719
1720  }
1721  return (ret);
1722  ERROR: 
1723  goto ERROR;
1724}
1725}
1726int ssl3_send_server_certificate(SSL *s ) 
1727{ unsigned long l ;
1728  X509 *x ;
1729  int tmp ;
1730
1731  {
1732  if (s->state == 8512) {
Show full sources
↑