C++ (Cpp) ssl3_acceptの例

コード例 #1

ファイル: svcomp-s3_srvr_1.c プロジェクト: tracer-x/tracer

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

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

コード例 #2

ファイル: s3_srvr_13_false-unreach-call.cil.c プロジェクト: usefulalgorithm/sv-benchmarks

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

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

コード例 #3

ファイル: s3_srvr_2.cil.c プロジェクト: fgarnier/NTSLib

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

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

コード例 #4

ファイル: ssh_s3_srvr_6_false.cil.cpp プロジェクト: ahorn/benchmarks

int main() 
{ int s ;
  int tmp ;

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

コード例 #5

ファイル: ssh_s3_srvr_14_false.cil.cpp プロジェクト: ahorn/benchmarks

int main() 
{ int s ;
  int tmp ;

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