虚拟机保护

最近和学长们打了一些大比赛，看了下来发现 VMP 有点多哈 😅。总不能每次见到就投降吧。

什么是 VMP

VMP 全称是 “基于虚拟机的代码保护技术” (Virtual Machine-Based Protection)。当然，和各位可能听到过的 VMWare 等不太一样，程序保护中的 “虚拟机” 更多像 “解释器”。虚拟机先将原始代码翻译成其自己的专有字节码（这个过程称为虚拟化），然后在运行时解释并执行字节码对应函数。

这种保护技术的特点是，我们不能直接看到自己可能熟悉的原始指令；相反，我们必须首先分析解释器，然后使用所获得的知识来理解翻译后的专有字节码。

以一道 CTF 题目为基础

L3HCTF 2025 easyvm

视频：【星盟安全】L3HCTF 逆向方向 easyvm 讲解

字符串定位主函数：

main(partly)

sub_140005940();
v2 = std::operator<<<std::char_traits<char>>(a1, a2, "Welcome to L3HCTF2025!!!Do you love cpp and vm?", &std::cout);
std::ostream::operator<<(a1, a2, &std::endl<char,std::char_traits<char>>, v2);
sub_140011D30(a1, a2, v3, v29, v4, v5);
sub_140017DF0(a1, a2, &unk_140022040, v28, v6, v7);
sub_140010700(a1, a2, v28, v29, v8, v9);
v10 = std::operator<<<std::char_traits<char>>(a1, a2, "Explore this virtual machine and have fun!", &std::cout);
std::ostream::operator<<(a1, a2, &std::endl<char,std::char_traits<char>>, v10);
v11 = std::operator<<<std::char_traits<char>>(a1, a2, "Plz show me flag:", &std::cout);
std::ostream::operator<<(a1, a2, &std::endl<char,std::char_traits<char>>, v11);
sub_140011C40(a1, a2, v12, v29, v13, v14);
sub_140011AB0(a1, a2, v15, v29, v16, v17);
sub_140011AE0(a1, a2, v18, v29, v19, v20);
sub_140017FC0(a1, a2, v21, v28, v22, v23);
sub_140011DE0(a1, a2, v24, v29, v25, v26);

我们主要看提示输入 flag 后的这 4 个函数。

sub_140011C40 里面有一个格式化字符串 %s，猜测作用是读取输入的 flag。

sub_140011AB0 内的 sub_1400107E0 里有着大量的 switch-case 结构：

sub_1400107E0

