{
  "provenance": {
    "method": "A: actual PE main initialization path emulated by Triton up to target entry",
    "case": "tigress-add_opaque-O0",
    "executable": "E:\\Workspace\\seeing_through_obfuscation\\results\\showcase_matrix_v1\\optimization_survival\\tigress\\add_opaque\\O0\\showcase.exe",
    "sha256": "EC0422510CB401B0EC004A32961F45F5D9A399EA9EB021F4B16A38B6FE8052BE",
    "main": "0x140001300",
    "stop": "0x140001110",
    "instruction_count": 763,
    "malloc_summary": "successful fresh aligned synthetic heap allocation; no target-specific state constants",
    "allocations": [
      {
        "address": "0x72000000",
        "size": 24,
        "return_address": "0x140001bd8"
      },
      {
        "address": "0x72010000",
        "size": 24,
        "return_address": "0x140001c1e"
      },
      {
        "address": "0x72020000",
        "size": 24,
        "return_address": "0x140001c1e"
      }
    ],
    "scope": "One concrete initialized main state; x/y re-symbolized independently at target entry",
    "relevant_globals": {
      "_TIG_iO_wVLP_2_main_1__opaque_array": {
        "va": "0x14009b120",
        "bytes": "6c00000001010000030000003a000000ec00000005000000f80000001902000005000000e40000007801000007000000c5010000c90000004200000003000000940100003c0000008e0100005f0200004e000000c5010000040200001c00000075010000d70000004e000000f800000008010000"
      },
      "_TIG_iE_wVLP_1_entropy": {
        "va": "0x14009b198",
        "bytes": "f8252d8c"
      },
      "_TIG_iO_wVLP_2_main_1_opaque_ptr_2": {
        "va": "0x14009b1a0",
        "bytes": "0000027200000000"
      },
      "_TIG_iO_wVLP_2_main_1_opaque_ptr_1": {
        "va": "0x14009b1d0",
        "bytes": "0000027200000000"
      }
    }
  },
  "memory": {
    "0x140099000": "5355422020202020203d20253038580a4243462020202020203d20253038580a464c412020202020203d20253038580a43414c4c53202020203d20253038580a4441544120202020203d20253038580a434f4d42494e4544203d20253038580a000000000000000053484f5743415345204641494c3a202564206d69736d6174636865730a00000053484f574341534520504153530000000000000000000000000000000000000000000000000000000000000000000000000000000000000032a2df2d992b00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000cd5d20d266d4ffffffffffff01000000010000000200000000000800000000000000000200000000ffffffffffffffffffffffff00000000f0510840010000001c000000000000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000022000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000220000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000548508400100000002000000000000000000000000000000ffffffff000000000000000000000000508008400100000001000000000000000100000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000e893094001000000000000000000000000000000000000000000000000000000e893094001000000000000000000000000000000000000000000000000000000e893094001000000000000000000000000000000000000000000000000000000e893094001000000000000000000000000000000000000000000000000000000e89309400100000000000000000000000000000000000000000000000000000000000000000000000000000000000000909909400100000000000000000000000000000000000000d0820840010000005084084001000000307608400100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080920940010000005094094001000000430000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffff000000000000000080000a0a0a00000000000000000000000c0000000800000050800840010000005285084001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000101010101010101010101010101010101010101010101010101000000000000020202020202020202020202020202020202020202020202020200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006162636465666768696a6b6c6d6e6f707172737475767778797a0000000000004142434445464748494a4b4c4d4e4f505152535455565758595a000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000101010101010101010101010101010101010101010101010101000000000000020202020202020202020202020202020202020202020202020200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006162636465666768696a6b6c6d6e6f707172737475767778797a0000000000004142434445464748494a4b4c4d4e4f505152535455565758595a0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001020408000000000000000000000000a4030000608279822100000000000000a6df000000000000a1a5000000000000819fe0fc00000000407e80fc00000000a8030000c1a3daa320000000000000000000000000000000000000000000000081fe00000000000040fe000000000000b5030000c1a3daa320000000000000000000000000000000000000000000000081fe00000000000041fe000000000000b6030000cfa2e4a21a00e5a2e8a25b000000000000000000000000000000000081fe000000000000407ea1fe000000005105000051da5eda20005fda6ada32000000000000000000000000000000000081d3d8dee0f90000317e81fe00000000309a094001000000bcb0094001000000bcb0094001000000bcb0094001000000bcb0094001000000bcb0094001000000bcb0094001000000bcb0094001000000bcb0094001000000bcb00940010000007f7f7f7f7f7f7f7f349a094001000000c0b0094001000000c0b0094001000000c0b0094001000000c0b0094001000000c0b0094001000000c0b0094001000000c0b009400100000090990940010000002e0000002e000000feffffff0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001010101010101010101010101010101010101010101010101010101010101010202020202020202020202020202020203030303030303030000000000000000feffffffffffffff010000000000000001000000759800000000000000000000b8f308400100000000000000000000002e3f41566261645f616c6c6f634073746440400000000000b8f308400100000000000000000000002e3f41566261645f657863657074696f6e40737464404000b8f308400100000000000000000000002e3f4156657863657074696f6e4073746440400000000000b8f308400100000000000000000000002e3f4156444e616d654e6f6465404000b8f308400100000000000000000000002e3f4156636861724e6f646540400000b8f308400100000000000000000000002e3f415670636861724e6f6465404000b8f308400100000000000000000000002e3f415670444e616d654e6f646540400000000000000000b8f308400100000000000000000000002e3f4156444e616d655374617475734e6f64654040000000b8f308400100000000000000000000002e3f4156706169724e6f646540400000b8f308400100000000000000000000002e3f4156747970655f696e666f4040000000000000000000000000000000000000000000000000004f42465553434154494f4e2d44454d4f2d425241564f2d31323334353637380000000000000000004f42465553434154494f4e2d44454d4f2d414c5048412d3133333700000000003713000078563412111111112222222200000000000000000000000000000000010000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000371300000000000000000000000000006c00000001010000030000003a000000ec00000005000000f80000001902000005000000e40000007801000007000000c5010000c90000004200000003000000940100003c0000008e0100005f0200004e000000c5010000040200001c00000075010000d70000004e000000f80000000801000000000000f8252d8c000000000000027200000000785634120000000000000072000000000020007000000000001000700000000000000000000000000000027200000000000000000000000000000000000000000000000000000000",
    "0x1400a2000": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "0x72000000": "000000000000000000000272000000000000017200000000",
    "0x72010000": "000000000000000000000072000000000000027200000000",
    "0x72020000": "f4252d8c0000000000000172000000000000007200000000"
  }
}