Showing error 84

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

Source: 

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