C++ (Cpp) megaInit示例

示例#1

文件： empty-Seed1-RandomFuns-Type_short-ControlStructures_13-BB2-ForBound_boundedInput-Operators_Shiftlt_Shiftrt_Lt_Gt_Le_Ge_Eq_Ne_BAnd_BXor_BOr.c 项目： tum-i22/obfuscation-benchmarks

int main(int argc , char *argv[] ) 
{ 
  unsigned short input[1] ;
  unsigned short output[1] ;
  int randomFuns_i5 ;
  unsigned short randomFuns_value6 ;
  int randomFuns_main_i7 ;

  {
  megaInit();
  if (argc != 2) {
    printf("Call this program with %i arguments\n", 1);
    exit(-1);
  } else {

  }
  randomFuns_i5 = 0;
  while (randomFuns_i5 < 1) {
    randomFuns_value6 = (unsigned short )strtoul(argv[randomFuns_i5 + 1], 0, 10);
    input[randomFuns_i5] = randomFuns_value6;
    randomFuns_i5 ++;
  }
  RandomFunc(input, output);
  if (output[0] == (unsigned short)31026) {
    printf("You win!\n");
  } else {

  }
  randomFuns_main_i7 = 0;
  while (randomFuns_main_i7 < 1) {
    printf("%u\n", output[randomFuns_main_i7]);
    randomFuns_main_i7 ++;
  }
}
}

示例#2

文件： empty-Seed2-RandomFuns-Type_long-ControlStructures_15-BB2-ForBound_boundedInput-Operators_PlusA_MinusA_Lt_Gt_Le_Ge_Eq_Ne_Mult_Div_Mod.c 项目： tum-i22/obfuscation-benchmarks

int main(int argc , char *argv[] ) 
{ 
  unsigned long input[1] ;
  unsigned long output[1] ;
  int randomFuns_i5 ;
  unsigned long randomFuns_value6 ;
  int randomFuns_main_i7 ;

  {
  megaInit();
  if (argc != 2) {
    printf("Call this program with %i arguments\n", 1);
    exit(-1);
  } else {

  }
  randomFuns_i5 = 0;
  while (randomFuns_i5 < 1) {
    randomFuns_value6 = strtoul(argv[randomFuns_i5 + 1], 0, 10);
    input[randomFuns_i5] = randomFuns_value6;
    randomFuns_i5 ++;
  }
  RandomFunc(input, output);
  if (output[0] == 13116169164647762112UL) {
    printf("You win!\n");
  } else {

  }
  randomFuns_main_i7 = 0;
  while (randomFuns_main_i7 < 1) {
    printf("%lu\n", output[randomFuns_main_i7]);
    randomFuns_main_i7 ++;
  }
}
}

示例#3

文件： djbhash-addOpaque1.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  unsigned char *str ;
  unsigned int hash ;
  size_t tmp ;
  unsigned int tmp___0 ;
  int i7 ;
  int r8 ;
  struct _1_main__opaque_Node_1 *p9 ;

  {
  megaInit();
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    {
    p9 = (struct _1_main__opaque_Node_1 *)malloc(sizeof(struct _1_main__opaque_Node_1 ));
    if (p9 != (struct _1_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_1_main__opaque_list1_1 != (struct _1_main__opaque_Node_1 *)0UL) {
        p9->next = _1_main__opaque_list1_1->next;
        _1_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _1_main__opaque_list1_1 = p9;
      }
    } else {

    }
    }
    i7 ++;
  }
  _1_main__opaque_list2_1 = _1_main__opaque_list1_1;
  str = (unsigned char *)*(argv + 1);
  tmp = strlen((char const   *)str);
  tmp___0 = DJBHash((char *)str, (unsigned int )tmp);
  hash = tmp___0;
  if (hash == 1235568949U) {
    printf((char const   */* __restrict  */)"The license key is correct!\n");
  } else {
    printf((char const   */* __restrict  */)"The license key is incorrect!\n");
  }
  return (0);
}
}

示例#4

文件： bphash-encodeArithmetic1.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  unsigned char *str ;
  unsigned int hash ;
  size_t tmp ;
  unsigned int tmp___0 ;

  {
  megaInit();
  str = (unsigned char *)*(argv + 1);
  tmp = strlen((char const   *)str);
  tmp___0 = BPHash((char *)str, (unsigned int )tmp);
  hash = tmp___0;
  if (hash == 1543172857U) {
    printf((char const   */* __restrict  */)"The license key is correct!\n");
  } else {
    printf((char const   */* __restrict  */)"The license key is incorrect!\n");
  }
  return (0);
}
}

示例#5

