Showing error 2255

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

Source: 

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