Showing error 104

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

Source: 

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