文件： pass-hash-djb2-virt1-d-ifnest-o-stack-m-0-i-4-a-false-blk-trivial-nli-4-so-1-mm-2.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  register int _4_main_$select ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  unsigned char _4_main_$currentOp ;
  int randomFuns_body_i24 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i24 = 0;
    while (randomFuns_body_i24 < 4) {
      _4_main__alwaysOne = 1;
      randomFuns_body_i24 ++;
    }
    _4_main_$currentOp = *(_4_main_$pc[0]);
    if (_4_main_$currentOp == _4_main__branchIfTrue$expr_STA_0$label_LAB_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if ((_4_main_$sp[0] + 0)->_int) {
        _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      } else {
        _4_main_$pc[0] += 4;
      }
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
          (_4_main_$sp[0]) --;
        } else {
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
        }
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__goto$label_LAB_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    } else
    if (_4_main_$currentOp == _4_main__IndexPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long;
        (_4_main_$sp[0]) --;
      } else {
        (_4_main_$sp[0] + -1)->_void_star = ((_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long) + 1;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) - -1;
      }
    } else
    if (_4_main_$currentOp == _4_main__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long == (_4_main_$sp[0] + -1)->_unsigned_long;
          (_4_main_$sp[0]) --;
        } else {

        }
      } else
      if ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) <= r8) {

      } else {
        (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + 0)->_unsigned_long == (_4_main_$sp[0] + -1)->_unsigned_long) & r8;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
      }
    } else
    if (_4_main_$currentOp == _4_main__formal$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
            switch (*((int *)_4_main_$pc[0])) {
            case 1: 
            (_4_main_$sp[0] + 1)->_void_star = (void *)(& argv);
            break;
            case 0: 
            (_4_main_$sp[0] + 1)->_void_star = (void *)(& argc);
            break;
            }
            (_4_main_$sp[0]) ++;
            _4_main_$pc[0] += 4;
          } else
          if (*((int *)_4_main_$pc[0]) > argc) {

          } else {
            return (i7);
          }
        } else {
          while ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) <= _4_main__alwaysOne) {
            while (*((int *)_4_main_$pc[0]) == argc) {
              (_4_main_$sp[0] + 1)->_void_star = (void *)(& argv) + 1;
            }
            _4_main_$sp[0] = (_4_main_$sp[0] + 1) + -1;
            _4_main_$pc[0] += 4;
          }
        }
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__load_unsigned_char$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
          if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
            (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star);
          } else {
            (_4_main_$sp[0] + 0)->_unsigned_char = _4_main_$currentOp;
          }
        } else {

        }
      } else
      if ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) == r8) {

      } else {
        {
        while ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) >= _4_main__alwaysOne) {
          (_4_main_$sp[0] + 0)->_unsigned_char = _4_main_$currentOp;
        }
        }
      }
    } else
    if (_4_main_$currentOp == _4_main__PlusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + 0)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__convert_int2unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
            (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_int;
          } else {
            (_4_main_$sp[0] + 0)->_unsigned_long = 6UL;
          }
        } else {

        }
      } else
      if ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) >= r8) {

      } else {
        {
        while ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) >= _4_main__alwaysOne) {
          (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_int * 2;
        }
        }
      }
    } else
    if (_4_main_$currentOp == _4_main__store_int$right_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
        } else {

        }
      } else {
        {
        while ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) == i7) {
          (_4_main_$sp[0] + 0)->_int = argc;
        }
        }
      }
    } else
    if (_4_main_$currentOp == _4_main__global$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      switch (*((int *)_4_main_$pc[0])) {
      case 1: 
      (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy);
      break;
      case 0: 
      (_4_main_$sp[0] + 1)->_void_star = (void *)(& _2entropy);
      break;
      }
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long * (_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
    } else
    if (_4_main_$currentOp == _4_main__constant_int$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
        (_4_main_$sp[0]) ++;
        _4_main_$pc[0] += 4;
      } else {
        (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]) | 1;
        _4_main_$sp[0] = (_4_main_$sp[0] + 1) + 1;
        _4_main_$pc[0] += 4;
      }
    } else
    if (_4_main_$currentOp == _4_main__BAnd_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long & (_4_main_$sp[0] + -1)->_unsigned_long;
        (_4_main_$sp[0]) --;
      } else {
        (_4_main_$sp[0] + -1)->_unsigned_long = ((_4_main_$sp[0] + 0)->_unsigned_long & (_4_main_$sp[0] + -1)->_unsigned_long) >> 4;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) - 1;
      }
    } else
    if (_4_main_$currentOp == _4_main__convert_void_star2unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
    } else
    if (_4_main_$currentOp == _4_main__BOr_int_int2int$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int;
          (_4_main_$sp[0]) --;
        } else {
          (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int) >> _4_main_$select;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
        }
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1) {

示例#6

文件： pass-hash-djb2-virt1-d-ifnest-o-stack-m-4-i-0-a-true-blk-collatz-nli-4-so-2-mm-2.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  unsigned char _4_main_$currentOp ;
  long randomFuns_n24 ;
  int randomFuns_body_i25 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i25 = 0;
    while (randomFuns_body_i25 < 4) {
      randomFuns_n24 = (_2entropy & 2147483647) % 489;
      while (randomFuns_n24 > 1) {
        if (randomFuns_n24 % 2 == 1) {
          randomFuns_n24 = 3 * randomFuns_n24 + 1;
        } else {
          randomFuns_n24 /= 2;
        }
        _4_main__alwaysOne = randomFuns_n24;
      }
      randomFuns_body_i25 ++;
    }
    _4_main_$currentOp = _3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL ? _4_main_$currentOp : *(_4_main_$pc[0]);
    if (_4_main_$currentOp == _4_main__convert_void_star2void_star$left_STA_0$result_STA_0__store_void_star$right_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
      *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_void_star;
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__return_int$expr_STA_0) {
      _4_main_$pc[0] += _3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL;
      return ((_4_main_$sp[0] + 0)->_int);
    } else
    if (_4_main_$currentOp == _4_main__local$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__Shiftlt_unsigned_long_int2unsigned_long$left_STA_0$result_STA_0$right_STA_1__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long << (_4_main_$sp[0] + -1)->_int;
      (_4_main_$sp[0] + -2)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long + (_4_main_$sp[0] + -2)->_unsigned_long;
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__load_unsigned_long$left_STA_0$result_STA_0__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long != (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
      _4_main_$sp[0] += 2;
      _4_main_$pc[0] += 12;
    } else
    if (_4_main_$currentOp == _4_main__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 1)->_void_star);
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 == _3_main__opaque_list2_1);
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
    } else
    if (_4_main_$currentOp == _4_main__store_int$right_STA_0$left_STA_1__goto$label_LAB_0) {
      _4_main_$pc[0] += (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
      *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__Shiftrt_int_int2int$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int >> (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long + (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__local$result_STA_0$value_LIT_0__string$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) - (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$strings + *((int *)(_4_main_$pc[0] + 4)));
      _4_main_$sp[0] += 2;
      _4_main_$pc[0] += 8;
    } else
    if (_4_main_$currentOp == _4_main__BAnd_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long & (_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0] + -2)->_int = (_4_main_$sp[0] + -1)->_unsigned_long == (_4_main_$sp[0] + -2)->_unsigned_long;
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int;
      (_4_main_$sp[0]) --;
    } else

示例#7

文件： pass-hash-djb2-virt1-d-switch-o-stack-m-0-i-4-a-false-blk-collatz-nli-4-so-1-mm-2.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  unsigned long hash ;
  unsigned long c ;
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  register int _4_main_$select ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  long randomFuns_n23 ;
  int randomFuns_body_i24 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i24 = 0;
    while (randomFuns_body_i24 < 4) {
      randomFuns_n23 = (_2entropy & 2147483647) % 585;
      while (randomFuns_n23 > 1) {
        if (randomFuns_n23 % 2 == 1) {
          randomFuns_n23 = 3 * randomFuns_n23 + 1;
        } else {
          randomFuns_n23 /= 2;
        }
        _4_main__alwaysOne = randomFuns_n23;
      }
      randomFuns_body_i24 ++;
    }
    switch (*(_4_main_$pc[0])) {
    case _4_main__branchIfTrue$expr_STA_0$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if ((_4_main_$sp[0] + 0)->_int) {
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    } else {
      _4_main_$pc[0] += 4;
    }
    (_4_main_$sp[0]) --;
    break;
    case _4_main__goto$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    break;
    case _4_main__IndexPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + -1)->_void_star = ((_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long) + -1;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
    }
    break;
    case _4_main__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long == (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + 0)->_unsigned_long == (_4_main_$sp[0] + -1)->_unsigned_long) + 1;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) - 1;
    }
    break;
    case _4_main__formal$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        switch (*((int *)_4_main_$pc[0])) {
        case 1: 
        (_4_main_$sp[0] + 1)->_void_star = (void *)(& argv);
        break;
        case 0: 
        (_4_main_$sp[0] + 1)->_void_star = (void *)(& argc);
        break;
        }
        (_4_main_$sp[0]) ++;
        _4_main_$pc[0] += 4;
      } else {
        while (*((int *)_4_main_$pc[0]) <= _4_main__alwaysOne) {
          (_4_main_$sp[0] + 1)->_void_star = (void *)(& argc) + 1;
        }
      }
    } else {
      {
      while ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) < i7) {
        if (*((int *)_4_main_$pc[0]) <= argc) {

        } else {
          (_4_main_$sp[0] + 1)->_void_star = (void *)(& argc) - -1;
        }
        _4_main_$sp[0] = (_4_main_$sp[0] + 1) + 1;
        _4_main_$pc[0] += 4;
      }
      }
    }
    break;
    case _4_main__load_unsigned_char$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star);
        } else {

        }
      } else
      if ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) != _4_main__alwaysOne) {

      } else {
        (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star) >> 3;
      }
    } else {
      {
      while ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) < argc) {
        if ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) > r8) {

        } else {
          (_4_main_$sp[0] + 0)->_unsigned_char = (unsigned char)4;
        }
      }
      }
    }
    break;
    case _4_main__PlusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + 0)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
          (_4_main_$sp[0]) --;
        } else {
          (_4_main_$sp[0] + -1)->_void_star = ((_4_main_$sp[0] + 0)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long) + 1;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) - -1;
        }
      } else {

      }
    } else {

    }
    break;
    case _4_main__convert_int2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_int;
    break;
    case _4_main__store_int$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
        _4_main_$sp[0] += -2;
      } else {

      }
    } else {
      {
      while ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) >= _4_main_$select) {
        *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int | 3;
        _4_main_$sp[0] = (_4_main_$sp[0] + -2) - 1;
      }
      }
    }
    break;
    case _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
    } else {
      (_4_main_$sp[0] + 0)->_int = _4_main_$select;
    }
    break;
    case _4_main__global$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          switch (*((int *)_4_main_$pc[0])) {
          case 1: 
          (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy);
          break;
          case 0: 
          (_4_main_$sp[0] + 1)->_void_star = (void *)(& _2entropy);
          break;
          }
          (_4_main_$sp[0]) ++;
          _4_main_$pc[0] += 4;
        } else {

        }
      } else {

      }
    } else {

    }
    break;
    case _4_main__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long * (_4_main_$sp[0] + 0)->_unsigned_long;
          (_4_main_$sp[0]) --;
        } else {
          (_4_main_$sp[0] + -1)->_unsigned_long = c;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
        }
      } else {

      }
    } else {
      {
      while ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) < i7) {
        {
        while ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) == argc) {
          (_4_main_$sp[0] + -1)->_unsigned_long = 3UL;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
        }
        }
      }
      }
    }
    break;
    case _4_main__load_unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
          (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
        } else {
          (_4_main_$sp[0] + 0)->_unsigned_long = 7UL;
        }
      } else {

      }
    } else
    if ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) <= r8) {

    } else {
      {
      while ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) > _4_main_$select) {
        (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star) & hash;
      }
      }
    }
    break;
    case _4_main__constant_int$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
        (_4_main_$sp[0]) ++;
        _4_main_$pc[0] += 4;
      } else {

      }
    } else {
      {
      while ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) != r8) {
        (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]) & argc;
        _4_main_$sp[0] = (_4_main_$sp[0] + 1) - 1;
        _4_main_$pc[0] += 4;
      }
      }
    }
    break;
    case _4_main__BAnd_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long & (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + -1)->_unsigned_long = c;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) - -1;
    }
    break;
    case _4_main__convert_void_star2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
    } else {
      (_4_main_$sp[0] + 0)->_unsigned_long = hash;
    }
    break;
    case _4_main__BOr_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int;
        (_4_main_$sp[0]) --;
      } else {
        (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int) << 10;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
      }
    } else
    if ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) < _4_main__alwaysOne) {
      (_4_main_$sp[0] + -1)->_int = (((_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int) << 10) << _4_main__alwaysOne;
      _4_main_$sp[0] = ((_4_main_$sp[0] + -1) + 1) - 1;
    } else {
      (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int) * 1;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
    }
    break;
    case _4_main__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long + (_4_main_$sp[0] + -1)->_unsigned_long;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__string$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$strings + *((int *)_4_main_$pc[0]));
        (_4_main_$sp[0]) ++;
        _4_main_$pc[0] += 4;
      } else {
        (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$strings + *((int *)_4_main_$pc[0])) + -1;
        _4_main_$sp[0] = (_4_main_$sp[0] + 1) - -1;
        _4_main_$pc[0] += 4;
      }
    } else {
      {
      while ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) <= argc) {
        (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$strings + *((int *)_4_main_$pc[0])) + 1;
        _4_main_$sp[0] = (_4_main_$sp[0] + 1) + -1;
        _4_main_$pc[0] += 4;
      }
      }
    }
    break;
    case _4_main__Shiftlt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long << (_4_main_$sp[0] + 0)->_int;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__convert_void_star2void_star$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
    break;
    case _4_main__constant_unsigned_long$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 8;
    } else {
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]) + 8;
      _4_main_$sp[0] = (_4_main_$sp[0] + 1) + 1;
      _4_main_$pc[0] += 8;
    }
    break;
    case _4_main__store_unsigned_long$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      *((unsigned long *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_unsigned_long;
      _4_main_$sp[0] += -2;
    } else {
      *((unsigned long *)(_4_main_$sp[0] + -1)->_void_star) = hash;
      _4_main_$sp[0] = (_4_main_$sp[0] + -2) - 1;
    }
    break;
    case _4_main__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int + (_4_main_$sp[0] + 0)->_int;
          (_4_main_$sp[0]) --;
        } else {
          (_4_main_$sp[0] + -1)->_int = 5;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) - 1;
        }
      } else {

      }
    } else {

    }
    break;
    case _4_main__convert_unsigned_char2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
          (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_unsigned_char;
        } else {
          (_4_main_$sp[0] + 0)->_unsigned_long = c;
        }
      } else {

      }
    } else {
      {
      while ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) != i7) {
        {
        while ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) != argc) {
          (_4_main_$sp[0] + 0)->_unsigned_long = 4UL;
        }
        }
      }
      }
    }
    break;
    case _4_main__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long != (_4_main_$sp[0] + -1)->_unsigned_long;
        (_4_main_$sp[0]) --;
      } else {
        (_4_main_$sp[0] + -1)->_int = argc;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
      }
    } else {
      {
      while ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) >= _4_main_$select) {
        (_4_main_$sp[0] + -1)->_int = i7;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) - -1;
      }
      }
    }
    break;
    case _4_main__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int;
      (_4_main_$sp[0]) --;
    } else {

    }
    break;
    case _4_main__Shiftrt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long >> (_4_main_$sp[0] + 0)->_int;
        (_4_main_$sp[0]) --;
      } else {

示例#8

文件： pass-hash-djb2-virt1-d-switch-o-stack-m-4-i-4-a-false-blk-arithSeq-nli-4-so-1-mm-2.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  unsigned long hash ;
  unsigned long c ;
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  register int _4_main_$select ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  int randomFuns_n23 ;
  int randomFuns_body_i24 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i24 = 0;
    while (randomFuns_body_i24 < 4) {
      randomFuns_n23 = 1;
      while (randomFuns_n23 < 2752291) {
        _4_main__alwaysOne ++;
        randomFuns_n23 += 5770;
      }
      _4_main__alwaysOne -= 477;
      randomFuns_body_i24 ++;
    }
    switch (*(_4_main_$pc[0])) {
    case _4_main__branchIfTrue$expr_STA_0$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if ((_4_main_$sp[0] + 0)->_int) {
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    } else {
      _4_main_$pc[0] += 4;
    }
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0]) --;
    } else {

    }
    break;
    case _4_main__convert_void_star2void_star$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
    break;
    case _4_main__call$func_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 48)));
    break;
    case 2: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 56)));
    break;
    case 3: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 64)));
    break;
    }
    _4_main_$pc[0] += 4;
    break;
    case _4_main__constant_int$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__formal$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& argv);
    break;
    case 0: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& argc);
    break;
    }
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else {
      {
      while (*((int *)_4_main_$pc[0]) == _4_main_$select) {
        return (i7);
      }
      }
    }
    break;
    case _4_main__load_unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
        } else {
          (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star) & hash;
        }
      } else {

      }
    } else
    if ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) != _4_main__alwaysOne) {

    } else
    if ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) < r8) {
      (_4_main_$sp[0] + 0)->_unsigned_long = (*((unsigned long *)(_4_main_$sp[0] + 0)->_void_star) & hash) & hash;
    } else {
      (_4_main_$sp[0] + 0)->_unsigned_long = 3UL;
    }
    break;
    case _4_main__MinusA_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int - (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__convert_unsigned_char2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_unsigned_char;
    break;
    case _4_main__store_unsigned_long$left_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + -1)->_unsigned_long;
        _4_main_$sp[0] += -2;
      } else {

      }
    } else {

    }
    break;
    case _4_main__string$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$strings + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else {

    }
    break;
    case _4_main__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long != (_4_main_$sp[0] + -1)->_unsigned_long;
        (_4_main_$sp[0]) --;
      } else {

      }
    } else
    if ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) == _4_main__alwaysOne) {

    } else {
      (_4_main_$sp[0] + -1)->_int = 3;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
    }
    break;
    case _4_main__BAnd_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long & (_4_main_$sp[0] + 0)->_unsigned_long;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__convert_void_star2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
    } else {
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star << hash;
    }
    break;
    case _4_main__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
          (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long;
          (_4_main_$sp[0]) --;
        } else {

        }
      } else
      if ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) >= r8) {

      } else {
        (_4_main_$sp[0] + -1)->_void_star = ((_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long) - 1;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) - 1;
      }
    } else
    if ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) < r8) {
      if (((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) >= r8) > _4_main__alwaysOne) {
        (_4_main_$sp[0] + -1)->_void_star = (((_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long) - 1) - 1;
        _4_main_$sp[0] = ((_4_main_$sp[0] + -1) - 1) - -1;
      } else {

      }
    } else
    if ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) == _4_main__alwaysOne) {

    } else {
      (_4_main_$sp[0] + -1)->_void_star = ((_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long) + -1;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) - 1;
    }
    break;
    case _4_main__store_void_star$left_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        *((void **)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + -1)->_void_star;
        _4_main_$sp[0] += -2;
      } else {
        *((void **)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + -1)->_void_star - 1;
        _4_main_$sp[0] = (_4_main_$sp[0] + -2) - 1;
      }
    } else
    if ((_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) >= r8) {
      *((void **)(_4_main_$sp[0] + 0)->_void_star) = ((_4_main_$sp[0] + -1)->_void_star - 1) + 1;
      _4_main_$sp[0] = ((_4_main_$sp[0] + -2) - 1) - -1;
    } else {
      *((void **)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + -1)->_void_star + -1;
      _4_main_$sp[0] = (_4_main_$sp[0] + -2) + 1;
    }
    break;
    case _4_main__store_int$left_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    *((int *)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + -1)->_int;
    _4_main_$sp[0] += -2;
    break;
    case _4_main__convert_int2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
          (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_int;
        } else {
          (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_int | c;
        }
      } else {

      }
    } else {

    }
    break;
    case _4_main__store_void_star$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_void_star;
        _4_main_$sp[0] += -2;
      } else {

      }
    } else {

    }
    break;
    case _4_main__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else {
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0])) - -1;
      _4_main_$sp[0] = (_4_main_$sp[0] + 1) - -1;
      _4_main_$pc[0] += 4;
    }
    break;
    case _4_main__load_unsigned_char$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star);
    break;
    case _4_main__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long + (_4_main_$sp[0] + -1)->_unsigned_long;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
        } else {

        }
      } else {

      }
    } else {

    }
    break;
    case _4_main__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int + (_4_main_$sp[0] + -1)->_int;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + -1)->_int = 1;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
    }
    break;
    case _4_main__return_int$expr_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
          return ((_4_main_$sp[0] + 0)->_int);
        } else {

        }
      } else {
        while ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) <= _4_main_$select) {
          return (9);
        }
      }
    } else {

    }
    break;
    case _4_main__load_int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    break;
    case _4_main__Shiftrt_unsigned_long_int2unsigned_long$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long >> (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__Shiftrt_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int >> (_4_main_$sp[0] + 0)->_int;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__BOr_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + -1)->_int = 2;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
    }
    break;
    case _4_main__Mult_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
          (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int * (_4_main_$sp[0] + -1)->_int;
          (_4_main_$sp[0]) --;
        } else {
          (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + 0)->_int * (_4_main_$sp[0] + -1)->_int) * 9;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
        }
      } else {
        while ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) >= _4_main__alwaysOne) {
          (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int * (_4_main_$sp[0] + -1)->_int ^ 6;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) - 1;
        }
      }
    } else {
      {
      while ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) == i7) {
        {
        while ((_3_main__opaque_list1_1 == _3_main__opaque_list2_1) > _4_main_$select) {
          (_4_main_$sp[0] + -1)->_int = 4;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
        }
        }
      }
      }
    }
    break;
    case _4_main__Mult_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long * (_4_main_$sp[0] + -1)->_unsigned_long;
          (_4_main_$sp[0]) --;
        } else {
          (_4_main_$sp[0] + -1)->_unsigned_long = c;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
        }
      } else {
        while ((_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) < _4_main__alwaysOne) {
          (_4_main_$sp[0] + -1)->_unsigned_long = 2UL;
          _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
        }
      }
    } else {

    }
    break;
    case _4_main__global$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy);
    break;
    case 0: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& _2entropy);
    break;
    }
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else {
      _4_main_$sp[0] = (_4_main_$sp[0] + 1) - -1;
      _4_main_$pc[0] += 4;
    }
    break;
    case _4_main__IndexPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + -1)->_void_star = ((_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long) - -1;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) - 1;
    }
    break;
    case _4_main__store_int$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
    _4_main_$sp[0] += -2;
    break;
    case _4_main__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
          (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int;
          (_4_main_$sp[0]) --;
        } else {

        }
      } else {

      }
    } else {

    }
    break;

