コード例 #1
0
ファイル: target.cpp プロジェクト: ProgramLeague/By2Cpp 
 int fun(int x) {
     int _default_a_ = _inner_fun_y_;
     _inner_fun_y_ = x;
     int r = inner_fun(_inner_fun_y_);
     int _return_b_ = r;
     _inner_fun_y_ = _default_a_;
     return _return_b_;
 }
コード例 #2
0
ファイル: Function.c プロジェクト: feliam/klee-taint 
int fun(int parama, int paramb){
  int result;
  result = inner_fun(parama, paramb);
  return result;
}