Showing error 101

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

Source: 

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