示例#9

文件： mixed_1123.c 项目： halfopen/woj_learn

int main(void) 
{ 
  char _1_main_$locals[72] ;
  union _1_main_$node _1_main_$stack[1][32] ;
  union _1_main_$node *_1_main_$sp[1] ;
  unsigned char *_1_main_$pc[1] ;

  {
  megaInit();
  _1_main_$sp[0] = _1_main_$stack[0];
  _1_main_$pc[0] = _1_main_$array[0];
  while (1) {
    switch (*(_1_main_$pc[0])) {
    case _1_main__constant_int$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_int = *((int *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__convert_void_star2void_star$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_void_star = (_1_main_$sp[0] + 0)->_void_star;
    break;
    case _1_main__string$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$strings + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__call$func_LIT_0: 
    (_1_main_$pc[0]) ++;
    switch (*((int *)_1_main_$pc[0])) {
    case 2: 
    *((int *)(_1_main_$locals + 28)) = scanf(*((char const   * __restrict  *)(_1_main_$locals + 0)),
                                             *((long **)(_1_main_$locals + 8)));
    break;
    case 1: 
    test();
    break;
    case 4: 
    printf(*((char const   * __restrict  *)(_1_main_$locals + 56)), *((long *)(_1_main_$locals + 64)));
    break;
    case 3: 
    printf(*((char const   * __restrict  *)(_1_main_$locals + 32)), *((long *)(_1_main_$locals + 40)));
    break;
    }
    _1_main_$pc[0] += 4;
    break;
    case _1_main__return_int$expr_STA_0: 
    (_1_main_$pc[0]) ++;
    return ((_1_main_$sp[0] + 0)->_int);
    break;
    case _1_main__constant_long$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_long = *((long *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 8;
    break;
    case _1_main__Mult_long_long2long$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_long = (_1_main_$sp[0] + -1)->_long * (_1_main_$sp[0] + 0)->_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__goto$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    break;
    case _1_main__label$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    break;
    case _1_main__branchIfTrue$expr_STA_0$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    if ((_1_main_$sp[0] + 0)->_int) {
      _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    } else {
      _1_main_$pc[0] += 4;
    }
    (_1_main_$sp[0]) --;
    break;
    case _1_main__load_int$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_int = *((int *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__Ne_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + -1)->_int != (_1_main_$sp[0] + 0)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_long = (_1_main_$sp[0] + 0)->_long - (_1_main_$sp[0] + -1)->_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__local$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$locals + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__load_long$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_long = *((long *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__Eq_long_long2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_long == (_1_main_$sp[0] + -1)->_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__store_int$left_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    *((int *)(_1_main_$sp[0] + 0)->_void_star) = (_1_main_$sp[0] + -1)->_int;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__store_void_star$left_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    *((void **)(_1_main_$sp[0] + 0)->_void_star) = (_1_main_$sp[0] + -1)->_void_star;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__store_long$right_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    *((long *)(_1_main_$sp[0] + -1)->_void_star) = (_1_main_$sp[0] + 0)->_long;
    _1_main_$sp[0] += -2;
    break;
    }
  }
}
}

示例#10

文件： pass-hash-djb2-virt1-d-switch-o-stack-m-0-i-2-a-true-blk-collatz-nli-4-so-2-mm-16.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  unsigned long hash ;
  unsigned long c ;
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  long randomFuns_n23 ;
  int randomFuns_body_i24 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i24 = 0;
    while (randomFuns_body_i24 < 4) {
      randomFuns_n23 = (_2entropy & 2147483647) % 473;
      while (randomFuns_n23 > 1) {
        if (randomFuns_n23 % 2 == 1) {
          randomFuns_n23 = 3 * randomFuns_n23 + 1;
        } else {
          randomFuns_n23 /= 2;
        }
        _4_main__alwaysOne = randomFuns_n23;
      }
      randomFuns_body_i24 ++;
    }
    switch (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL ? *(_4_main_$pc[0]) : *(_4_main_$pc[0]) * 9) {
    case _4_main__load_int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 != _3_main__opaque_list2_1) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    } else {
      (_4_main_$sp[0] + 0)->_int = i7;
    }
    break;
    case _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
      (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
    } else {

    }
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1__store_int$right_STA_0$left_STA_1__goto$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0] + 1)->_void_star = *((void **)(_4_main_$sp[0] + 1)->_void_star);
      (_4_main_$sp[0] + 1)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 1)->_void_star;
      (_4_main_$sp[0] + 1)->_int = (int )(_4_main_$sp[0] + 1)->_unsigned_long;
      (_4_main_$sp[0] + 0)->_int = (_4_main_$sp[0] + 1)->_int >> (_4_main_$sp[0] + 0)->_int;
      *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
      _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 4));
      _4_main_$sp[0] += -2;
    } else {
      (_4_main_$sp[0] + 0)->_int = 7;
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0])) - -1;
      (_4_main_$sp[0] + 1)->_void_star = *((void **)(_4_main_$sp[0] + 1)->_void_star) + 1;
      (_4_main_$sp[0] + 1)->_unsigned_long = hash;
      (_4_main_$sp[0] + 1)->_int = (int )(_4_main_$sp[0] + 1)->_unsigned_long % argc;
      (_4_main_$sp[0] + 0)->_int = _4_main__alwaysOne;
      *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int - 9;
      _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 4));
      _4_main_$sp[0] = (_4_main_$sp[0] + -2) - -1;
    }
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__Mult_int_int2int$right_STA_0$result_STA_0$left_STA_1__store_int$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int * (_4_main_$sp[0] + 0)->_int;
      *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
      _4_main_$sp[0] += -3;
    } else {

    }
    break;
    case _4_main__goto$label_LAB_0: 
    _4_main_$pc[0] += _3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL;
    _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    break;
    case _4_main__global$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy);
    break;
    case 0: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& _2entropy);
    break;
    }
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__MinusA_int_int2int$left_STA_0$result_STA_0$right_STA_1__store_int$right_STA_0$left_STA_1__local$result_STA_0$value_LIT_0__constant_unsigned_long$result_STA_0$value_LIT_0__store_unsigned_long$right_STA_0$left_STA_1__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int - (_4_main_$sp[0] + -1)->_int;
    *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0] + -2)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + -1)->_unsigned_long = *((unsigned long *)(_4_main_$pc[0] + 4));
    *((unsigned long *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_unsigned_long;
    (_4_main_$sp[0] + -2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 12)));
    _4_main_$sp[0] += -2;
    _4_main_$pc[0] += 16;
    break;
    case _4_main__return_int$expr_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    return ((_4_main_$sp[0] + 0)->_int);
    break;
    case _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0: 
    _4_main_$pc[0] += (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list1_1 != _3_main__opaque_list2_1);
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
      (_4_main_$sp[0] + 2)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 2)->_void_star);
      (_4_main_$sp[0] + 1)->_int = (_4_main_$sp[0] + 2)->_unsigned_long != (_4_main_$sp[0] + 1)->_unsigned_long;
      if ((_4_main_$sp[0] + 1)->_int) {
        _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 12));
      } else {
        _4_main_$pc[0] += 16;
      }
    } else {
      (_4_main_$sp[0] + 1)->_unsigned_long = hash;
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8))) - 1;
      (_4_main_$sp[0] + 2)->_unsigned_long = 1UL;
      (_4_main_$sp[0] + 1)->_int = ((_4_main_$sp[0] + 2)->_unsigned_long != (_4_main_$sp[0] + 1)->_unsigned_long) >> i7;
    }
    break;
    case _4_main__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 == _3_main__opaque_list2_1);
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 1)->_void_star);
    (_4_main_$sp[0] + 1)->_int = (int )(_4_main_$sp[0] + 1)->_unsigned_long;
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__label$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    break;
    case _4_main__load_void_star$left_STA_0$result_STA_0__constant_int$result_STA_0$value_LIT_0__convert_int2unsigned_long$left_STA_0$result_STA_0__constant_unsigned_long$result_STA_0$value_LIT_0__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1__IndexPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1__load_void_star$left_STA_0$result_STA_0__convert_void_star2void_star$left_STA_0$result_STA_0__store_void_star$right_STA_0$left_STA_1__goto$label_LAB_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 != _3_main__opaque_list2_1) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
    (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 1)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 1)->_int;
    (_4_main_$sp[0] + 2)->_unsigned_long = *((unsigned long *)(_4_main_$pc[0] + 4));
    (_4_main_$sp[0] + 1)->_unsigned_long = (_4_main_$sp[0] + 1)->_unsigned_long * (_4_main_$sp[0] + 2)->_unsigned_long;
    (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star + (_4_main_$sp[0] + 1)->_unsigned_long;
    (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
    *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_void_star;
    _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 12));
    _4_main_$sp[0] += -2;
    break;
    case _4_main__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1__store_unsigned_long$right_STA_0$left_STA_1__goto$label_LAB_0: 
    _4_main_$pc[0] += (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 == _3_main__opaque_list2_1);
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long + (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0] + -2)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long + (_4_main_$sp[0] + -2)->_unsigned_long;
      *((unsigned long *)(_4_main_$sp[0] + -3)->_void_star) = (_4_main_$sp[0] + -2)->_unsigned_long;
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      _4_main_$sp[0] += -4;
    } else {

    }
    break;
    case _4_main__local$result_STA_0$value_LIT_0__string$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_STA_0__store_void_star$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$strings + *((int *)(_4_main_$pc[0] + 4)));
      (_4_main_$sp[0] + 2)->_void_star = (_4_main_$sp[0] + 2)->_void_star;
      *((void **)(_4_main_$sp[0] + 1)->_void_star) = (_4_main_$sp[0] + 2)->_void_star;
      _4_main_$pc[0] += 8;
    } else {
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0])) - 1;
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$strings + *((int *)(_4_main_$pc[0] + 4))) + -1;
      (_4_main_$sp[0] + 2)->_void_star = (_4_main_$sp[0] + 2)->_void_star + 1;
      *((void **)(_4_main_$sp[0] + 1)->_void_star) = (_4_main_$sp[0] + 2)->_void_star + -1;
      _4_main_$pc[0] += 8;
    }
    break;
    case _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__constant_int$result_STA_0$value_LIT_0__Shiftrt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
      (_4_main_$sp[0] + 2)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 2)->_void_star);
      (_4_main_$sp[0] + 3)->_int = *((int *)(_4_main_$pc[0] + 12));
      (_4_main_$sp[0] + 2)->_unsigned_long = (_4_main_$sp[0] + 2)->_unsigned_long >> (_4_main_$sp[0] + 3)->_int;
      (_4_main_$sp[0] + 1)->_int = (_4_main_$sp[0] + 2)->_unsigned_long == (_4_main_$sp[0] + 1)->_unsigned_long;
      if ((_4_main_$sp[0] + 1)->_int) {
        _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 16));
      } else {
        _4_main_$pc[0] += 20;
      }
    } else {

    }
    break;

