Showing error 2270

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

Source: 

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