Showing error 79

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

Source: 

1671        }
1672        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1673          if (s->state != state) {
1674            new_state = s->state;
1675            s->state = state;
1676            s->state = new_state;
1677          } else {
1678
1679          }
1680        } else {
1681
1682        }
1683      } else {
1684
1685      }
1686    } else {
1687
1688    }
1689    skip = 0;
1690  }
1691  while_0_break: /* CIL Label */ ;
1692  }
1693  end: 
1694  s->in_handshake -= 1;
1695  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1696
1697  } else {
1698
1699  }
1700  return (ret);
1701  ERROR: 
1702  goto ERROR;
1703}
1704}
1705int ssl3_send_server_certificate(SSL *s ) 
1706{ unsigned long l ;
1707  X509 *x ;
1708  int tmp ;
1709
1710  {
1711  if (s->state == 8512) {
Show full sources
↑