示例#11

文件： pass-hash-djb2-virt1-d-ifnest-o-stack-m-0-i-0-a-true-blk-collatz-nli-4-so-2-mm-2.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  unsigned char _4_main_$currentOp ;
  long randomFuns_n24 ;
  int randomFuns_body_i25 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i25 = 0;
    while (randomFuns_body_i25 < 4) {
      randomFuns_n24 = (_2entropy & 2147483647) % 727;
      while (randomFuns_n24 > 1) {
        if (randomFuns_n24 % 2 == 1) {
          randomFuns_n24 = 3 * randomFuns_n24 + 1;
        } else {
          randomFuns_n24 /= 2;
        }
        _4_main__alwaysOne = randomFuns_n24;
      }
      randomFuns_body_i25 ++;
    }
    _4_main_$currentOp = *(_4_main_$pc[0]) * ((unsigned char )(_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) - (unsigned char )(_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL));
    if (_4_main_$currentOp == _4_main__constant_int$result_STA_0$value_LIT_0__Shiftlt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
      (_4_main_$sp[0] + 0)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long << (_4_main_$sp[0] + 1)->_int;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__BOr_int_int2int$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__PlusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + 0)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__return_int$expr_STA_0) {
      _4_main_$pc[0] += (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
      return ((_4_main_$sp[0] + 0)->_int);
    } else
    if (_4_main_$currentOp == _4_main__local$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += ! (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL);
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 4)));
      _4_main_$sp[0] += 2;
      _4_main_$pc[0] += 8;
    } else
    if (_4_main_$currentOp == _4_main__constant_unsigned_long$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += ! (_3_main__opaque_list1_1 != _3_main__opaque_list2_1);
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 8;
    } else
    if (_4_main_$currentOp == _4_main__label$label_LAB_0) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 != _3_main__opaque_list2_1) + (_3_main__opaque_list1_1 == _3_main__opaque_list2_1);
    } else
    if (_4_main_$currentOp == _4_main__convert_void_star2void_star$left_STA_0$result_STA_0__store_void_star$right_STA_0$left_STA_1) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 != _3_main__opaque_list2_1) + (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL);
      (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
      *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_void_star;
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__call$func_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      switch (*((int *)_4_main_$pc[0])) {
      case 1: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 48)));
      break;
      case 2: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 56)));
      break;
      case 3: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 64)));
      break;
      }
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__Mult_int_int2int$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 == _3_main__opaque_list2_1);
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int * (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 == _3_main__opaque_list2_1);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long == (_4_main_$sp[0] + -1)->_unsigned_long;
      if ((_4_main_$sp[0] + -1)->_int) {
        _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      } else {
        _4_main_$pc[0] += 4;
      }
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__local$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__store_void_star$right_STA_0$left_STA_1) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list1_1 != _3_main__opaque_list2_1);
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_void_star;
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__convert_int2unsigned_long$left_STA_0$result_STA_0__constant_unsigned_long$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += ! (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL);
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 8;
    } else
    if (_4_main_$currentOp == _4_main__constant_int$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__MinusA_int_int2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int - (_4_main_$sp[0] + -1)->_int;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2void_star$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL;
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
    } else
    if (_4_main_$currentOp == _4_main__load_unsigned_long$left_STA_0$result_STA_0__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long != (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__load_unsigned_char$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star);
    } else
    if (_4_main_$currentOp == _4_main__formal$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
      switch (*((int *)_4_main_$pc[0])) {
      case 1: 
      (_4_main_$sp[0] + 1)->_void_star = (void *)(& argv);
      break;
      case 0: 
      (_4_main_$sp[0] + 1)->_void_star = (void *)(& argc);
      break;
      }
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__Shiftrt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long >> (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else

示例#12

文件： mixed_1320.c 项目： halfopen/woj_learn

int main(void) 
{ 
  char _1_main_$locals[168] ;
  union _1_main_$node _1_main_$stack[1][32] ;
  union _1_main_$node *_1_main_$sp[1] ;
  unsigned char *_1_main_$pc[1] ;

  {
  megaInit();
  _1_main_$sp[0] = _1_main_$stack[0];
  _1_main_$pc[0] = _1_main_$array[0];
  while (1) {
    switch (*(_1_main_$pc[0])) {
    case _1_main__store_int$left_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    *((int *)(_1_main_$sp[0] + 0)->_void_star) = (_1_main_$sp[0] + -1)->_int;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__store_long_long$right_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    *((long long *)(_1_main_$sp[0] + -1)->_void_star) = (_1_main_$sp[0] + 0)->_long_long;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__goto$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    break;
    case _1_main__label$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    break;
    case _1_main__constant_long_long$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_long_long = *((long long *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 8;
    break;
    case _1_main__load_long_long$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_long_long = *((long long *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__store_void_star$left_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    *((void **)(_1_main_$sp[0] + 0)->_void_star) = (_1_main_$sp[0] + -1)->_void_star;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__call$func_LIT_0: 
    (_1_main_$pc[0]) ++;
    switch (*((int *)_1_main_$pc[0])) {
    case 2: 
    scanf(*((char const   * __restrict  *)(_1_main_$locals + 32)), *((int **)(_1_main_$locals + 40)),
          *((int **)(_1_main_$locals + 56)));
    break;
    case 1: 
    scanf(*((char const   * __restrict  *)(_1_main_$locals + 0)), *((int **)(_1_main_$locals + 8)));
    break;
    case 3: 
    scanf(*((char const   * __restrict  *)(_1_main_$locals + 72)), *((int **)(_1_main_$locals + 80)),
          *((int **)(_1_main_$locals + 96)));
    break;
    case 4: 
    *((long long *)(_1_main_$locals + 144)) = modular_exponentiation(*((long long *)(_1_main_$locals + 112)),
                                                                     *((long long *)(_1_main_$locals + 120)),
                                                                     *((long long *)(_1_main_$locals + 128)));
    break;
    case 6: 
    printf(*((char const   * __restrict  *)(_1_main_$locals + 152)), *((long long *)(_1_main_$locals + 160)));
    break;
    case 5: 
    test();
    break;
    }
    _1_main_$pc[0] += 4;
    break;
    case _1_main__branchIfTrue$expr_STA_0$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    if ((_1_main_$sp[0] + 0)->_int) {
      _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    } else {
      _1_main_$pc[0] += 4;
    }
    (_1_main_$sp[0]) --;
    break;
    case _1_main__return_int$expr_STA_0: 
    (_1_main_$pc[0]) ++;
    return ((_1_main_$sp[0] + 0)->_int);
    break;
    case _1_main__MinusA_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_int - (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__convert_int2long_long$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_long_long = (long long )(_1_main_$sp[0] + 0)->_int;
    break;
    case _1_main__constant_int$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_int = *((int *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__convert_void_star2void_star$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_void_star = (_1_main_$sp[0] + 0)->_void_star;
    break;
    case _1_main__local$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$locals + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__string$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$strings + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__PlusA_long_long_long_long2long_long$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_long_long = (_1_main_$sp[0] + 0)->_long_long + (_1_main_$sp[0] + -1)->_long_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__load_int$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_int = *((int *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__Ge_long_long_long_long2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_long_long >= (_1_main_$sp[0] + -1)->_long_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__Mod_long_long_long_long2long_long$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_long_long = (_1_main_$sp[0] + 0)->_long_long % (_1_main_$sp[0] + -1)->_long_long;
    (_1_main_$sp[0]) --;
    break;
    }
  }
}
}

示例#13

文件： pass-hash-djb2-virt1-d-ifnest-o-stack-m-4-i-0-a-true-blk-trivial-nli-4-so-2-mm-16.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  unsigned char _4_main_$currentOp ;
  int randomFuns_body_i24 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i24 = 0;
    while (randomFuns_body_i24 < 4) {
      _4_main__alwaysOne = 1;
      randomFuns_body_i24 ++;
    }
    _4_main_$currentOp = *(_4_main_$pc[0]) + ((unsigned char )(_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) - (unsigned char )(_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL));
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0__Mult_int_int2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) - (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
      (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int * (_4_main_$sp[0] + -1)->_int;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__label$label_LAB_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    } else
    if (_4_main_$currentOp == _4_main__convert_unsigned_char2unsigned_long$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0__store_unsigned_long$left_STA_0$right_STA_1__goto$label_LAB_0) {
      _4_main_$pc[0] += _3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL;
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_unsigned_char;
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      *((unsigned long *)(_4_main_$sp[0] + 1)->_void_star) = (_4_main_$sp[0] + 0)->_unsigned_long;
      _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 4));
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1__store_int$right_STA_0$left_STA_1__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__constant_int$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__Shiftlt_unsigned_long_int2unsigned_long$left_STA_0$result_STA_0$right_STA_1__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0] + 1)->_void_star = *((void **)(_4_main_$sp[0] + 1)->_void_star);
      (_4_main_$sp[0] + 1)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 1)->_void_star;
      (_4_main_$sp[0] + 1)->_int = (int )(_4_main_$sp[0] + 1)->_unsigned_long;
      (_4_main_$sp[0] + 0)->_int = (_4_main_$sp[0] + 1)->_int >> (_4_main_$sp[0] + 0)->_int;
      *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0] + -1)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 4)));
      (_4_main_$sp[0] + -1)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + -1)->_void_star);
      (_4_main_$sp[0] + 0)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
      (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 1)->_int = *((int *)(_4_main_$pc[0] + 12));
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 16)));
      (_4_main_$sp[0] + 2)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 2)->_void_star);
      (_4_main_$sp[0] + 1)->_unsigned_long = (_4_main_$sp[0] + 2)->_unsigned_long << (_4_main_$sp[0] + 1)->_int;
      (_4_main_$sp[0] + 0)->_unsigned_long = (_4_main_$sp[0] + 1)->_unsigned_long + (_4_main_$sp[0] + 0)->_unsigned_long;
      _4_main_$pc[0] += 20;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__MinusA_int_int2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int - (_4_main_$sp[0] + -1)->_int;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
      (_4_main_$sp[0] + 2)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 2)->_void_star);
      (_4_main_$sp[0] + 1)->_int = (_4_main_$sp[0] + 2)->_unsigned_long != (_4_main_$sp[0] + 1)->_unsigned_long;
      if ((_4_main_$sp[0] + 1)->_int) {
        _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 12));
      } else {
        _4_main_$pc[0] += 16;
      }
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__MinusA_int_int2int$right_STA_0$result_STA_0$left_STA_1__store_int$right_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int - (_4_main_$sp[0] + 0)->_int;
      *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
      _4_main_$sp[0] += -3;
    } else
    if (_4_main_$currentOp == _4_main__local$result_STA_0$value_LIT_0__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += (_3_main__opaque_list1_1 != _3_main__opaque_list2_1) + (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL);
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0] + 1)->_void_star = *((void **)(_4_main_$sp[0] + 1)->_void_star);
      (_4_main_$sp[0] + 1)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 1)->_void_star;
      (_4_main_$sp[0] + 1)->_int = (int )(_4_main_$sp[0] + 1)->_unsigned_long;
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__Shiftrt_unsigned_long_int2unsigned_long$left_STA_0$result_STA_0$right_STA_1__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0] + 2)->_int = *((int *)(_4_main_$pc[0] + 8));
      (_4_main_$sp[0] + 3)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 12)));
      (_4_main_$sp[0] + 3)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 3)->_void_star);
      (_4_main_$sp[0] + 2)->_unsigned_long = (_4_main_$sp[0] + 3)->_unsigned_long >> (_4_main_$sp[0] + 2)->_int;
      (_4_main_$sp[0] + 1)->_int = (_4_main_$sp[0] + 2)->_unsigned_long == (_4_main_$sp[0] + 1)->_unsigned_long;
      if ((_4_main_$sp[0] + 1)->_int) {
        _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 16));
      } else {
        _4_main_$pc[0] += 20;
      }
    } else

