C++ (Cpp) ssl3_accept Beispiele

Beispiel #1

Datei: svcomp-s3_srvr_1.c Projekt: tracer-x/tracer

int main(void) 
{ int s ;
  int tmp ;

  {
  s = 8464;
  tmp = ssl3_accept(s);
  return (tmp);
}
}

Beispiel #2

Datei: s3_srvr_13_false-unreach-call.cil.c Projekt: usefulalgorithm/sv-benchmarks

int main(void) 
{ int s ;
  int tmp ;

  {
  {
#line 692
  s = 8464;
#line 693
  tmp = ssl3_accept(s);
  }
#line 695
  return (tmp);
}
}

Beispiel #3

Datei: s3_srvr_2.cil.c Projekt: fgarnier/NTSLib

int main(void) 
{ int s ;
  int tmp ;

  {
  {
#line 668
  s = 8464;
#line 669
  tmp = ssl3_accept(s);
  }
#line 671
  return (tmp);
}
}

Beispiel #4

Datei: ssh_s3_srvr_6_false.cil.cpp Projekt: ahorn/benchmarks

int main() 
{ int s ;
  int tmp ;

  {
  {
#line 744
  s = 8464;
#line 745
  tmp = ssl3_accept(s);
  }
#line 747
  return 0;
}
}

Beispiel #5

Datei: ssh_s3_srvr_14_false.cil.cpp Projekt: ahorn/benchmarks

int main() 
{ int s ;
  int tmp ;

  {
  {
#line 693
  s = 8464;
#line 694
  tmp = ssl3_accept(s);
  }
#line 696
  return 0;
}
}