__int64 __fastcall sub_1400107E0(void *Ix, int a2, int a3, __int64 a4, int a5, int a6)
{
  unsigned __int64 v6; // rbx
  int v7; // r8d
  int v8; // r9d
  int v11; // edx
  int v12; // r8d
  int v13; // r9d
  unsigned __int8 n2; // al
  int v15; // edx
  int v16; // r8d
  int v17; // r9d
  int v18; // edx
  int v19; // r8d
  int v20; // r9d
  int v21; // r8d
  int v22; // r9d
  int v23; // edx
  int v24; // r8d
  int v25; // r9d
  int v26; // edx
  int v27; // r8d
  int v28; // r9d
  int v29; // edx
  int v30; // r8d
  int v31; // r9d
  int v32; // edx
  int v33; // r8d
  int v34; // r9d
  int v35; // r8d
  int v36; // r9d
  int v37; // r8d
  int v38; // r9d
  int v39; // edx
  int v40; // r8d
  int v41; // r9d
  int v42; // edx
  int v43; // r8d
  int v44; // r9d
  int v45; // edx
  int v46; // r8d
  int v47; // r9d
  int v48; // edx
  int v49; // r8d
  int v50; // r9d
  int v51; // r8d
  int v52; // r9d
  int v53; // edx
  int v54; // r8d
  int v55; // r9d
  int v56; // edx
  int v57; // r8d
  int v58; // r9d
  int v59; // edx
  int v60; // r8d
  int v61; // r9d
  int v62; // edx
  int v63; // r8d
  int v64; // r9d
  int v65; // r8d
  int v66; // r9d
  int v67; // edx
  int v68; // r8d
  int v69; // r9d
  int v70; // edx
  int v71; // r8d
  int v72; // r9d
  int v73; // edx
  int v74; // r8d
  int v75; // r9d
  int v76; // edx
  int v77; // r8d
  int v78; // r9d
  int v79; // r8d
  int v80; // r9d
  int v81; // edx
  int v82; // r8d
  int v83; // r9d
  int v84; // edx
  int v85; // r8d
  int v86; // r9d
  int v87; // edx
  int v88; // r8d
  int v89; // r9d
  int v90; // edx
  int v91; // r8d
  int v92; // r9d
  int v93; // r8d
  int v94; // r9d
  int v95; // edx
  int v96; // r8d
  int v97; // r9d
  int v98; // edx
  int v99; // r8d
  int v100; // r9d
  int v101; // edx
  int v102; // r8d
  int v103; // r9d
  int v104; // edx
  int v105; // r8d
  int v106; // r9d
  int v107; // r8d
  int v108; // r9d
  int v109; // edx
  int v110; // r8d
  int v111; // r9d
  int v112; // edx
  int v113; // r8d
  int v114; // r9d
  int v115; // r8d
  int v116; // r9d
  int v117; // edx
  int v118; // r8d
  int v119; // r9d
  int v120; // edx
  int v121; // r8d
  int v122; // r9d
  int v123; // edx
  int v124; // r8d
  int v125; // r9d
  int v126; // edx
  int v127; // r8d
  int v128; // r9d
  int v129; // r8d
  int v130; // r9d
  int v131; // edx
  int v132; // r8d
  int v133; // r9d
  int v134; // edx
  int v135; // r8d
  int v136; // r9d
  int v137; // edx
  int v138; // r8d
  int v139; // r9d
  int v140; // edx
  int v141; // r8d
  int v142; // r9d
  int v143; // r8d
  int v144; // r9d
  int v145; // edx
  int v146; // r8d
  int v147; // r9d
  int v148; // edx
  int v149; // r8d
  int v150; // r9d
  int v151; // edx
  int v152; // r8d
  int v153; // r9d
  int v154; // edx
  int v155; // r8d
  int v156; // r9d
  int v157; // r8d
  int v158; // r9d
  int v159; // edx
  int v160; // r8d
  int v161; // r9d
  int v162; // edx
  int v163; // r8d
  int v164; // r9d
  int v165; // edx
  int v166; // r8d
  int v167; // r9d
  int v168; // edx
  int v169; // r8d
  int v170; // r9d
  int v171; // r8d
  int v172; // r9d
  int v173; // edx
  int v174; // r8d
  int v175; // r9d
  int v176; // edx
  int v177; // r8d
  int v178; // r9d
  int v179; // edx
  int v180; // r8d
  int v181; // r9d
  int v182; // edx
  int v183; // r8d
  int v184; // r9d
  int v185; // r8d
  int v186; // r9d
  int v187; // edx
  int v188; // r8d
  int v189; // r9d
  int v190; // edx
  int v191; // r8d
  int v192; // r9d
  int v193; // edx
  int v194; // r8d
  int v195; // r9d
  int v196; // edx
  int v197; // r8d
  int v198; // r9d
  int v199; // r8d
  int v200; // r9d
  int v201; // edx
  int v202; // r8d
  int v203; // r9d
  int v204; // edx
  int v205; // r8d
  int v206; // r9d
  int v207; // edx
  int v208; // r8d
  int v209; // r9d
  int v210; // edx
  int v211; // r8d
  int v212; // r9d
  int v213; // r8d
  int v214; // r9d
  BOOL v215; // eax
  int v216; // edx
  int v217; // r8d
  int v218; // r9d
  int v219; // edx
  int v220; // r8d
  int v221; // r9d
  int v222; // edx
  int v223; // r8d
  int v224; // r9d
  int v225; // edx
  int v226; // r8d
  int v227; // r9d
  int v228; // r8d
  int v229; // r9d
  BOOL v230; // eax
  int v231; // edx
  int v232; // r8d
  int v233; // r9d
  int v234; // edx
  int v235; // r8d
  int v236; // r9d
  int v237; // r8d
  int v238; // r9d
  int v239; // edx
  int v240; // r8d
  int v241; // r9d
  int v242; // edx
  int v243; // r8d
  int v244; // r9d
  int v245; // edx
  int v246; // r8d
  int v247; // r9d
  int v248; // edx
  int v249; // r8d
  int v250; // r9d
  int v251; // r9d
  int v252; // edx
  int v253; // r8d
  int v254; // r9d
  int v255; // edx
  int v256; // r8d
  int v257; // r9d
  int v258; // edx
  int v259; // r8d
  int v260; // r9d
  int v261; // edx
  int v262; // r8d
  int v263; // r9d
  int v264; // r9d
  int v265; // edx
  int v266; // r8d
  int v267; // r9d
  int v268; // edx
  int v269; // r8d
  int v270; // r9d
  int v271; // r8d
  int v272; // r9d
  int v273; // eax
  int v274; // r8d
  int v275; // r9d
  int v276; // edx
  int v277; // r8d
  int v278; // r9d
  int v279; // edx
  int v280; // r8d
  int v281; // r9d
  int v282; // edx
  int v283; // r8d
  int v284; // r9d
  int v285; // edx
  int v286; // r8d
  int v287; // r9d
  int v288; // ebx
  int v289; // r8d
  int v290; // r9d
  int v291; // edx
  int v292; // r8d
  int v293; // r9d
  int v294; // edx
  int v295; // r8d
  int v296; // r9d
  int v297; // edx
  int v298; // r8d
  int v299; // r9d
  int v300; // edx
  int v301; // r8d
  int v302; // r9d
  int v303; // edx
  int v304; // r8d
  int v305; // r9d
  int v306; // edx
  int v307; // r8d
  int v308; // r9d
  int v309; // edx
  int v310; // r8d
  int v311; // r9d
  int v312; // edx
  int v313; // r8d
  int v314; // r9d
  int v315; // r8d
  int v316; // r9d
  int v317; // edx
  int v318; // r8d
  int v319; // r9d
  __int64 *v320; // rax
  __int64 v321; // rdx
  int v322; // r8d
  int v323; // r9d
  __int64 v324; // [rsp+0h] [rbp-80h]
  __int64 v325; // [rsp+0h] [rbp-80h]
  __int64 v326; // [rsp+0h] [rbp-80h]
  __int64 v327; // [rsp+8h] [rbp-78h]
  int v328; // [rsp+28h] [rbp-58h] BYREF
  int v329; // [rsp+2Ch] [rbp-54h] BYREF
  int v330; // [rsp+30h] [rbp-50h] BYREF
  int v331; // [rsp+34h] [rbp-4Ch] BYREF
  int v332; // [rsp+38h] [rbp-48h] BYREF
  int v333; // [rsp+3Ch] [rbp-44h] BYREF
  int v334; // [rsp+40h] [rbp-40h] BYREF
  int v335; // [rsp+44h] [rbp-3Ch] BYREF
  int v336; // [rsp+48h] [rbp-38h] BYREF
  int v337; // [rsp+4Ch] [rbp-34h] BYREF
  BOOL v338; // [rsp+50h] [rbp-30h] BYREF
  BOOL v339; // [rsp+54h] [rbp-2Ch] BYREF
  BOOL v340; // [rsp+58h] [rbp-28h] BYREF
  BOOL v341; // [rsp+5Ch] [rbp-24h] BYREF
  BOOL v342; // [rsp+60h] [rbp-20h] BYREF
  BOOL v343; // [rsp+64h] [rbp-1Ch] BYREF
  BOOL v344; // [rsp+68h] [rbp-18h] BYREF
  BOOL v345; // [rsp+6Ch] [rbp-14h] BYREF
  BOOL v346; // [rsp+70h] [rbp-10h] BYREF
  int v347; // [rsp+74h] [rbp-Ch] BYREF
  unsigned int v348; // [rsp+78h] [rbp-8h] BYREF
  unsigned int v349; // [rsp+7Ch] [rbp-4h] BYREF
  unsigned int v350; // [rsp+80h] [rbp+0h] BYREF
  int v351; // [rsp+84h] [rbp+4h] BYREF
  __int64 v352; // [rsp+88h] [rbp+8h] BYREF
  int v353; // [rsp+90h] [rbp+10h]
  int v354; // [rsp+94h] [rbp+14h]
  int v355; // [rsp+98h] [rbp+18h]
  int v356; // [rsp+9Ch] [rbp+1Ch]
  int v357; // [rsp+A0h] [rbp+20h]
  int v358; // [rsp+A4h] [rbp+24h]
  unsigned int v359; // [rsp+A8h] [rbp+28h]
  unsigned int v360; // [rsp+ACh] [rbp+2Ch]
  unsigned int v361; // [rsp+B0h] [rbp+30h]
  unsigned int v362; // [rsp+B4h] [rbp+34h]
  int v363; // [rsp+B8h] [rbp+38h]
  int v364; // [rsp+BCh] [rbp+3Ch]
  unsigned int v365; // [rsp+C0h] [rbp+40h]
  int v366; // [rsp+C4h] [rbp+44h]
  int v367; // [rsp+C8h] [rbp+48h]
  int v368; // [rsp+CCh] [rbp+4Ch]
  int v369; // [rsp+D0h] [rbp+50h]
  int v370; // [rsp+D4h] [rbp+54h]
  int v371; // [rsp+D8h] [rbp+58h]
  int v372; // [rsp+DCh] [rbp+5Ch]
  unsigned int v373; // [rsp+E0h] [rbp+60h]
  unsigned int v374; // [rsp+E4h] [rbp+64h]
  unsigned int v375; // [rsp+E8h] [rbp+68h]
  unsigned int v376; // [rsp+ECh] [rbp+6Ch]
  unsigned int v377; // [rsp+F0h] [rbp+70h]
  unsigned int v378; // [rsp+F4h] [rbp+74h]
  unsigned int v379; // [rsp+F8h] [rbp+78h]
  unsigned int v380; // [rsp+FCh] [rbp+7Ch]
  int v381; // [rsp+100h] [rbp+80h]
  int v382; // [rsp+104h] [rbp+84h]
  int v383; // [rsp+108h] [rbp+88h]
  int v384; // [rsp+10Ch] [rbp+8Ch]
  int v385; // [rsp+110h] [rbp+90h]
  unsigned int v386; // [rsp+114h] [rbp+94h]
  int v387; // [rsp+118h] [rbp+98h]
  unsigned int v388; // [rsp+11Ch] [rbp+9Ch]
  int v389; // [rsp+120h] [rbp+A0h]
  int v390; // [rsp+124h] [rbp+A4h]
  __int64 v391; // [rsp+128h] [rbp+A8h]

  v6 = *(a4 + 240);
  if ( v6 >= sub_140012B20(Ix, a2, a3, a4, a5, a6) || *(a4 + 248) )
    return 0;
  v391 = sub_140018360(Ix, a2, *(a4 + 240), a4, v7, v8);
  n2 = *v391;
  if ( *v391 == 0xFF )
  {
    *(a4 + 248) = 1;
    return 0;
  }
  else
  {
    if ( n2 < 0x60u )
    {
      if ( n2 == 84 )
      {
        if ( sub_140012AD0(Ix, a2, v11, a4 + 160, v12, v13) != 1 )
        {
          v320 = sub_1400178A0(Ix, a2, v317, a4 + 160, v318, v319);
          v321 = *v320;
          *(a4 + 240) = *v320;
          sub_140017840(Ix, a2, v321, a4 + 160, v322, v323);
          return 1;
        }
      }
      else if ( n2 <= 0x54u )
      {
        switch ( n2 )
        {
          case 'S':
            v352 = *(a4 + 240) + 1LL;
            sub_140017900(Ix, a2, &v352, a4 + 160, v12, v13);
            *(a4 + 240) = *(v391 + 4);
            return 1;
          case 'R':
            if ( sub_140012AB0(Ix, a2, v11, a4 + 24, v12, v13) != 1 )
            {
              v390 = *sub_140017720(Ix, a2, v297, a4 + 24, v298, v299);
              sub_1400176C0(Ix, a2, v300, a4 + 24, v301, v302);
              if ( v390 )
              {
                *(a4 + 240) = *(v391 + 4);
                return 1;
              }
            }
            break;
          case 'Q':
            if ( sub_140012AB0(Ix, a2, v11, a4 + 24, v12, v13) != 1 )
            {
              v389 = *sub_140017720(Ix, a2, v291, a4 + 24, v292, v293);
              sub_1400176C0(Ix, a2, v294, a4 + 24, v295, v296);
              if ( !v389 )
              {
                *(a4 + 240) = *(v391 + 4);
                return 1;
              }
            }
            break;
          case 'P':
            *(a4 + 240) = *(v391 + 4);
            return 1;
          case 'A':
            if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
            {
              v388 = *sub_140017720(Ix, a2, v276, a4 + 24, v277, v278);
              sub_1400176C0(Ix, a2, v279, a4 + 24, v280, v281);
              v387 = *sub_140017720(Ix, a2, v282, a4 + 24, v283, v284);
              sub_1400176C0(Ix, a2, v285, a4 + 24, v286, v287);
              v288 = v387;
              v350 = v388;
              *sub_140015400(Ix, a2, &v350, a4 + 104, v289, v290, v324, v327) = v288;
            }
            break;
          default:
            if ( n2 <= 0x41u )
            {
              if ( n2 == 64 )
              {
                if ( sub_140012AB0(Ix, a2, v11, a4 + 24, v12, v13) != 1 )
                {
                  v386 = *sub_140017720(Ix, a2, v265, a4 + 24, v266, v267);
                  sub_1400176C0(Ix, a2, v268, a4 + 24, v269, v270);
                  v349 = v386;
                  v273 = sub_140015400(Ix, a2, &v349, a4 + 104, v271, v272, v324, v327);
                  sub_1400177B0(Ix, a2, v273, a4 + 24, v274, v275, v326);
                }
              }
              else if ( n2 == 50 )
              {
                if ( sub_140012AB0(Ix, a2, v11, a4 + 24, v12, v13) != 1 )
                {
                  v385 = *sub_140017720(Ix, a2, v231, a4 + 24, v232, v233);
                  sub_1400176C0(Ix, a2, v234, a4 + 24, v235, v236);
                  v346 = v385 == 0;
                  sub_140017780(Ix, a2, &v346, a4 + 24, v237, v238);
                }
              }
              else if ( n2 <= 0x32u )
              {
                switch ( n2 )
                {
                  case '1':
                    if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                    {
                      v384 = *sub_140017720(Ix, a2, v216, a4 + 24, v217, v218);
                      sub_1400176C0(Ix, a2, v219, a4 + 24, v220, v221);
                      v383 = *sub_140017720(Ix, a2, v222, a4 + 24, v223, v224);
                      sub_1400176C0(Ix, a2, v225, a4 + 24, v226, v227);
                      v230 = v383 || v384;
                      v345 = v230;
                      sub_140017780(Ix, a2, &v345, a4 + 24, v228, v229);
                    }
                    break;
                  case '0':
                    if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                    {
                      v382 = *sub_140017720(Ix, a2, v201, a4 + 24, v202, v203);
                      sub_1400176C0(Ix, a2, v204, a4 + 24, v205, v206);
                      v381 = *sub_140017720(Ix, a2, v207, a4 + 24, v208, v209);
                      sub_1400176C0(Ix, a2, v210, a4 + 24, v211, v212);
                      v215 = v381 && v382;
                      v344 = v215;
                      sub_140017780(Ix, a2, &v344, a4 + 24, v213, v214);
                    }
                    break;
                  case '%':
                    if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                    {
                      v380 = *sub_140017720(Ix, a2, v187, a4 + 24, v188, v189);
                      sub_1400176C0(Ix, a2, v190, a4 + 24, v191, v192);
                      v379 = *sub_140017720(Ix, a2, v193, a4 + 24, v194, v195);
                      sub_1400176C0(Ix, a2, v196, a4 + 24, v197, v198);
                      v343 = v379 >= v380;
                      sub_140017780(Ix, a2, &v343, a4 + 24, v199, v200);
                    }
                    break;
                  default:
                    if ( n2 <= 0x25u )
                    {
                      switch ( n2 )
                      {
                        case 0x24u:
                          if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                          {
                            v378 = *sub_140017720(Ix, a2, v173, a4 + 24, v174, v175);
                            sub_1400176C0(Ix, a2, v176, a4 + 24, v177, v178);
                            v377 = *sub_140017720(Ix, a2, v179, a4 + 24, v180, v181);
                            sub_1400176C0(Ix, a2, v182, a4 + 24, v183, v184);
                            v342 = v378 < v377;
                            sub_140017780(Ix, a2, &v342, a4 + 24, v185, v186);
                          }
                          break;
                        case 0x23u:
                          if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                          {
                            v376 = *sub_140017720(Ix, a2, v159, a4 + 24, v160, v161);
                            sub_1400176C0(Ix, a2, v162, a4 + 24, v163, v164);
                            v375 = *sub_140017720(Ix, a2, v165, a4 + 24, v166, v167);
                            sub_1400176C0(Ix, a2, v168, a4 + 24, v169, v170);
                            v341 = v376 >= v375;
                            sub_140017780(Ix, a2, &v341, a4 + 24, v171, v172);
                          }
                          break;
                        case 0x22u:
                          if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                          {
                            v374 = *sub_140017720(Ix, a2, v145, a4 + 24, v146, v147);
                            sub_1400176C0(Ix, a2, v148, a4 + 24, v149, v150);
                            v373 = *sub_140017720(Ix, a2, v151, a4 + 24, v152, v153);
                            sub_1400176C0(Ix, a2, v154, a4 + 24, v155, v156);
                            v340 = v373 < v374;
                            sub_140017780(Ix, a2, &v340, a4 + 24, v157, v158);
                          }
                          break;
                        case 0x21u:
                          if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                          {
                            v372 = *sub_140017720(Ix, a2, v131, a4 + 24, v132, v133);
                            sub_1400176C0(Ix, a2, v134, a4 + 24, v135, v136);
                            v371 = *sub_140017720(Ix, a2, v137, a4 + 24, v138, v139);
                            sub_1400176C0(Ix, a2, v140, a4 + 24, v141, v142);
                            v339 = v371 != v372;
                            sub_140017780(Ix, a2, &v339, a4 + 24, v143, v144);
                          }
                          break;
                        case 0x20u:
                          if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                          {
                            v370 = *sub_140017720(Ix, a2, v117, a4 + 24, v118, v119);
                            sub_1400176C0(Ix, a2, v120, a4 + 24, v121, v122);
                            v369 = *sub_140017720(Ix, a2, v123, a4 + 24, v124, v125);
                            sub_1400176C0(Ix, a2, v126, a4 + 24, v127, v128);
                            v338 = v369 == v370;
                            sub_140017780(Ix, a2, &v338, a4 + 24, v129, v130);
                          }
                          break;
                        case 0x18u:
                          if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                          {
                            v368 = *sub_140017720(Ix, a2, v303, a4 + 24, v304, v305);
                            sub_1400176C0(Ix, a2, v306, a4 + 24, v307, v308);
                            v367 = *sub_140017720(Ix, a2, v309, a4 + 24, v310, v311);
                            sub_1400176C0(Ix, a2, v312, a4 + 24, v313, v314);
                            v351 = v368 ^ v367;
                            sub_140017780(Ix, a2, &v351, a4 + 24, v315, v316);
                          }
                          break;
                        default:
                          if ( n2 <= 0x18u )
                          {
                            switch ( n2 )
                            {
                              case 0x17u:
                                if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                                {
                                  v366 = *sub_140017720(Ix, a2, v252, a4 + 24, v253, v254);
                                  sub_1400176C0(Ix, a2, v255, a4 + 24, v256, v257);
                                  v365 = *sub_140017720(Ix, a2, v258, a4 + 24, v259, v260);
                                  sub_1400176C0(Ix, a2, v261, a4 + 24, v262, v263);
                                  v348 = v365 >> v366;
                                  sub_140017780(Ix, a2, &v348, a4 + 24, a4 + 24, v264);
                                }
                                break;
                              case 0x16u:
                                if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                                {
                                  v364 = *sub_140017720(Ix, a2, v239, a4 + 24, v240, v241);
                                  sub_1400176C0(Ix, a2, v242, a4 + 24, v243, v244);
                                  v363 = *sub_140017720(Ix, a2, v245, a4 + 24, v246, v247);
                                  sub_1400176C0(Ix, a2, v248, a4 + 24, v249, v250);
                                  v347 = v363 << v364;
                                  sub_140017780(Ix, a2, &v347, a4 + 24, a4 + 24, v251);
                                }
                                break;
                              case 0x15u:
                                if ( sub_140012AB0(Ix, a2, v11, a4 + 24, v12, v13) != 1 )
                                {
                                  v328 = *sub_140017720(Ix, a2, v109, a4 + 24, v110, v111);
                                  sub_1400176C0(Ix, a2, v112, a4 + 24, v113, v114);
                                  sub_1400177B0(Ix, a2, &v328, a4 + 24, v115, v116, v324);
                                }
                                break;
                              case 0x14u:
                                if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                                {
                                  v362 = *sub_140017720(Ix, a2, v95, a4 + 24, v96, v97);
                                  sub_1400176C0(Ix, a2, v98, a4 + 24, v99, v100);
                                  v361 = *sub_140017720(Ix, a2, v101, a4 + 24, v102, v103);
                                  sub_1400176C0(Ix, a2, v104, a4 + 24, v105, v106);
                                  if ( v362 )
                                  {
                                    v337 = v361 % v362;
                                    sub_140017780(Ix, a2, &v337, a4 + 24, v107, v108);
                                  }
                                }
                                break;
                              case 0x13u:
                                if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                                {
                                  v360 = *sub_140017720(Ix, a2, v81, a4 + 24, v82, v83);
                                  sub_1400176C0(Ix, a2, v84, a4 + 24, v85, v86);
                                  v359 = *sub_140017720(Ix, a2, v87, a4 + 24, v88, v89);
                                  sub_1400176C0(Ix, a2, v90, a4 + 24, v91, v92);
                                  if ( v360 )
                                  {
                                    v336 = v359 / v360;
                                    sub_140017780(Ix, a2, &v336, a4 + 24, v93, v94);
                                  }
                                }
                                break;
                              case 0x12u:
                                if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                                {
                                  v358 = *sub_140017720(Ix, a2, v67, a4 + 24, v68, v69);
                                  sub_1400176C0(Ix, a2, v70, a4 + 24, v71, v72);
                                  v357 = *sub_140017720(Ix, a2, v73, a4 + 24, v74, v75);
                                  sub_1400176C0(Ix, a2, v76, a4 + 24, v77, v78);
                                  v335 = v358 * v357;
                                  sub_140017780(Ix, a2, &v335, a4 + 24, v79, v80);
                                }
                                break;
                              case 0x11u:
                                if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                                {
                                  v356 = *sub_140017720(Ix, a2, v53, a4 + 24, v54, v55);
                                  sub_1400176C0(Ix, a2, v56, a4 + 24, v57, v58);
                                  v355 = *sub_140017720(Ix, a2, v59, a4 + 24, v60, v61);
                                  sub_1400176C0(Ix, a2, v62, a4 + 24, v63, v64);
                                  v334 = v355 - v356;
                                  sub_140017780(Ix, a2, &v334, a4 + 24, v65, v66);
                                }
                                break;
                              case 0x10u:
                                if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                                {
                                  v354 = *sub_140017720(Ix, a2, v39, a4 + 24, v40, v41);
                                  sub_1400176C0(Ix, a2, v42, a4 + 24, v43, v44);
                                  v353 = *sub_140017720(Ix, a2, v45, a4 + 24, v46, v47);
                                  sub_1400176C0(Ix, a2, v48, a4 + 24, v49, v50);
                                  v333 = v353 + v354;
                                  sub_140017780(Ix, a2, &v333, a4 + 24, v51, v52);
                                }
                                break;
                              case 4u:
                                if ( sub_140012A90(Ix, a2, v11, a4 + 24, v12, v13) > 1 )
                                {
                                  v330 = *sub_140017720(Ix, a2, v23, a4 + 24, v24, v25);
                                  sub_1400176C0(Ix, a2, v26, a4 + 24, v27, v28);
                                  v329 = *sub_140017720(Ix, a2, v29, a4 + 24, v30, v31);
                                  sub_1400176C0(Ix, a2, v32, a4 + 24, v33, v34);
                                  sub_1400177B0(Ix, a2, &v330, a4 + 24, v35, v36, v324);
                                  sub_1400177B0(Ix, a2, &v329, a4 + 24, v37, v38, v325);
                                }
                                break;
                              default:
                                if ( n2 <= 4u )
                                {
                                  if ( n2 == 3 )
                                  {
                                    if ( sub_140012AB0(Ix, a2, v11, a4 + 24, v12, v13) != 1 )
                                    {
                                      v331 = *sub_140017720(Ix, a2, v18, a4 + 24, v19, v20);
                                      sub_1400177B0(Ix, a2, &v331, a4 + 24, v21, v22, v324);
                                    }
                                  }
                                  else if ( n2 == 1 )
                                  {
                                    v332 = *(v391 + 4);
                                    sub_140017780(Ix, a2, &v332, a4 + 24, v12, v13);
                                  }
                                  else if ( n2 == 2 && sub_140012AB0(Ix, a2, v11, a4 + 24, v12, v13) != 1 )
                                  {
                                    sub_1400176C0(Ix, a2, v15, a4 + 24, v16, v17);
                                  }
                                }
                                break;
                            }
                          }
                          break;
                      }
                    }
                    break;
                }
              }
            }
            break;
        }
      }
    }
    ++*(a4 + 240);
    return 1;
  }
}

可认为这就是 VM 主体了。

sub_140011AE0 则开始输出正确与否了，此函数应该为验证函数。