Showing error 2274

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

Source: 

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