示例#14

文件： pass-hash-djb2-virt1-d-ifnest-o-stack-m-0-i-2-a-false-blk-arithSeq-nli-4-so-1-mm-2.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  unsigned long c ;
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  unsigned char _4_main_$currentOp ;
  int randomFuns_n24 ;
  int randomFuns_body_i25 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i25 = 0;
    while (randomFuns_body_i25 < 4) {
      randomFuns_n24 = 1;
      while (randomFuns_n24 < 7653942) {
        _4_main__alwaysOne ++;
        randomFuns_n24 += 9101;
      }
      _4_main__alwaysOne -= 841;
      randomFuns_body_i25 ++;
    }
    _4_main_$currentOp = *(_4_main_$pc[0]);
    if (_4_main_$currentOp == _4_main__branchIfTrue$expr_STA_0$label_LAB_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if ((_4_main_$sp[0] + 0)->_int) {
        _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      } else {
        _4_main_$pc[0] += 4;
      }
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__goto$label_LAB_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__IndexPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + -1)->_void_star + (_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long == (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__formal$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        switch (*((int *)_4_main_$pc[0])) {
        case 1: 
        (_4_main_$sp[0] + 1)->_void_star = (void *)(& argv);
        break;
        case 0: 
        (_4_main_$sp[0] + 1)->_void_star = (void *)(& argc);
        break;
        }
        (_4_main_$sp[0]) ++;
        _4_main_$pc[0] += 4;
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__load_unsigned_char$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star);
    } else
    if (_4_main_$currentOp == _4_main__PlusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + 0)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__convert_int2unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_int;
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__store_int$right_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
        _4_main_$sp[0] += -2;
      } else {
        *((int *)(_4_main_$sp[0] + -1)->_void_star) = 6;
        _4_main_$sp[0] = (_4_main_$sp[0] + -2) + 1;
      }
    } else
    if (_4_main_$currentOp == _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__global$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      switch (*((int *)_4_main_$pc[0])) {
      case 1: 
      (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy);
      break;
      case 0: 
      (_4_main_$sp[0] + 1)->_void_star = (void *)(& _2entropy);
      break;
      }
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0]) ++;
        _4_main_$pc[0] += 4;
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long * (_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
    } else
    if (_4_main_$currentOp == _4_main__constant_int$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__BAnd_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long & (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__convert_void_star2unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__BOr_int_int2int$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int;
        (_4_main_$sp[0]) --;
      } else {
        (_4_main_$sp[0] + -1)->_int = _4_main__alwaysOne;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
      }
    } else
    if (_4_main_$currentOp == _4_main__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long + (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__string$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$strings + *((int *)_4_main_$pc[0]));
        (_4_main_$sp[0]) ++;
        _4_main_$pc[0] += 4;
      } else {
        (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$strings + *((int *)_4_main_$pc[0])) - 1;
        _4_main_$sp[0] = (_4_main_$sp[0] + 1) + 1;
        _4_main_$pc[0] += 4;
      }
    } else
    if (_4_main_$currentOp == _4_main__Shiftlt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long << (_4_main_$sp[0] + 0)->_int;
        (_4_main_$sp[0]) --;
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__convert_void_star2void_star$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__constant_unsigned_long$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 8;
    } else
    if (_4_main_$currentOp == _4_main__store_unsigned_long$right_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
        *((unsigned long *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_unsigned_long;
        _4_main_$sp[0] += -2;
      } else {
        *((unsigned long *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_unsigned_long * c;
        _4_main_$sp[0] = (_4_main_$sp[0] + -2) + -1;
      }
    } else
    if (_4_main_$currentOp == _4_main__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int + (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__convert_unsigned_char2unsigned_long$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_unsigned_char;
    } else
    if (_4_main_$currentOp == _4_main__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long != (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int;
        (_4_main_$sp[0]) --;
      } else {
        (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int) - i7;
        _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
      }
    } else

示例#15

文件： pass-hash-djb2-virt1-d-switch-o-stack-m-0-i-2-a-true-blk-collatz-nli-0-so-2-mm-2.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  unsigned long hash ;
  unsigned long c ;
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  register int _4_main_$select ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    switch (*(_4_main_$pc[0]) + (unsigned char )(_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL)) {
    case _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2void_star$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += ! (_3_main__opaque_list1_1 != _3_main__opaque_list2_1);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
    } else {
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star) + -1;
      (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star + -1;
    }
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__Mult_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int * (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else {

    }
    break;
    case _4_main__load_void_star$left_STA_0$result_STA_0__PlusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) - (_3_main__opaque_list1_1 != _3_main__opaque_list2_1);
    (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + 0)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__load_void_star$left_STA_0$result_STA_0__load_unsigned_char$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL);
    (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star);
    break;
    case _4_main__call$func_LIT_0: 
    _4_main_$pc[0] += ! (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL);
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 48)));
    break;
    case 2: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 56)));
    break;
    case 3: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 64)));
    break;
    }
    _4_main_$pc[0] += 4;
    break;
    case _4_main__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL;
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__load_unsigned_long$left_STA_0$result_STA_0__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long != (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + 0)->_unsigned_long = c;
      (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + 0)->_unsigned_long != (_4_main_$sp[0] + -1)->_unsigned_long) * 4;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
    }
    break;
    case _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += ! (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
    } else {
      (_4_main_$sp[0] + 0)->_int = i7;
    }
    break;
    case _4_main__global$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 == _3_main__opaque_list2_1);
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy);
    break;
    case 0: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& _2entropy);
    break;
    }
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else {
      {
      while (*((int *)_4_main_$pc[0]) < r8) {
        (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy) - -1;
      }
      }
    }
    break;
    case _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long - _4_main_$select;
      (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int) << 4;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
    }
    break;
    case _4_main__goto$label_LAB_0: 
    _4_main_$pc[0] += (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    } else {

    }
    break;
    case _4_main__convert_int2unsigned_long$left_STA_0$result_STA_0__constant_unsigned_long$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
    (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_int;
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 8;
    break;
    case _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += ! (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
    (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
    break;
    case _4_main__constant_int$result_STA_0$value_LIT_0__Shiftlt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += ! (_3_main__opaque_list1_1 != _3_main__opaque_list2_1);
    (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 0)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long << (_4_main_$sp[0] + 1)->_int;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__store_int$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += ! (_3_main__opaque_list1_1 != _3_main__opaque_list2_1);
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
      _4_main_$sp[0] += -2;
    } else {
      *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int / 1;
      _4_main_$sp[0] = (_4_main_$sp[0] + -2) - -1;
    }
    break;
    case _4_main__store_void_star$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL);
    *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_void_star;
    _4_main_$sp[0] += -2;
    break;
    case _4_main__load_unsigned_long$left_STA_0$result_STA_0__BAnd_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += ! (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long & (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + 0)->_unsigned_long = c;
      (_4_main_$sp[0] + -1)->_unsigned_long = hash;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) - -1;
    }
    break;
    case _4_main__store_int$right_STA_0$left_STA_1__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += ! (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL);
    *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
    (_4_main_$sp[0] + -1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0]) --;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__label$label_LAB_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL);
    break;
    case _4_main__return_int$expr_STA_0: 
    _4_main_$pc[0] += _3_main__opaque_list1_1 == _3_main__opaque_list2_1;
    return ((_4_main_$sp[0] + 0)->_int);
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int + (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else {
      (_4_main_$sp[0] + 0)->_int = argc;
      (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + -1)->_int + (_4_main_$sp[0] + 0)->_int) / 10;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + -1;
    }
    break;
    case _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _3_main__opaque_list1_1 == _3_main__opaque_list2_1;
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
    _4_main_$sp[0] += 2;
    _4_main_$pc[0] += 12;
    break;
    case _4_main__local$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL;
    if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 4)));
      _4_main_$sp[0] += 2;
      _4_main_$pc[0] += 8;
    } else {

    }
    break;
    case _4_main__store_void_star$right_STA_0$left_STA_1__goto$label_LAB_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
    *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_void_star;
    _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    _4_main_$sp[0] += -2;
    break;
    case _4_main__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list1_1 == _3_main__opaque_list2_1) {
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long * (_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0] + 0)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
      _4_main_$pc[0] += 4;
    } else {
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long * (_4_main_$sp[0] + 0)->_unsigned_long - 1;
      (_4_main_$sp[0] + 0)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0])) + -1;
      _4_main_$pc[0] += 4;
    }
    break;
    case _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__store_unsigned_long$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 == (struct _3_main__opaque_Node_1 *)0UL) + (_3_main__opaque_list1_1 == _3_main__opaque_list2_1);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
      *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + 1)->_unsigned_long;
      (_4_main_$sp[0]) --;
      _4_main_$pc[0] += 8;
    } else {
      (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]) * 8;
      *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star) = 6UL;
      _4_main_$sp[0] = (_4_main_$sp[0] + -1) + 1;
      _4_main_$pc[0] += 8;
    }
    break;
    case _4_main__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0: 
    _4_main_$pc[0] += (_3_main__opaque_list1_1 != _3_main__opaque_list2_1) + (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL);
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long == (_4_main_$sp[0] + -1)->_unsigned_long;
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      if ((_4_main_$sp[0] + -1)->_int) {
        _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      } else {
        _4_main_$pc[0] += 4;
      }
      _4_main_$sp[0] += -2;
    } else {
      (_4_main_$sp[0] + -1)->_int = ((_4_main_$sp[0] + 0)->_unsigned_long == (_4_main_$sp[0] + -1)->_unsigned_long) % 4;
    }
    break;
    case _4_main__Shiftrt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1: 
    _4_main_$pc[0] += (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) - (_3_main__opaque_list2_1 == (struct _3_main__opaque_Node_1 *)0UL);
    if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long >> (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else {

    }
    break;

示例#16

文件： pass-hash-djb2-virt1-d-switch-o-stack-m-4-i-0-a-false-blk-arithSeq-nli-4-so-2-mm-4.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  int randomFuns_n23 ;
  int randomFuns_body_i24 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i24 = 0;
    while (randomFuns_body_i24 < 4) {
      randomFuns_n23 = 1;
      while (randomFuns_n23 < 4272205) {
        _4_main__alwaysOne ++;
        randomFuns_n23 += 8076;
      }
      _4_main__alwaysOne -= 529;
      randomFuns_body_i24 ++;
    }
    switch (*(_4_main_$pc[0])) {
    case _4_main__PlusA_int_int2int$left_STA_0$result_STA_0$right_STA_1__store_int$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int + (_4_main_$sp[0] + -1)->_int;
    *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
    _4_main_$sp[0] += -3;
    break;
    case _4_main__branchIfTrue$expr_STA_0$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    if ((_4_main_$sp[0] + 0)->_int) {
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    } else {
      _4_main_$pc[0] += 4;
    }
    (_4_main_$sp[0]) --;
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__BOr_int_int2int$right_STA_0$result_STA_0$left_STA_1__store_int$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int;
    *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
    _4_main_$sp[0] += -3;
    break;
    case _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__constant_unsigned_long$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
    (_4_main_$sp[0] + 2)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 2)->_void_star);
    (_4_main_$sp[0] + 3)->_unsigned_long = *((unsigned long *)(_4_main_$pc[0] + 12));
    _4_main_$sp[0] += 3;
    _4_main_$pc[0] += 20;
    break;
    case _4_main__Mult_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1__local$result_STA_0$value_LIT_0__store_void_star$left_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long * (_4_main_$sp[0] + -1)->_unsigned_long;
    (_4_main_$sp[0] + -2)->_void_star = (_4_main_$sp[0] + -2)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
    (_4_main_$sp[0] + -1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + -2)->_void_star;
    _4_main_$sp[0] += -3;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__local$result_STA_0$value_LIT_0__load_void_star$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0__store_void_star$left_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + 1)->_void_star = *((void **)(_4_main_$sp[0] + 1)->_void_star);
    (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 4)));
    *((void **)(_4_main_$sp[0] + 2)->_void_star) = (_4_main_$sp[0] + 1)->_void_star;
    _4_main_$pc[0] += 8;
    break;
    case _4_main__Mult_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1__IndexPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1__load_void_star$left_STA_0$result_STA_0__convert_void_star2void_star$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long * (_4_main_$sp[0] + -1)->_unsigned_long;
    (_4_main_$sp[0] + -2)->_void_star = (_4_main_$sp[0] + -2)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
    (_4_main_$sp[0] + -2)->_void_star = *((void **)(_4_main_$sp[0] + -2)->_void_star);
    (_4_main_$sp[0] + -2)->_void_star = (_4_main_$sp[0] + -2)->_void_star;
    _4_main_$sp[0] += -2;
    break;
    case _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
    (_4_main_$sp[0] + 2)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 2)->_void_star);
    (_4_main_$sp[0] + 1)->_int = (_4_main_$sp[0] + 2)->_unsigned_long != (_4_main_$sp[0] + 1)->_unsigned_long;
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 12;
    break;
    case _4_main__store_int$left_STA_0$right_STA_1__constant_unsigned_long$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__store_unsigned_long$left_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    *((int *)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0] + -1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 0)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 8)));
    *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + -1)->_unsigned_long;
    _4_main_$sp[0] += -2;
    _4_main_$pc[0] += 12;
    break;
    case _4_main__Shiftlt_unsigned_long_int2unsigned_long$left_STA_0$result_STA_0$right_STA_1__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1__PlusA_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long << (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0] + -2)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long + (_4_main_$sp[0] + -2)->_unsigned_long;
    (_4_main_$sp[0] + -3)->_unsigned_long = (_4_main_$sp[0] + -2)->_unsigned_long + (_4_main_$sp[0] + -3)->_unsigned_long;
    _4_main_$sp[0] += -3;
    break;
    case _4_main__local$result_STA_0$value_LIT_0__load_void_star$left_STA_0$result_STA_0__load_unsigned_char$left_STA_0$result_STA_0__convert_unsigned_char2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + 1)->_void_star = *((void **)(_4_main_$sp[0] + 1)->_void_star);
    (_4_main_$sp[0] + 1)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 1)->_void_star);
    (_4_main_$sp[0] + 1)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 1)->_unsigned_char;
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__constant_int$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__local$result_STA_0$value_LIT_0__string$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_STA_0__store_void_star$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$strings + *((int *)(_4_main_$pc[0] + 4)));
    (_4_main_$sp[0] + 2)->_void_star = (_4_main_$sp[0] + 2)->_void_star;
    *((void **)(_4_main_$sp[0] + 1)->_void_star) = (_4_main_$sp[0] + 2)->_void_star;
    _4_main_$pc[0] += 8;
    break;
    case _4_main__constant_unsigned_long$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 2)->_int = *((int *)(_4_main_$pc[0] + 8));
    (_4_main_$sp[0] + 3)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 12)));
    (_4_main_$sp[0] + 3)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 3)->_void_star);
    _4_main_$sp[0] += 3;
    _4_main_$pc[0] += 16;
    break;
    case _4_main__store_int$right_STA_0$left_STA_1__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    *((int *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_int;
    (_4_main_$sp[0] + -1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + -1)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + -1)->_void_star);
    (_4_main_$sp[0] + 0)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 4)));
    _4_main_$pc[0] += 8;
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__MinusA_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int - (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__Shiftrt_int_int2int$right_STA_0$result_STA_0$left_STA_1__store_int$right_STA_0$left_STA_1__goto$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int >> (_4_main_$sp[0] + 0)->_int;
    *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
    _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    _4_main_$sp[0] += -3;
    break;
    case _4_main__call$func_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 48)));
    break;
    case 2: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 56)));
    break;
    case 3: 
    printf(*((char const   * __restrict  *)(_4_main_$locals + 64)));
    break;
    }
    _4_main_$pc[0] += 4;
    break;
    case _4_main__goto$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    break;
    case _4_main__store_void_star$right_STA_0$left_STA_1__goto$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    *((void **)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_void_star;
    _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    _4_main_$sp[0] += -2;
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__load_unsigned_long$left_STA_0$result_STA_0__constant_int$result_STA_0$value_LIT_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 1)->_int = *((int *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 2)->_void_star = (void *)(_4_main_$locals + *((int *)(_4_main_$pc[0] + 4)));
    (_4_main_$sp[0] + 2)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 2)->_void_star);
    _4_main_$sp[0] += 2;
    _4_main_$pc[0] += 8;
    break;
    case _4_main__Shiftrt_unsigned_long_int2unsigned_long$left_STA_0$result_STA_0$right_STA_1__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + 0)->_unsigned_long >> (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0] + -2)->_int = (_4_main_$sp[0] + -1)->_unsigned_long == (_4_main_$sp[0] + -2)->_unsigned_long;
    if ((_4_main_$sp[0] + -2)->_int) {
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    } else {
      _4_main_$pc[0] += 4;
    }
    _4_main_$sp[0] += -3;
    break;
    case _4_main__formal$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& argv);
    break;
    case 0: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& argc);
    break;
    }
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__MinusA_int_int2int$right_STA_0$result_STA_0$left_STA_1__store_int$right_STA_0$left_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int - (_4_main_$sp[0] + 0)->_int;
    *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
    _4_main_$sp[0] += -3;
    break;
    case _4_main__global$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    switch (*((int *)_4_main_$pc[0])) {
    case 1: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy);
    break;
    case 0: 
    (_4_main_$sp[0] + 1)->_void_star = (void *)(& _2entropy);
    break;
    }
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__local$result_STA_0$value_LIT_0__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + 1)->_void_star = *((void **)(_4_main_$sp[0] + 1)->_void_star);
    (_4_main_$sp[0] + 1)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 1)->_void_star;
    (_4_main_$sp[0] + 1)->_int = (int )(_4_main_$sp[0] + 1)->_unsigned_long;
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 1)->_void_star);
    (_4_main_$sp[0] + 1)->_int = (int )(_4_main_$sp[0] + 1)->_unsigned_long;
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__store_int$left_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    *((int *)(_4_main_$sp[0] + 0)->_void_star) = (_4_main_$sp[0] + -1)->_int;
    _4_main_$sp[0] += -2;
    break;
    case _4_main__label$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    break;
    case _4_main__BAnd_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long & (_4_main_$sp[0] + 0)->_unsigned_long;
    (_4_main_$sp[0] + -2)->_int = (_4_main_$sp[0] + -1)->_unsigned_long == (_4_main_$sp[0] + -2)->_unsigned_long;
    if ((_4_main_$sp[0] + -2)->_int) {
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
    } else {
      _4_main_$pc[0] += 4;
    }
    _4_main_$sp[0] += -3;
    break;
    case _4_main__load_void_star$left_STA_0$result_STA_0__constant_unsigned_long$result_STA_0$value_LIT_0__constant_int$result_STA_0$value_LIT_0__convert_int2unsigned_long$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_4_main_$pc[0]);
    (_4_main_$sp[0] + 2)->_int = *((int *)(_4_main_$pc[0] + 8));
    (_4_main_$sp[0] + 2)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 2)->_int;
    _4_main_$sp[0] += 2;
    _4_main_$pc[0] += 12;
    break;
    case _4_main__load_int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    break;
    case _4_main__load_int$left_STA_0$result_STA_0__local$result_STA_0$value_LIT_0__load_unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 1)->_void_star);
    (_4_main_$sp[0] + 1)->_int = (int )(_4_main_$sp[0] + 1)->_unsigned_long;
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
    (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__local$result_STA_0$value_LIT_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    (_4_main_$sp[0]) ++;
    _4_main_$pc[0] += 4;
    break;
    case _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2unsigned_long$left_STA_0$result_STA_0__convert_unsigned_long2int$left_STA_0$result_STA_0__Mult_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
    (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_void_star;
    (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
    (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int * (_4_main_$sp[0] + -1)->_int;
    (_4_main_$sp[0]) --;
    break;
    case _4_main__local$result_STA_0$value_LIT_0__store_unsigned_long$left_STA_0$right_STA_1__goto$label_LAB_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
    *((unsigned long *)(_4_main_$sp[0] + 1)->_void_star) = (_4_main_$sp[0] + 0)->_unsigned_long;
    _4_main_$pc[0] += *((int *)(_4_main_$pc[0] + 4));
    (_4_main_$sp[0]) --;
    break;
    case _4_main__return_int$expr_STA_0: 
    _4_main_$pc[0] += _4_main__alwaysOne;
    return ((_4_main_$sp[0] + 0)->_int);
    break;
    }
  }
}
}

