digraph "slicealign_cfg" {
label="SliceAlign graph for the W32/Netsky.C example"
rankdir=BT;
node [shape=box];
subgraph clusterPASS {
	node [style=filled,color=green];
	color=lightgrey;
	BB_95 [label="pruned (same stack location)",color=white];
	BB_96 [label="pruned (same stack location)",color=white];
	BB_1 -> BB_64 [label="M@0x7ffe0014[0xa38c481a]T0",];
	BB_1 [label="kernel32.dll::GetLocalTime+0x2d\n(00000053)7c80a891: mov    0x7ffe0014,%ecx\n",];
	BB_2 -> BB_65 [label="R@edi[0x0e234000]T0",];
	BB_2 -> BB_1 [label="R@ecx[0xa38c481a]T0",];
	BB_2 [label="kernel32.dll::GetLocalTime+0x47\n(00000062)7c80a8ab: sub    %edi,%ecx\n",];
	BB_3 -> BB_66 [label="M@0x7ffe0018[0x01c3fca6]T0",];
	BB_3 [label="kernel32.dll::GetLocalTime+0x28\n(00000052)7c80a88c: mov    0x7ffe0018,%eax\n",];
	BB_4 -> BB_67 [label="PTR:R@ebp[0x00c2ff98]T0",];
	BB_4 -> BB_2 [label="R@ecx[0x9569081a]T0",];
	BB_4 [label="kernel32.dll::GetLocalTime+0x56\n(00000069)7c80a8ba: mov    %ecx,-0x8(%ebp)\n",];
	BB_5 -> BB_68 [label="R@esi[0x00000043]T0",];
	BB_5 -> BB_3 [label="R@eax[0x01c3fca6]T0",];
	BB_5 [label="kernel32.dll::GetLocalTime+0x49\n(00000063)7c80a8ad: sbb    %esi,%eax\n",];
	BB_6 -> BB_69 [label="PTR:R@eax[0x00c2ff90]T0",];
	BB_6 -> BB_4 [label="M@0x00c2ff90[0x9569081a]T0",];
	BB_6 [label="ntdll.dll::sub_7C911E76+0x19\n(00000094)7c911e8f: pushl  (%eax)\n",];
	BB_7 -> BB_70 [label="PTR:R@ebp[0x00c2ff98]T0",];
	BB_7 -> BB_5 [label="R@eax[0x01c3fc63]T0",];
	BB_7 [label="kernel32.dll::GetLocalTime+0x4b\n(00000064)7c80a8af: mov    %eax,-0x4(%ebp)\n",];
	BB_8 -> BB_72 [label="R@eax[0xd1b71758]T0",];
	BB_8 -> BB_71 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_8 -> BB_6 [label="M@0x00c2ff28[0x9569081a]T0",];
	BB_8 [label="ntdll.dll::RtlExtendedMagicDivide+0x34\n(00000111)7c9030de: mull   0x8(%ebp)\n",];
	BB_9 -> BB_73 [label="PTR:R@eax[0x00c2ff90]T0",];
	BB_9 -> BB_7 [label="M@0x00c2ff94[0x01c3fc63]T0",];
	BB_9 [label="ntdll.dll::sub_7C911E76+0x16\n(00000093)7c911e8c: pushl  0x4(%eax)\n",];
	BB_10 -> BB_75 [label="R@eax[0xe219652c]T0",];
	BB_10 -> BB_74 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_10 -> BB_9 [label="M@0x00c2ff2c[0x01c3fc63]T0",];
	BB_10 [label="ntdll.dll::RtlExtendedMagicDivide+0x28\n(00000107)7c9030d2: mull   0xc(%ebp)\n",];
	BB_11 -> BB_76 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_11 -> BB_8 [label="R@edx[0x7a659b51]T0",];
	BB_11 [label="ntdll.dll::RtlExtendedMagicDivide+0x45\n(00000117)7c9030ef: mov    %edx,-0x4(%ebp)\n",];
	BB_12 -> BB_78 [label="R@eax[0xd1b71758]T0",];
	BB_12 -> BB_77 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_12 -> BB_9 [label="M@0x00c2ff2c[0x01c3fc63]T0",];
	BB_12 [label="ntdll.dll::RtlExtendedMagicDivide+0x4b\n(00000119)7c9030f5: mull   0xc(%ebp)\n",];
	BB_13 -> BB_12 [label="R@edx[0x0172444f]T0",];
	BB_13 [label="ntdll.dll::RtlExtendedMagicDivide+0x51\n(00000121)7c9030fb: adc    $0x0,%edx\n",];
	BB_14 -> BB_79 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_14 -> BB_10 [label="R@edx[0x018f31a5]T0",];
	BB_14 [label="ntdll.dll::RtlExtendedMagicDivide+0x2e\n(00000109)7c9030d8: mov    %edx,-0xc(%ebp)\n",];
	BB_15 -> BB_80 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_15 -> BB_12 [label="R@eax[0x74d0a708]T0",];
	BB_15 -> BB_11 [label="M@0x00c2ff1c[0x7a659b51]T0",];
	BB_15 [label="ntdll.dll::RtlExtendedMagicDivide+0x4e\n(00000120)7c9030f8: add    -0x4(%ebp),%eax\n",];
	BB_16 -> BB_13 [label="R@edx[0x0172444f]T0",];
	BB_16 [label="ntdll.dll::RtlExtendedMagicDivide+0x57\n(00000123)7c903101: adc    $0x0,%edx\n",];
	BB_17 -> BB_81 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_17 -> BB_15 [label="R@eax[0xef364259]T0",];
	BB_17 -> BB_14 [label="M@0x00c2ff14[0x018f31a5]T0",];
	BB_17 [label="ntdll.dll::RtlExtendedMagicDivide+0x54\n(00000122)7c9030fe: add    -0xc(%ebp),%eax\n",];
	BB_18 -> BB_16 [label="R@edx[0x0172444f]T0",];
	BB_18 [label="ntdll.dll::RtlExtendedMagicDivide+0x5c\n(00000125)7c903106: adc    $0x0,%edx\n",];
	BB_19 -> BB_82 [label="R@ecx[0x00000002]T0",];
	BB_19 -> BB_17 [label="R@eax[0xf0c573fe]T0",];
	BB_19 [label="ntdll.dll::RtlExtendedMagicDivide+0x5a\n(00000124)7c903104: add    %ecx,%eax\n",];
	BB_20 -> BB_83 [label="R@cl[0x0d]T0",];
	BB_20 -> BB_19 [label="R@eax[0xf0c57400]T0",];
	BB_20 -> BB_18 [label="R@edx[0x0172444f]T0",];
	BB_20 [label="ntdll.dll::RtlExtendedMagicDivide+0x73\n(00000129)7c90311d: shrd   %cl,%edx,%eax\nntdll.dll::sub_7C911E76+0x28\n(00000139)7c911e9e: mov    %eax,%esi\nntdll.dll::RtlExtendedMagicDivide+0x6\n(00000147)7c9030b0: push   %esi\nntdll.dll::RtlExtendedMagicDivide+0x87\n(00000181)7c903131: pop    %esi\n",];
	BB_21 -> BB_84 [label="R@eax[0x1fd54000]T0",];
	BB_21 -> BB_20 [label="R@esi[0x227f862b]T0",];
	BB_21 [label="ntdll.dll::sub_7C911E76+0x42\n(00000188)7c911eb8: sub    %eax,%esi\n",];
	BB_22 -> BB_85 [label="PTR:R@eax[0x00c2ff64]T0",];
	BB_22 -> BB_21 [label="R@esi[0x02aa462b]T0",];
	BB_22 [label="ntdll.dll::sub_7C911E76+0x47\n(00000190)7c911ebd: mov    %esi,(%eax)\n",];
	BB_23 -> BB_86 [label="PTR:R@ebp[0x00c2ff68]T0",];
	BB_23 -> BB_22 [label="M@0x00c2ff64[0x02aa462b]T0",];
	BB_23 [label="ntdll.dll::RtlTimeToTimeFields+0x9e\n(00000288)7c911f7b: mov    -0x4(%ebp),%eax\n",];
	BB_24 -> BB_88 [label="R@ebx[0x000003e8]T0",];
	BB_24 -> BB_87 [label="R@edx[0x00000000]T0",];
	BB_24 -> BB_23 [label="R@eax[0x02aa462b]T0",];
	BB_24 [label="ntdll.dll::RtlTimeToTimeFields+0xa8\n(00000291)7c911f85: div    %ebx\n",];
	BB_25 -> BB_90 [label="R@ebx[0x0000003c]T0",];
	BB_25 -> BB_89 [label="R@edx[0x00000000]T0",];
	BB_25 -> BB_24 [label="R@eax[0x0000aea9]T0",];
	BB_25 [label="ntdll.dll::RtlTimeToTimeFields+0xc0\n(00000300)7c911f9d: div    %ebx\n",];
	BB_26 -> BB_92 [label="R@ecx[0x0000003c]T0",];
	BB_26 -> BB_91 [label="R@edx[0x00000000]T0",];
	BB_26 -> BB_25 [label="R@eax[0x000002e9]T0",];
	BB_26 [label="ntdll.dll::RtlTimeToTimeFields+0xd2\n(00000309)7c911faf: div    %ecx\n",];
	BB_27 -> BB_93 [label="PTR:R@esi[0x00c2ff80]T0",];
	BB_27 -> BB_26 [label="R@ax[0x000c]T0",];
	BB_27 [label="ntdll.dll::RtlTimeToTimeFields+0xd8\n(00000311)7c911fb5: mov    %ax,0x6(%esi)\n",];
	BB_28 -> BB_94 [label="PTR:R@ebp[0x00c2ff98]T0",];
	BB_28 -> BB_27 [label="M@0x00c2ff86[0x000c]T0",];
	BB_28 [label="kernel32.dll::GetLocalTime+0x81\n(00000328)7c80a8e5: mov    -0x12(%ebp),%cx\n",];
	BB_29 -> BB_95 [label="PTR:R@eax[0x00c2ffa4]T0",];
	BB_29 -> BB_28 [label="R@cx[0x000c]T0",];
	BB_29 [label="kernel32.dll::GetLocalTime+0x85\n(00000329)7c80a8e9: mov    %cx,0x8(%eax)\n",];
	BB_30 -> BB_96 [label="PTR:R@ebp[0x00c2ffb4]T0",];
	BB_30 -> BB_29 [label="M@0x00c2ffac[0x000c]T0",];
	BB_30 [label="NetSky.C.malware.exe::sub_403085+0x3c\n(00000348)004030c1: cmpw   $0x7,-0x8(%ebp)\n",];
	BB_31 -> BB_30 [label="EFLAGS",];
	BB_31 [label="NetSky.C.malware.exe::sub_403085+0x41\n(00000349)004030c6: je     0x00000000004030cf\n",];
	BB_64 [label="(reached beginning of trace)",color=white];
	BB_65 [label="pruned (same value)",color=white];
	BB_66 [label="(reached beginning of trace)",color=white];
	BB_67 [label="pruned (same stack location)",color=white];
	BB_68 [label="pruned (same value)",color=white];
	BB_69 [label="pruned (same stack location)",color=white];
	BB_70 [label="pruned (same stack location)",color=white];
	BB_71 [label="pruned (same stack location)",color=white];
	BB_72 [label="pruned (same value)",color=white];
	BB_73 [label="pruned (same stack location)",color=white];
	BB_74 [label="pruned (same stack location)",color=white];
	BB_75 [label="pruned (same value)",color=white];
	BB_76 [label="pruned (same stack location)",color=white];
	BB_77 [label="pruned (same stack location)",color=white];
	BB_78 [label="pruned (same value)",color=white];
	BB_79 [label="pruned (same stack location)",color=white];
	BB_80 [label="pruned (same stack location)",color=white];
	BB_81 [label="pruned (same stack location)",color=white];
	BB_82 [label="pruned (same value)",color=white];
	BB_83 [label="pruned (same value)",color=white];
	BB_84 [label="pruned (same value)",color=white];
	BB_85 [label="pruned (same stack location)",color=white];
	BB_86 [label="pruned (same stack location)",color=white];
	BB_87 [label="pruned (same value)",color=white];
	BB_88 [label="pruned (same value)",color=white];
	BB_89 [label="pruned (same value)",color=white];
	BB_90 [label="pruned (same value)",color=white];
	BB_91 [label="pruned (same value)",color=white];
	BB_92 [label="pruned (same value)",color=white];
	BB_93 [label="pruned (same stack location)",color=white];
	BB_94 [label="pruned (same stack location)",color=white];
	label = "PASS";
}
subgraph clusterFAIL {
	node [style=filled,color=red];
	color=lightgrey;
	BB_97 [label="(reached beginning of trace)",color=white];
	BB_98 [label="pruned (same value)",color=white];
	BB_99 [label="(reached beginning of trace)",color=white];
	BB_100 [label="pruned (same stack location)",color=white];
	BB_101 [label="pruned (same value)",color=white];
	BB_102 [label="pruned (same stack location)",color=white];
	BB_103 [label="pruned (same stack location)",color=white];
	BB_104 [label="pruned (same stack location)",color=white];
	BB_105 [label="pruned (same value)",color=white];
	BB_106 [label="pruned (same stack location)",color=white];
	BB_107 [label="pruned (same stack location)",color=white];
	BB_108 [label="pruned (same value)",color=white];
	BB_109 [label="pruned (same stack location)",color=white];
	BB_110 [label="pruned (same stack location)",color=white];
	BB_111 [label="pruned (same value)",color=white];
	BB_112 [label="pruned (same stack location)",color=white];
	BB_113 [label="pruned (same stack location)",color=white];
	BB_114 [label="pruned (same stack location)",color=white];
	BB_115 [label="pruned (same value)",color=white];
	BB_116 [label="pruned (same value)",color=white];
	BB_117 [label="pruned (same value)",color=white];
	BB_118 [label="pruned (same stack location)",color=white];
	BB_119 [label="pruned (same stack location)",color=white];
	BB_120 [label="pruned (same value)",color=white];
	BB_121 [label="pruned (same value)",color=white];
	BB_122 [label="pruned (same value)",color=white];
	BB_123 [label="pruned (same value)",color=white];
	BB_124 [label="pruned (same value)",color=white];
	BB_125 [label="pruned (same value)",color=white];
	BB_126 [label="pruned (same stack location)",color=white];
	BB_127 [label="pruned (same stack location)",color=white];
	BB_32 -> BB_97 [label="M@0x7ffe0014[0xb44464d2]T0",];
	BB_32 [label="kernel32.dll::GetLocalTime+0x2d\n(00000053)7c80a891: mov    0x7ffe0014,%ecx\n",];
	BB_128 [label="pruned (same stack location)",color=white];
	BB_33 -> BB_98 [label="R@edi[0x0e234000]T0",];
	BB_33 -> BB_32 [label="R@ecx[0xb44464d2]T0",];
	BB_33 [label="kernel32.dll::GetLocalTime+0x47\n(00000062)7c80a8ab: sub    %edi,%ecx\n",];
	BB_129 [label="pruned (same stack location)",color=white];
	BB_34 -> BB_99 [label="M@0x7ffe0018[0x01c3fc7c]T0",];
	BB_34 [label="kernel32.dll::GetLocalTime+0x28\n(00000052)7c80a88c: mov    0x7ffe0018,%eax\n",];
	BB_35 -> BB_100 [label="PTR:R@ebp[0x00c2ff98]T0",];
	BB_35 -> BB_33 [label="R@ecx[0xa62124d2]T0",];
	BB_35 [label="kernel32.dll::GetLocalTime+0x56\n(00000069)7c80a8ba: mov    %ecx,-0x8(%ebp)\n",];
	BB_36 -> BB_101 [label="R@esi[0x00000043]T0",];
	BB_36 -> BB_34 [label="R@eax[0x01c3fc7c]T0",];
	BB_36 [label="kernel32.dll::GetLocalTime+0x49\n(00000063)7c80a8ad: sbb    %esi,%eax\n",];
	BB_37 -> BB_102 [label="PTR:R@eax[0x00c2ff90]T0",];
	BB_37 -> BB_35 [label="M@0x00c2ff90[0xa62124d2]T0",];
	BB_37 [label="ntdll.dll::sub_7C911E76+0x19\n(00000094)7c911e8f: pushl  (%eax)\n",];
	BB_38 -> BB_103 [label="PTR:R@ebp[0x00c2ff98]T0",];
	BB_38 -> BB_36 [label="R@eax[0x01c3fc39]T0",];
	BB_38 [label="kernel32.dll::GetLocalTime+0x4b\n(00000064)7c80a8af: mov    %eax,-0x4(%ebp)\n",];
	BB_39 -> BB_105 [label="R@eax[0xd1b71758]T0",];
	BB_39 -> BB_104 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_39 -> BB_37 [label="M@0x00c2ff28[0xa62124d2]T0",];
	BB_39 [label="ntdll.dll::RtlExtendedMagicDivide+0x34\n(00000111)7c9030de: mull   0x8(%ebp)\n",];
	BB_40 -> BB_106 [label="PTR:R@eax[0x00c2ff90]T0",];
	BB_40 -> BB_38 [label="M@0x00c2ff94[0x01c3fc39]T0",];
	BB_40 [label="ntdll.dll::sub_7C911E76+0x16\n(00000093)7c911e8c: pushl  0x4(%eax)\n",];
	BB_41 -> BB_108 [label="R@eax[0xe219652c]T0",];
	BB_41 -> BB_107 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_41 -> BB_40 [label="M@0x00c2ff2c[0x01c3fc39]T0",];
	BB_41 [label="ntdll.dll::RtlExtendedMagicDivide+0x28\n(00000107)7c9030d2: mull   0xc(%ebp)\n",];
	BB_42 -> BB_109 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_42 -> BB_39 [label="R@edx[0x8817dfe6]T0",];
	BB_42 [label="ntdll.dll::RtlExtendedMagicDivide+0x45\n(00000117)7c9030ef: mov    %edx,-0x4(%ebp)\n",];
	BB_43 -> BB_111 [label="R@eax[0xd1b71758]T0",];
	BB_43 -> BB_110 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_43 -> BB_40 [label="M@0x00c2ff2c[0x01c3fc39]T0",];
	BB_43 [label="ntdll.dll::RtlExtendedMagicDivide+0x4b\n(00000119)7c9030f5: mull   0xc(%ebp)\n",];
	BB_44 -> BB_43 [label="R@edx[0x0172442d]T0",];
	BB_44 [label="ntdll.dll::RtlExtendedMagicDivide+0x51\n(00000121)7c9030fb: adc    $0x0,%edx\n",];
	BB_45 -> BB_112 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_45 -> BB_41 [label="R@edx[0x018f3180]T0",];
	BB_45 [label="ntdll.dll::RtlExtendedMagicDivide+0x2e\n(00000109)7c9030d8: mov    %edx,-0xc(%ebp)\n",];
	BB_46 -> BB_113 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_46 -> BB_43 [label="R@eax[0x0cc6d298]T0",];
	BB_46 -> BB_42 [label="M@0x00c2ff1c[0x8817dfe6]T0",];
	BB_46 [label="ntdll.dll::RtlExtendedMagicDivide+0x4e\n(00000120)7c9030f8: add    -0x4(%ebp),%eax\n",];
	BB_47 -> BB_44 [label="R@edx[0x0172442d]T0",];
	BB_47 [label="ntdll.dll::RtlExtendedMagicDivide+0x57\n(00000123)7c903101: adc    $0x0,%edx\n",];
	BB_48 -> BB_114 [label="PTR:R@ebp[0x00c2ff20]T0",];
	BB_48 -> BB_46 [label="R@eax[0x94deb27e]T0",];
	BB_48 -> BB_45 [label="M@0x00c2ff14[0x018f3180]T0",];
	BB_48 [label="ntdll.dll::RtlExtendedMagicDivide+0x54\n(00000122)7c9030fe: add    -0xc(%ebp),%eax\n",];
	BB_49 -> BB_47 [label="R@edx[0x0172442d]T0",];
	BB_49 [label="ntdll.dll::RtlExtendedMagicDivide+0x5c\n(00000125)7c903106: adc    $0x0,%edx\n",];
	BB_50 -> BB_115 [label="R@ecx[0x00000002]T0",];
	BB_50 -> BB_48 [label="R@eax[0x966de3fe]T0",];
	BB_50 [label="ntdll.dll::RtlExtendedMagicDivide+0x5a\n(00000124)7c903104: add    %ecx,%eax\n",];
	BB_51 -> BB_116 [label="R@cl[0x0d]T0",];
	BB_51 -> BB_50 [label="R@eax[0x966de400]T0",];
	BB_51 -> BB_49 [label="R@edx[0x0172442d]T0",];
	BB_51 [label="ntdll.dll::RtlExtendedMagicDivide+0x73\n(00000129)7c90311d: shrd   %cl,%edx,%eax\nntdll.dll::sub_7C911E76+0x28\n(00000139)7c911e9e: mov    %eax,%esi\nntdll.dll::RtlExtendedMagicDivide+0x6\n(00000147)7c9030b0: push   %esi\nntdll.dll::RtlExtendedMagicDivide+0x87\n(00000181)7c903131: pop    %esi\n",];
	BB_52 -> BB_117 [label="R@eax[0x1fd54000]T0",];
	BB_52 -> BB_51 [label="R@esi[0x216cb36f]T0",];
	BB_52 [label="ntdll.dll::sub_7C911E76+0x42\n(00000188)7c911eb8: sub    %eax,%esi\n",];
	BB_53 -> BB_118 [label="PTR:R@eax[0x00c2ff64]T0",];
	BB_53 -> BB_52 [label="R@esi[0x0197736f]T0",];
	BB_53 [label="ntdll.dll::sub_7C911E76+0x47\n(00000190)7c911ebd: mov    %esi,(%eax)\n",];
	BB_54 -> BB_119 [label="PTR:R@ebp[0x00c2ff68]T0",];
	BB_54 -> BB_53 [label="M@0x00c2ff64[0x0197736f]T0",];
	BB_54 [label="ntdll.dll::RtlTimeToTimeFields+0x9e\n(00000288)7c911f7b: mov    -0x4(%ebp),%eax\n",];
	BB_55 -> BB_121 [label="R@ebx[0x000003e8]T0",];
	BB_55 -> BB_120 [label="R@edx[0x00000000]T0",];
	BB_55 -> BB_54 [label="R@eax[0x0197736f]T0",];
	BB_55 [label="ntdll.dll::RtlTimeToTimeFields+0xa8\n(00000291)7c911f85: div    %ebx\n",];
	BB_56 -> BB_123 [label="R@ebx[0x0000003c]T0",];
	BB_56 -> BB_122 [label="R@edx[0x00000000]T0",];
	BB_56 -> BB_55 [label="R@eax[0x0000684e]T0",];
	BB_56 [label="ntdll.dll::RtlTimeToTimeFields+0xc0\n(00000300)7c911f9d: div    %ebx\n",];
	BB_57 -> BB_125 [label="R@ecx[0x0000003c]T0",];
	BB_57 -> BB_124 [label="R@edx[0x00000000]T0",];
	BB_57 -> BB_56 [label="R@eax[0x000001bd]T0",];
	BB_57 [label="ntdll.dll::RtlTimeToTimeFields+0xd2\n(00000309)7c911faf: div    %ecx\n",];
	BB_58 -> BB_126 [label="PTR:R@esi[0x00c2ff80]T0",];
	BB_58 -> BB_57 [label="R@ax[0x0007]T0",];
	BB_58 [label="ntdll.dll::RtlTimeToTimeFields+0xd8\n(00000311)7c911fb5: mov    %ax,0x6(%esi)\n",];
	BB_59 -> BB_127 [label="PTR:R@ebp[0x00c2ff98]T0",];
	BB_59 -> BB_58 [label="M@0x00c2ff86[0x0007]T0",];
	BB_59 [label="kernel32.dll::GetLocalTime+0x81\n(00000328)7c80a8e5: mov    -0x12(%ebp),%cx\n",];
	BB_60 -> BB_128 [label="PTR:R@eax[0x00c2ffa4]T0",];
	BB_60 -> BB_59 [label="R@cx[0x0007]T0",];
	BB_60 [label="kernel32.dll::GetLocalTime+0x85\n(00000329)7c80a8e9: mov    %cx,0x8(%eax)\n",];
	BB_61 -> BB_129 [label="PTR:R@ebp[0x00c2ffb4]T0",];
	BB_61 -> BB_60 [label="M@0x00c2ffac[0x0007]T0",];
	BB_61 [label="NetSky.C.malware.exe::sub_403085+0x3c\n(00000348)004030c1: cmpw   $0x7,-0x8(%ebp)\n",];
	BB_62 -> BB_61 [label="EFLAGS",];
	BB_62 [label="NetSky.C.malware.exe::sub_403085+0x41\n(00000349)004030c6: je     0x00000000004030cf\n",];
	BB_63 -> BB_62 [label="(divergence point)",weight=1,color=blue,style=dotted];
	BB_63 [label="kernel32.dll::Beep+0x0\n(00000376)7c837a8f: mov    %edi,%edi\n",color=yellow];
	label = "FAIL";
}
BB_1 -> BB_32 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_2 -> BB_33 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_3 -> BB_34 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_4 -> BB_35 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_5 -> BB_36 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_6 -> BB_37 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_7 -> BB_38 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_8 -> BB_39 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_9 -> BB_40 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_10 -> BB_41 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_11 -> BB_42 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_12 -> BB_43 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_13 -> BB_44 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_14 -> BB_45 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_15 -> BB_46 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_16 -> BB_47 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_17 -> BB_48 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_18 -> BB_49 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_19 -> BB_50 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_20 -> BB_51 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_20 -> BB_51 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_20 -> BB_51 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_20 -> BB_51 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_21 -> BB_52 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_22 -> BB_53 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_23 -> BB_54 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_24 -> BB_55 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_25 -> BB_56 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_26 -> BB_57 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_27 -> BB_58 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_28 -> BB_59 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_29 -> BB_60 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_30 -> BB_61 [weight=1,style=bold,style=invis,dir=both,constraint=false];
BB_31 -> BB_62 [weight=1,style=bold,style=invis,dir=both,constraint=false];
}