Showing error 2275

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_unsafe.i.cil.c
Line in file: 1763
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

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