示例#17

文件： pass-hash-djb2-virt1-d-ifnest-o-stack-m-0-i-2-a-false-blk-arithSeq-nli-4-so-2-mm-2.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  unsigned long hash ;
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  int _4_main__alwaysOne ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  unsigned char _4_main_$currentOp ;
  int randomFuns_n24 ;
  int randomFuns_body_i25 ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main__alwaysOne = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    randomFuns_body_i25 = 0;
    while (randomFuns_body_i25 < 4) {
      randomFuns_n24 = 1;
      while (randomFuns_n24 < 217225) {
        _4_main__alwaysOne ++;
        randomFuns_n24 += 5172;
      }
      _4_main__alwaysOne -= 42;
      randomFuns_body_i25 ++;
    }
    _4_main_$currentOp = *(_4_main_$pc[0]);
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__convert_void_star2void_star$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_void_star = (_4_main_$sp[0] + 0)->_void_star;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__Mult_int_int2int$right_STA_0$result_STA_0$left_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int * (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__PlusPI_void_star_unsigned_long2void_star$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_void_star = (_4_main_$sp[0] + 0)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__load_void_star$left_STA_0$result_STA_0__load_unsigned_char$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_void_star = *((void **)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star);
    } else
    if (_4_main_$currentOp == _4_main__call$func_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      switch (*((int *)_4_main_$pc[0])) {
      case 1: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 48)));
      break;
      case 2: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 56)));
      break;
      case 3: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 64)));
      break;
      }
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__local$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0]));
        (_4_main_$sp[0]) ++;
        _4_main_$pc[0] += 4;
      } else {
        (_4_main_$sp[0] + 1)->_void_star = (void *)(_4_main_$locals + *((int *)_4_main_$pc[0])) - 1;
        _4_main_$sp[0] = (_4_main_$sp[0] + 1) - 1;
        _4_main_$pc[0] += 4;
      }
    } else
    if (_4_main_$currentOp == _4_main__load_unsigned_long$left_STA_0$result_STA_0__Ne_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      (_4_main_$sp[0] + 0)->_unsigned_long = *((unsigned long *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_unsigned_long != (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0]) --;
    } else
    if (_4_main_$currentOp == _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
      } else {

      }
    } else
    if (_4_main_$currentOp == _4_main__global$result_STA_0$value_LIT_0) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      switch (*((int *)_4_main_$pc[0])) {
      case 1: 
      (_4_main_$sp[0] + 1)->_void_star = (void *)(& _1_main_entropy);
      break;
      case 0: 
      (_4_main_$sp[0] + 1)->_void_star = (void *)(& _2entropy);
      break;
      }
      (_4_main_$sp[0]) ++;
      _4_main_$pc[0] += 4;
    } else
    if (_4_main_$currentOp == _4_main__convert_unsigned_long2int$left_STA_0$result_STA_0__Shiftrt_int_int2int$left_STA_0$result_STA_0$right_STA_1) {
      _4_main_$pc[0] += _4_main__alwaysOne;
      if (_3_main__opaque_list2_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        (_4_main_$sp[0] + 0)->_int = (int )(_4_main_$sp[0] + 0)->_unsigned_long;
        (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + 0)->_int >> (_4_main_$sp[0] + -1)->_int;
        (_4_main_$sp[0]) --;
      } else {

示例#18

文件： mixed_1137.c 项目： halfopen/woj_learn

int main(void) 
{ 
  char _1_main_$locals[108] ;
  union _1_main_$node _1_main_$stack[1][32] ;
  union _1_main_$node *_1_main_$sp[1] ;
  unsigned char *_1_main_$pc[1] ;

  {
  megaInit();
  _1_main_$sp[0] = _1_main_$stack[0];
  _1_main_$pc[0] = _1_main_$array[0];
  while (1) {
    switch (*(_1_main_$pc[0])) {
    case _1_main__store_int$right_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    *((int *)(_1_main_$sp[0] + -1)->_void_star) = (_1_main_$sp[0] + 0)->_int;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__label$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    break;
    case _1_main__call$func_LIT_0: 
    (_1_main_$pc[0]) ++;
    switch (*((int *)_1_main_$pc[0])) {
    case 1: 
    *((int *)(_1_main_$locals + 40)) = scanf(*((char const   * __restrict  *)(_1_main_$locals + 0)),
                                             *((int **)(_1_main_$locals + 8)), *((int **)(_1_main_$locals + 24)));
    break;
    case 2: 
    scanf(*((char const   * __restrict  *)(_1_main_$locals + 48)), *((int **)(_1_main_$locals + 56)));
    break;
    case 3: 
    scanf(*((char const   * __restrict  *)(_1_main_$locals + 72)), *((int **)(_1_main_$locals + 80)));
    break;
    case 4: 
    printf(*((char const   * __restrict  *)(_1_main_$locals + 96)), *((int *)(_1_main_$locals + 104)));
    break;
    }
    _1_main_$pc[0] += 4;
    break;
    case _1_main__Gt_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_int > (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__convert_void_star2void_star$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_void_star = (_1_main_$sp[0] + 0)->_void_star;
    break;
    case _1_main__goto$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    break;
    case _1_main__branchIfTrue$expr_STA_0$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    if ((_1_main_$sp[0] + 0)->_int) {
      _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    } else {
      _1_main_$pc[0] += 4;
    }
    (_1_main_$sp[0]) --;
    break;
    case _1_main__store_void_star$left_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    *((void **)(_1_main_$sp[0] + 0)->_void_star) = (_1_main_$sp[0] + -1)->_void_star;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__string$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$strings + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__constant_int$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_int = *((int *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__Div_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_int / (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__return_int$expr_STA_0: 
    (_1_main_$pc[0]) ++;
    return ((_1_main_$sp[0] + 0)->_int);
    break;
    case _1_main__Lt_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + -1)->_int < (_1_main_$sp[0] + 0)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__Ge_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + -1)->_int >= (_1_main_$sp[0] + 0)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__load_int$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_int = *((int *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__local$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$locals + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + -1)->_int + (_1_main_$sp[0] + 0)->_int;
    (_1_main_$sp[0]) --;
    break;
    }
  }
}
}

示例#19

文件： mixed_1029.c 项目： halfopen/woj_learn

int main(void) 
{ 
  char _1_main_$locals[1064] ;
  union _1_main_$node _1_main_$stack[1][32] ;
  union _1_main_$node *_1_main_$sp[1] ;
  unsigned char *_1_main_$pc[1] ;

  {
  megaInit();
  _1_main_$sp[0] = _1_main_$stack[0];
  _1_main_$pc[0] = _1_main_$array[0];
  while (1) {
    switch (*(_1_main_$pc[0])) {
    case _1_main__PlusPI_void_star_int2void_star$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_void_star = (_1_main_$sp[0] + 0)->_void_star + (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__constant_void_star$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = *((void **)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 8;
    break;
    case _1_main__branchIfTrue$expr_STA_0$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    if ((_1_main_$sp[0] + 0)->_int) {
      _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    } else {
      _1_main_$pc[0] += 4;
    }
    (_1_main_$sp[0]) --;
    break;
    case _1_main__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + -1)->_int + (_1_main_$sp[0] + 0)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__Mod_int_int2int$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + -1)->_int % (_1_main_$sp[0] + 0)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__convert_int2char$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_char = (char )(_1_main_$sp[0] + 0)->_int;
    break;
    case _1_main__MinusA_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_int - (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__label$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    break;
    case _1_main__store_char$right_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    *((char *)(_1_main_$sp[0] + -1)->_void_star) = (_1_main_$sp[0] + 0)->_char;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_void_star = (_1_main_$sp[0] + -1)->_void_star + (_1_main_$sp[0] + 0)->_unsigned_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__convert_void_star2void_star$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_void_star = (_1_main_$sp[0] + 0)->_void_star;
    break;
    case _1_main__string$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$strings + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__store_int$left_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    *((int *)(_1_main_$sp[0] + 0)->_void_star) = (_1_main_$sp[0] + -1)->_int;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__convert_char2int$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_int = (int )(_1_main_$sp[0] + 0)->_char;
    break;
    case _1_main__Lt_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_int < (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__call$func_LIT_0: 
    (_1_main_$pc[0]) ++;
    switch (*((int *)_1_main_$pc[0])) {
    case 1: 
    scanf(*((char const   * __restrict  *)(_1_main_$locals + 0)), *((char **)(_1_main_$locals + 8)));
    break;
    case 2: 
    printf(*((char const   * __restrict  *)(_1_main_$locals + 1048)), *((char **)(_1_main_$locals + 1056)));
    break;
    }
    _1_main_$pc[0] += 4;
    break;
    case _1_main__Mult_unsigned_long_unsigned_long2unsigned_long$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_unsigned_long = (_1_main_$sp[0] + 0)->_unsigned_long * (_1_main_$sp[0] + -1)->_unsigned_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__return_int$expr_STA_0: 
    (_1_main_$pc[0]) ++;
    return ((_1_main_$sp[0] + 0)->_int);
    break;
    case _1_main__store_void_star$right_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    *((void **)(_1_main_$sp[0] + -1)->_void_star) = (_1_main_$sp[0] + 0)->_void_star;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__local$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$locals + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__load_int$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_int = *((int *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__Ne_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_int != (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__goto$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    break;
    case _1_main__constant_int$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_int = *((int *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__convert_int2unsigned_long$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_1_main_$sp[0] + 0)->_int;
    break;
    case _1_main__load_char$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_char = *((char *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__constant_unsigned_long$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 8;
    break;
    }
  }
}
}

示例#20

文件： mixed_1005.c 项目： halfopen/woj_learn

int main(void) 
{ 
  char _1_main_$locals[801736] ;
  union _1_main_$node _1_main_$stack[1][32] ;
  union _1_main_$node *_1_main_$sp[1] ;
  unsigned char *_1_main_$pc[1] ;

  {
  megaInit();
  _1_main_$sp[0] = _1_main_$stack[0];
  _1_main_$pc[0] = _1_main_$array[0];
  while (1) {
    switch (*(_1_main_$pc[0])) {
    case _1_main__Lt_long_long2int$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + -1)->_long < (_1_main_$sp[0] + 0)->_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__branchIfTrue$expr_STA_0$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    if ((_1_main_$sp[0] + 0)->_int) {
      _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    } else {
      _1_main_$pc[0] += 4;
    }
    (_1_main_$sp[0]) --;
    break;
    case _1_main__constant_long$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_long = *((long *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 8;
    break;
    case _1_main__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_unsigned_long = (_1_main_$sp[0] + -1)->_unsigned_long * (_1_main_$sp[0] + 0)->_unsigned_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__store_void_star$left_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    *((void **)(_1_main_$sp[0] + 0)->_void_star) = (_1_main_$sp[0] + -1)->_void_star;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__store_unsigned_long$left_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    *((unsigned long *)(_1_main_$sp[0] + 0)->_void_star) = (_1_main_$sp[0] + -1)->_unsigned_long;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__load_int$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_int = *((int *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__call$func_LIT_0: 
    (_1_main_$pc[0]) ++;
    switch (*((int *)_1_main_$pc[0])) {
    case 1: 
    *((int *)(_1_main_$locals + 24)) = scanf(*((char const   * __restrict  *)(_1_main_$locals + 0)),
                                             *((int **)(_1_main_$locals + 8)));
    break;
    case 2: 
    scanf(*((char const   * __restrict  *)(_1_main_$locals + 40)), *((long **)(_1_main_$locals + 48)),
          *((long **)(_1_main_$locals + 856)));
    break;
    case 4: 
    memset(*((void **)(_1_main_$locals + 1688)), *((int *)(_1_main_$locals + 801696)),
           *((unsigned long *)(_1_main_$locals + 801704)));
    break;
    case 3: 
    scanf(*((char const   * __restrict  *)(_1_main_$locals + 1664)), *((long **)(_1_main_$locals + 1672)));
    break;
    case 5: 
    printf(*((char const   * __restrict  *)(_1_main_$locals + 801720)), *((long *)(_1_main_$locals + 801728)));
    break;
    }
    _1_main_$pc[0] += 4;
    break;
    case _1_main__constant_unsigned_long$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_unsigned_long = *((unsigned long *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 8;
    break;
    case _1_main__constant_void_star$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = *((void **)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 8;
    break;
    case _1_main__label$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    break;
    case _1_main__convert_int2long$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_long = (long )(_1_main_$sp[0] + 0)->_int;
    break;
    case _1_main__convert_long2unsigned_long$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_1_main_$sp[0] + 0)->_long;
    break;
    case _1_main__store_long$right_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    *((long *)(_1_main_$sp[0] + -1)->_void_star) = (_1_main_$sp[0] + 0)->_long;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__PlusPI_void_star_int2void_star$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_void_star = (_1_main_$sp[0] + 0)->_void_star + (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__load_long$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_long = *((long *)(_1_main_$sp[0] + 0)->_void_star);
    break;
    case _1_main__return_int$expr_STA_0: 
    (_1_main_$pc[0]) ++;
    return ((_1_main_$sp[0] + 0)->_int);
    break;
    case _1_main__PlusPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_void_star = (_1_main_$sp[0] + -1)->_void_star + (_1_main_$sp[0] + 0)->_unsigned_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__store_int$right_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    *((int *)(_1_main_$sp[0] + -1)->_void_star) = (_1_main_$sp[0] + 0)->_int;
    _1_main_$sp[0] += -2;
    break;
    case _1_main__Ge_long_long2int$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + -1)->_long >= (_1_main_$sp[0] + 0)->_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__string$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$strings + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__constant_int$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_int = *((int *)_1_main_$pc[0]);
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    case _1_main__MinusA_long_long2long$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_long = (_1_main_$sp[0] + 0)->_long - (_1_main_$sp[0] + -1)->_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__Ne_int_int2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_int != (_1_main_$sp[0] + -1)->_int;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__goto$label_LAB_0: 
    (_1_main_$pc[0]) ++;
    _1_main_$pc[0] += *((int *)_1_main_$pc[0]);
    break;
    case _1_main__convert_void_star2void_star$left_STA_0$result_STA_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 0)->_void_star = (_1_main_$sp[0] + 0)->_void_star;
    break;
    case _1_main__Le_long_long2int$left_STA_0$result_STA_0$right_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_int = (_1_main_$sp[0] + 0)->_long <= (_1_main_$sp[0] + -1)->_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__PlusA_long_long2long$right_STA_0$result_STA_0$left_STA_1: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + -1)->_long = (_1_main_$sp[0] + -1)->_long + (_1_main_$sp[0] + 0)->_long;
    (_1_main_$sp[0]) --;
    break;
    case _1_main__local$result_STA_0$value_LIT_0: 
    (_1_main_$pc[0]) ++;
    (_1_main_$sp[0] + 1)->_void_star = (void *)(_1_main_$locals + *((int *)_1_main_$pc[0]));
    (_1_main_$sp[0]) ++;
    _1_main_$pc[0] += 4;
    break;
    }
  }
}
}

示例#21

文件： pass-hash-djb2-virt1-d-ifnest-o-stack-m-0-i-0-a-false-blk-collatz-nli-0-so-2-mm-4.c 项目： chubbymaggie/obfuscation-benchmarks

int main(int argc , char **argv ) 
{ 
  int i7 ;
  int r8 ;
  struct _3_main__opaque_Node_1 *p9 ;
  int _3_main__BEGIN_0 ;
  int _3_main__END_0 ;
  int _3_main__BARRIER_1 ;
  char _4_main_$locals[72] ;
  union _4_main_$node _4_main_$stack[1][32] ;
  union _4_main_$node *_4_main_$sp[1] ;
  unsigned char *_4_main_$pc[1] ;
  unsigned char _4_main_$currentOp ;

  {
  megaInit();
  {  /* __blockattribute__(__ATOMIC__)*/ 
  _3_main__BEGIN_0 = 1;
  i7 = 0;
  while (i7 < 2) {
    r8 = rand();
    p9 = (struct _3_main__opaque_Node_1 *)malloc(sizeof(struct _3_main__opaque_Node_1 ));
    if (p9 != (struct _3_main__opaque_Node_1 *)0UL) {
      p9->data = r8;
      if (_3_main__opaque_list1_1 != (struct _3_main__opaque_Node_1 *)0UL) {
        p9->next = _3_main__opaque_list1_1->next;
        _3_main__opaque_list1_1->next = p9;
      } else {
        p9->next = p9;
        _3_main__opaque_list1_1 = p9;
      }
    } else {

    }
    i7 ++;
  }
  _3_main__opaque_list2_1 = _3_main__opaque_list1_1;
  _3_main__END_0 = 1;
  }
  _3_main__BARRIER_1 = 1;
  _4_main_$sp[0] = _4_main_$stack[0];
  _4_main_$pc[0] = _4_main_$array[0];
  while (1) {
    _4_main_$currentOp = *(_4_main_$pc[0]);
    if (_4_main_$currentOp == _4_main__store_unsigned_long$right_STA_0$left_STA_1__goto$label_LAB_0) {
      (_4_main_$pc[0]) ++;
      *((unsigned long *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_unsigned_long;
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__Shiftrt_unsigned_long_int2unsigned_long$right_STA_0$result_STA_0$left_STA_1__Eq_unsigned_long_unsigned_long2int$left_STA_0$result_STA_0$right_STA_1__branchIfTrue$expr_STA_0$label_LAB_0) {
      (_4_main_$pc[0]) ++;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long >> (_4_main_$sp[0] + 0)->_int;
      (_4_main_$sp[0] + -2)->_int = (_4_main_$sp[0] + -1)->_unsigned_long == (_4_main_$sp[0] + -2)->_unsigned_long;
      if ((_4_main_$sp[0] + -2)->_int) {
        _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      } else {
        _4_main_$pc[0] += 4;
      }
      _4_main_$sp[0] += -3;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__BOr_int_int2int$right_STA_0$result_STA_0$left_STA_1__store_int$right_STA_0$left_STA_1) {
      (_4_main_$pc[0]) ++;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int | (_4_main_$sp[0] + 0)->_int;
      *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
      _4_main_$sp[0] += -3;
    } else
    if (_4_main_$currentOp == _4_main__load_unsigned_char$left_STA_0$result_STA_0__convert_unsigned_char2unsigned_long$left_STA_0$result_STA_0__store_unsigned_long$right_STA_0$left_STA_1__goto$label_LAB_0) {
      (_4_main_$pc[0]) ++;
      (_4_main_$sp[0] + 0)->_unsigned_char = *((unsigned char *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + 0)->_unsigned_long = (unsigned long )(_4_main_$sp[0] + 0)->_unsigned_char;
      *((unsigned long *)(_4_main_$sp[0] + -1)->_void_star) = (_4_main_$sp[0] + 0)->_unsigned_long;
      _4_main_$pc[0] += *((int *)_4_main_$pc[0]);
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__load_int$left_STA_0$result_STA_0__PlusA_int_int2int$right_STA_0$result_STA_0$left_STA_1__store_int$right_STA_0$left_STA_1) {
      (_4_main_$pc[0]) ++;
      (_4_main_$sp[0] + 0)->_int = *((int *)(_4_main_$sp[0] + 0)->_void_star);
      (_4_main_$sp[0] + -1)->_int = (_4_main_$sp[0] + -1)->_int + (_4_main_$sp[0] + 0)->_int;
      *((int *)(_4_main_$sp[0] + -2)->_void_star) = (_4_main_$sp[0] + -1)->_int;
      _4_main_$sp[0] += -3;
    } else
    if (_4_main_$currentOp == _4_main__Mult_unsigned_long_unsigned_long2unsigned_long$right_STA_0$result_STA_0$left_STA_1__IndexPI_void_star_unsigned_long2void_star$right_STA_0$result_STA_0$left_STA_1__load_void_star$left_STA_0$result_STA_0__convert_void_star2void_star$left_STA_0$result_STA_0) {
      (_4_main_$pc[0]) ++;
      (_4_main_$sp[0] + -1)->_unsigned_long = (_4_main_$sp[0] + -1)->_unsigned_long * (_4_main_$sp[0] + 0)->_unsigned_long;
      (_4_main_$sp[0] + -2)->_void_star = (_4_main_$sp[0] + -2)->_void_star + (_4_main_$sp[0] + -1)->_unsigned_long;
      (_4_main_$sp[0] + -2)->_void_star = *((void **)(_4_main_$sp[0] + -2)->_void_star);
      (_4_main_$sp[0] + -2)->_void_star = (_4_main_$sp[0] + -2)->_void_star;
      _4_main_$sp[0] += -2;
    } else
    if (_4_main_$currentOp == _4_main__label$label_LAB_0) {
      (_4_main_$pc[0]) ++;
    } else
    if (_4_main_$currentOp == _4_main__call$func_LIT_0) {
      (_4_main_$pc[0]) ++;
      switch (*((int *)_4_main_$pc[0])) {
      case 1: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 48)));
      break;
      case 2: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 56)));
      break;
      case 3: 
      printf(*((char const   * __restrict  *)(_4_main_$locals + 64)));
      break;
      }
      _4_main_$pc[0] += 4;
    } else