{ "evidence_id": "ev_834d90b53c711a0cd0891b4546fc2b055b571fef02c00fd413509df3fe1e1610", "subject": { "name": "ms_flag_checker", "digest": { "sha256": "dcd3bec4f608e11f3a12ce461100aaf5f621851ee63a1f870d7c90d4e3dd51ae" }, "local_path": "[workspace]/.qa/ctf/ms_flag_checker", "format": "elf", "architecture": "x86_64" }, "provider": { "id": "ghidra", "name": "Ghidra", "version": "12.1.4" }, "analysis_profile": { "provider": { "id": "ghidra", "name": "Ghidra", "version": "12.1.4" }, "parameters": { "target_kind": "executable", "target_format": "elf", "architecture": "x86_64", "available_architectures": [ "x86_64" ], "import_mode": "ephemeral-source-immutable", "annotation_policy": "atomic-function-entry-metadata-v1", "load_image_observations": "source-mappings-entry-context-v2", "function_body_evidence": "complete-inclusive-ranges-v1", "function_references": "complete-body-and-entry-reference-manager-v2", "call_relationship_coverage": "function-body-call-coverage-v5", "function_dossier_coverage": "observed-facets-and-call-relationships-v1", "string_inventory_evidence": "defined-data-coverage-v1", "location_resolution": "explicit-address-exact-entry-symbol-first-v3", "procedure_file_offset_resolution": "address-first-unique-target-source-mapping-v2", "instruction_flow_evidence": "decoded-return-pcode-v1", "instruction_references": "exact-address-incoming-without-synthetic-entry-v2", "function_boundary_observations": "ghidra-function-boundary-limitations-v4", "no_return_repair": "returning-imports-decoded-return-v2", "process_launch": "inspected-jvm-launch-support-v1", "jump_table_evidence": "typed-case-default-blocks-v1", "decompiler_jump_loads": true, "loader": "auto-from-header", "language_id": "auto-from-header", "compiler_spec_id": "auto-default", "analyzer_preset": "ghidra-default" }, "digest": "769518a8e9b57f953dd241adbb63672f0f486bb3d66359b9deef7c5e088ca7aa" }, "predicate_type": "rea.analysis", "operation": "analyze_function", "parameters": { "procedure": "0x10124d" }, "raw_result": { "value": { "procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true }, "signature": "undefined FUN_0010124d()", "locals": [ { "description": "undefined8 local_30 @ Stack[-0x30]:8", "provenance": "ghidra-function-database" }, { "description": "undefined local_58 @ Stack[-0x58]:1", "provenance": "ghidra-function-database" }, { "description": "undefined4 local_e8 @ Stack[-0xe8]:4", "provenance": "ghidra-function-database" } ] }, "pseudocode": "\nundefined8 FUN_0010124d(void)\n\n{\n long lVar1;\n undefined8 uVar2;\n undefined1 *puVar3;\n undefined *puVar4;\n int *piVar5;\n undefined1 *puVar6;\n int iVar7;\n long in_FS_OFFSET;\n undefined1 local_e8 [144];\n undefined1 local_58 [40];\n long local_30;\n \n puVar6 = local_e8;\n local_30 = *(long *)(in_FS_OFFSET + 0x28);\n printf(\"What is the flag? \");\n puVar3 = local_58;\n __isoc99_scanf(&DAT_00102017,puVar3);\n iVar7 = 0;\n do {\n lVar1 = 0;\n do {\n *(int *)(puVar6 + lVar1 * 4) = (int)(char)puVar3[lVar1];\n lVar1 = lVar1 + 1;\n } while (lVar1 != 6);\n iVar7 = iVar7 + 6;\n puVar3 = puVar3 + 6;\n puVar6 = puVar6 + 0x18;\n } while (iVar7 != 0x24);\n puVar4 = &DAT_001040e0;\n piVar5 = &DAT_00104060;\n do {\n uVar2 = FUN_00101189(puVar4);\n iVar7 = FUN_00101217(local_e8,uVar2);\n if (*piVar5 != iVar7) {\n puts(\"Incorrect!\");\n /* WARNING: Subroutine does not return */\n exit(-1);\n }\n puVar4 = puVar4 + 0x18;\n piVar5 = piVar5 + 1;\n } while (puVar4 != &DAT_00104350);\n puts(\"Correct!\");\n if (local_30 == *(long *)(in_FS_OFFSET + 0x28)) {\n return 0;\n }\n /* WARNING: Subroutine does not return */\n __stack_chk_fail();\n}\n\n", "assembly": [ "0x10124d: PUSH R13", "0x10124f: PUSH R12", "0x101251: PUSH RBP", "0x101252: PUSH RBX", "0x101253: SUB RSP, 0xc8", "0x10125a: MOV RAX, qword ptr FS:[0x28]", "0x101263: MOV qword ptr [RSP + 0xb8], RAX", "0x10126b: XOR EAX, EAX", "0x10126d: LEA RDI, [0x102004]", "0x101274: CALL 0x00101050", "0x101279: LEA RBX, [RSP + 0x90]", "0x101281: MOV RSI, RBX", "0x101284: LEA RDI, [0x102017]", "0x10128b: MOV EAX, 0x0", "0x101290: CALL 0x00101070", "0x101295: MOV RCX, RBX", "0x101298: MOV RSI, RSP", "0x10129b: MOV EDI, 0x0", "0x1012a0: MOV EAX, 0x0", "0x1012a5: MOVSX EDX, byte ptr [RCX + RAX*0x1]", "0x1012a9: MOV dword ptr [RSI + RAX*0x4], EDX", "0x1012ac: ADD RAX, 0x1", "0x1012b0: CMP RAX, 0x6", "0x1012b4: JNZ 0x001012a5", "0x1012b6: ADD EDI, 0x6", "0x1012b9: ADD RCX, 0x6", "0x1012bd: ADD RSI, 0x18", "0x1012c1: CMP EDI, 0x24", "0x1012c4: JNZ 0x001012a0", "0x1012c6: LEA RBX, [0x1040e0]", "0x1012cd: LEA RBP, [0x104060]", "0x1012d4: LEA R13, [RBX + 0x270]", "0x1012db: MOV R12, RSP", "0x1012de: MOV RDI, RBX", "0x1012e1: CALL 0x00101189", "0x1012e6: MOV RSI, RAX", "0x1012e9: MOV RDI, R12", "0x1012ec: CALL 0x00101217", "0x1012f1: CMP dword ptr [RBP], EAX", "0x1012f4: JNZ 0x00101335", "0x1012f6: ADD RBX, 0x18", "0x1012fa: ADD RBP, 0x4", "0x1012fe: CMP RBX, R13", "0x101301: JNZ 0x001012de", "0x101303: LEA RDI, [0x102027]", "0x10130a: CALL 0x00101030", "0x10130f: MOV RAX, qword ptr [RSP + 0xb8]", "0x101317: SUB RAX, qword ptr FS:[0x28]", "0x101320: JNZ 0x0010134b", "0x101322: MOV EAX, 0x0", "0x101327: ADD RSP, 0xc8", "0x10132e: POP RBX", "0x10132f: POP RBP", "0x101330: POP R12", "0x101332: POP R13", "0x101334: RET", "0x101335: LEA RDI, [0x10201c]", "0x10133c: CALL 0x00101030", "0x101341: MOV EDI, 0xffffffff", "0x101346: CALL 0x00101080", "0x10134b: CALL 0x00101040" ], "comments": [], "callers": [], "callees": [ { "address": "0x101030", "name": "::puts", "classification": { "external": false, "thunk": true, "thunk_target": "0x105010", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101030", "end": "0x101035" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101040", "name": "::__stack_chk_fail", "classification": { "external": false, "thunk": true, "thunk_target": "0x105018", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101040", "end": "0x101045" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101050", "name": "::printf", "classification": { "external": false, "thunk": true, "thunk_target": "0x105020", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101050", "end": "0x101055" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101070", "name": "::__isoc99_scanf", "classification": { "external": false, "thunk": true, "thunk_target": "0x105038", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101070", "end": "0x101075" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101080", "name": "::exit", "classification": { "external": false, "thunk": true, "thunk_target": "0x105040", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101080", "end": "0x101085" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101189", "name": "FUN_00101189", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101189", "end": "0x101216" } ], "total_bytes": 142, "span_bytes": 142, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101217", "name": "FUN_00101217", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101217", "end": "0x10124c" } ], "total_bytes": 54, "span_bytes": 54, "non_contiguous": false, "contains_entry": true } } ], "incoming_references": [ { "source_address": "0x1010a8", "target_address": "0x10124d", "source_procedure": { "address": "0x101090", "name": "entry", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101090", "end": "0x1010b5" } ], "total_bytes": 38, "span_bytes": 38, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x10205c", "target_address": "0x10124d", "source_procedure": null, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "INDIRECTION", "flow": true, "call": false, "jump": false, "data": false, "read": false, "write": false, "indirect": true, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x102104", "target_address": "0x10124d", "source_procedure": null, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } } ], "outgoing_references": [ { "source_address": "0x101263", "target_address": "stack:0xffffffffffffffd0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "WRITE", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": true, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x10126d", "target_address": "0x102004", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x101274", "target_address": "0x101050", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101050", "name": "::printf", "classification": { "external": false, "thunk": true, "thunk_target": "0x105020", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101050", "end": "0x101055" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101279", "target_address": "stack:0xffffffffffffffa8", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101284", "target_address": "0x102017", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x101290", "target_address": "0x101070", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101070", "name": "::__isoc99_scanf", "classification": { "external": false, "thunk": true, "thunk_target": "0x105038", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101070", "end": "0x101075" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012a5", "target_address": "stack:0xffffffffffffffa8", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x1012a9", "target_address": "stack:0xffffffffffffff18", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012b4", "target_address": "0x1012a5", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012c4", "target_address": "0x1012a0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012c6", "target_address": "0x1040e0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x1012cd", "target_address": "0x104060", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x1012d4", "target_address": "0x104350", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x1012de", "target_address": "0x1040e0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "PARAM", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012de", "target_address": "0x1040f8", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "PARAM", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": false, "operand_index": 0, "external": false } }, { "source_address": "0x1012e1", "target_address": "0x101189", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101189", "name": "FUN_00101189", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101189", "end": "0x101216" } ], "total_bytes": 142, "span_bytes": 142, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012ec", "target_address": "0x101217", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101217", "name": "FUN_00101217", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101217", "end": "0x10124c" } ], "total_bytes": 54, "span_bytes": 54, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012f1", "target_address": "0x104060", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "READ", "flow": false, "call": false, "jump": false, "data": true, "read": true, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012f4", "target_address": "0x101335", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101301", "target_address": "0x1012de", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101303", "target_address": "0x102027", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x10130a", "target_address": "0x101030", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101030", "name": "::puts", "classification": { "external": false, "thunk": true, "thunk_target": "0x105010", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101030", "end": "0x101035" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x10130f", "target_address": "stack:0xffffffffffffffd0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "READ", "flow": false, "call": false, "jump": false, "data": true, "read": true, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x101320", "target_address": "0x10134b", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101335", "target_address": "0x10201c", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x10133c", "target_address": "0x101030", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101030", "name": "::puts", "classification": { "external": false, "thunk": true, "thunk_target": "0x105010", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101030", "end": "0x101035" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101346", "target_address": "0x101080", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101080", "name": "::exit", "classification": { "external": false, "thunk": true, "thunk_target": "0x105040", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101080", "end": "0x101085" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x10134b", "target_address": "0x101040", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101040", "name": "::__stack_chk_fail", "classification": { "external": false, "thunk": true, "thunk_target": "0x105018", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101040", "end": "0x101045" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } } ], "referenced_strings": [ { "address": "0x102004", "value": "What is the flag? ", "source_address": "0x10126d" }, { "address": "0x10201c", "value": "Incorrect!", "source_address": "0x101335" }, { "address": "0x102027", "value": "Correct!", "source_address": "0x101303" } ], "referenced_names": [ { "address": "0x101030", "value": "::puts", "source_address": "0x10130a" }, { "address": "0x101030", "value": "::puts", "source_address": "0x10133c" }, { "address": "0x101040", "value": "::__stack_chk_fail", "source_address": "0x10134b" }, { "address": "0x101050", "value": "::printf", "source_address": "0x101274" }, { "address": "0x101070", "value": "::__isoc99_scanf", "source_address": "0x101290" }, { "address": "0x101080", "value": "::exit", "source_address": "0x101346" }, { "address": "0x101189", "value": "FUN_00101189", "source_address": "0x1012e1" }, { "address": "0x101217", "value": "FUN_00101217", "source_address": "0x1012ec" }, { "address": "0x1012a0", "value": "LAB_001012a0", "source_address": "0x1012c4" }, { "address": "0x1012a5", "value": "LAB_001012a5", "source_address": "0x1012b4" }, { "address": "0x1012de", "value": "LAB_001012de", "source_address": "0x101301" }, { "address": "0x101335", "value": "LAB_00101335", "source_address": "0x1012f4" }, { "address": "0x10134b", "value": "LAB_0010134b", "source_address": "0x101320" }, { "address": "0x102004", "value": "s_What_is_the_flag?_00102004", "source_address": "0x10126d" }, { "address": "0x102017", "value": "DAT_00102017", "source_address": "0x101284" }, { "address": "0x10201c", "value": "s_Incorrect!_0010201c", "source_address": "0x101335" }, { "address": "0x102027", "value": "s_Correct!_00102027", "source_address": "0x101303" }, { "address": "0x104060", "value": "DAT_00104060", "source_address": "0x1012cd" }, { "address": "0x104060", "value": "DAT_00104060", "source_address": "0x1012f1" }, { "address": "0x1040e0", "value": "DAT_001040e0", "source_address": "0x1012c6" }, { "address": "0x1040e0", "value": "DAT_001040e0", "source_address": "0x1012de" }, { "address": "0x1040f8", "value": "DAT_001040f8", "source_address": "0x1012de" }, { "address": "0x104350", "value": "DAT_00104350", "source_address": "0x1012d4" } ], "basic_blocks": [ { "start": "0x10124d", "end": "0x1012a0", "successors": [ "0x1012a0" ] }, { "start": "0x1012a0", "end": "0x1012a5", "successors": [ "0x1012a5" ] }, { "start": "0x1012a5", "end": "0x1012b6", "successors": [ "0x1012a5", "0x1012b6" ] }, { "start": "0x1012b6", "end": "0x1012c6", "successors": [ "0x1012a0", "0x1012c6" ] }, { "start": "0x1012c6", "end": "0x1012de", "successors": [ "0x1012de" ] }, { "start": "0x1012de", "end": "0x1012f6", "successors": [ "0x1012f6", "0x101335" ] }, { "start": "0x1012f6", "end": "0x101303", "successors": [ "0x1012de", "0x101303" ] }, { "start": "0x101303", "end": "0x101322", "successors": [ "0x101322", "0x10134b" ] }, { "start": "0x101322", "end": "0x101335", "successors": [] }, { "start": "0x101335", "end": "0x10134b", "successors": [] }, { "start": "0x10134b", "end": "0x101350", "successors": [] } ], "native_api": { "available": true, "provenance": "ghidra-high-function", "signature_source": "default", "calling_convention": "__stdcall", "return_type": { "role": "return", "ordinal": null, "name": null, "data_type": "undefined8", "size_bytes": 8, "storage": "RAX:8", "confidence": "low", "evidence": [ { "kind": "signature-source", "source": "ghidra-function-manager", "detail": "Function signature source is default." }, { "kind": "decompiler-type", "source": "ghidra-high-function", "detail": "HighFunction recovered data type undefined8." } ], "decompiler_artifacts": [ "recovered-signature", "register-or-stack-storage" ] }, "parameters": [], "jump_tables": [], "pseudocode": { "classification": "decompiler-generated-non-source", "compilable": false }, "decompiler_artifacts": [ "recovered-signature", "register-and-stack-variables", "compiler-generated-control-flow", "pointer-arithmetic", "pseudocode" ], "limitations": [ "Types and calling conventions are Ghidra decompiler observations, not source declarations.", "Register variables, compiler-generated blocks, and pointer arithmetic remain decompiler artifacts.", "Pseudocode is neither original source nor guaranteed to compile." ] }, "native_value_flow": { "available": true, "provenance": "ghidra-high-pcode", "operations": [ { "id": "0x101253#592", "address": "0x101253", "sequence": 592, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "ffffffffffffff18" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null } }, { "id": "0x101253#593", "address": "0x101253", "sequence": 593, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "ffffffffffffff18" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null } }, { "id": "0x10125a#21", "address": "0x10125a", "sequence": 21, "opcode": "INT_ADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "28" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x10000119", "constant_hex": null } }, { "id": "0x10125a#22", "address": "0x10125a", "sequence": 22, "opcode": "LOAD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "unique", "size_bytes": 8, "location": "unique:0xc800", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x23d00", "constant_hex": null } }, { "id": "0x10125a#596", "address": "0x10125a", "sequence": 596, "opcode": "CAST", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0x10000119", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0xc800", "constant_hex": null } }, { "id": "0x101274#40", "address": "0x101274", "sequence": 40, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101050", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000d1", "constant_hex": null } ], "output": null }, { "id": "0x101274#401", "address": "0x101274", "sequence": 401, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "28" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x101274#519", "address": "0x101274", "sequence": 519, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0x23d00", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "28" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x101274#587", "address": "0x101274", "sequence": 587, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "102004" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000d1", "constant_hex": null } }, { "id": "0x101279#594", "address": "0x101279", "sequence": 594, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "ffffffffffffffa8" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0xa500", "constant_hex": null } }, { "id": "0x101290#48", "address": "0x101290", "sequence": 48, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101070", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000d9", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0xa500", "constant_hex": null } ], "output": null }, { "id": "0x101290#402", "address": "0x101290", "sequence": 402, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "30" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x101290#520", "address": "0x101290", "sequence": 520, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "30" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x101290#588", "address": "0x101290", "sequence": 588, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "102017" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000d9", "constant_hex": null } }, { "id": "0x10129b#494", "address": "0x10129b", "sequence": 494, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "0" } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null } }, { "id": "0x1012a0#52", "address": "0x1012a0", "sequence": 52, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012a0#351", "address": "0x1012a0", "sequence": 351, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0xa500", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null } }, { "id": "0x1012a0#379", "address": "0x1012a0", "sequence": 379, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null } }, { "id": "0x1012a0#491", "address": "0x1012a0", "sequence": 491, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null }, { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null } }, { "id": "0x1012a0#531", "address": "0x1012a0", "sequence": 531, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012a5#54", "address": "0x1012a5", "sequence": 54, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x9400", "constant_hex": null } }, { "id": "0x1012a5#55", "address": "0x1012a5", "sequence": 55, "opcode": "LOAD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x9400", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 1, "location": "unique:0x23a00", "constant_hex": null } }, { "id": "0x1012a5#56", "address": "0x1012a5", "sequence": 56, "opcode": "INT_SEXT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 1, "location": "unique:0x10000121", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x10", "constant_hex": null } }, { "id": "0x1012a5#340", "address": "0x1012a5", "sequence": 340, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012a5#530", "address": "0x1012a5", "sequence": 530, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012a5#597", "address": "0x1012a5", "sequence": 597, "opcode": "CAST", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 1, "location": "unique:0x23a00", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 1, "location": "unique:0x10000121", "constant_hex": null } }, { "id": "0x1012a9#58", "address": "0x1012a9", "sequence": 58, "opcode": "INT_MULT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "4" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x9200", "constant_hex": null } }, { "id": "0x1012a9#59", "address": "0x1012a9", "sequence": 59, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x9200", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x9400", "constant_hex": null } }, { "id": "0x1012a9#61", "address": "0x1012a9", "sequence": 61, "opcode": "STORE", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x10000122", "constant_hex": null }, { "kind": "register", "size_bytes": 4, "location": "register:0x10", "constant_hex": null } ], "output": null }, { "id": "0x1012a9#527", "address": "0x1012a9", "sequence": 527, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "3d" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012a9#598", "address": "0x1012a9", "sequence": 598, "opcode": "CAST", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0x9400", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x10000122", "constant_hex": null } }, { "id": "0x1012ac#64", "address": "0x1012ac", "sequence": 64, "opcode": "INT_ADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012b0#76", "address": "0x1012b0", "sequence": 76, "opcode": "INT_NOTEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "6" } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x1012b4#82", "address": "0x1012b4", "sequence": 82, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x1012a5", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x1012b6#85", "address": "0x1012b6", "sequence": 85, "opcode": "INT_ADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "6" } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null } }, { "id": "0x1012b9#95", "address": "0x1012b9", "sequence": 95, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "6" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null } }, { "id": "0x1012bd#104", "address": "0x1012bd", "sequence": 104, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "18" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null } }, { "id": "0x1012c1#116", "address": "0x1012c1", "sequence": 116, "opcode": "INT_NOTEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "24" } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x1012c4#122", "address": "0x1012c4", "sequence": 122, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x1012a0", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x1012c6#123", "address": "0x1012c6", "sequence": 123, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1040e0" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } }, { "id": "0x1012cd#124", "address": "0x1012cd", "sequence": 124, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "104060" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } }, { "id": "0x1012de#367", "address": "0x1012de", "sequence": 367, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } }, { "id": "0x1012de#369", "address": "0x1012de", "sequence": 369, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } }, { "id": "0x1012de#409", "address": "0x1012de", "sequence": 409, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x1012de#529", "address": "0x1012de", "sequence": 529, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012e1#131", "address": "0x1012e1", "sequence": 131, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101189", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012e1#403", "address": "0x1012e1", "sequence": 403, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "83" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x1012e1#521", "address": "0x1012e1", "sequence": 521, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "83" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012ec#136", "address": "0x1012ec", "sequence": 136, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101217", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012ec#404", "address": "0x1012ec", "sequence": 404, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "88" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x1012ec#522", "address": "0x1012ec", "sequence": 522, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "88" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012f1#137", "address": "0x1012f1", "sequence": 137, "opcode": "LOAD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 4, "location": "unique:0x23c00", "constant_hex": null } }, { "id": "0x1012f1#143", "address": "0x1012f1", "sequence": 143, "opcode": "INT_NOTEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 4, "location": "unique:0x23c00", "constant_hex": null }, { "kind": "register", "size_bytes": 4, "location": "register:0x0", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x1012f4#149", "address": "0x1012f4", "sequence": 149, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x101335", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x1012f6#152", "address": "0x1012f6", "sequence": 152, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "18" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } }, { "id": "0x1012fa#595", "address": "0x1012fa", "sequence": 595, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "4" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } }, { "id": "0x1012fe#173", "address": "0x1012fe", "sequence": 173, "opcode": "INT_NOTEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000f1", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x1012fe#591", "address": "0x1012fe", "sequence": 591, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "104350" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000f1", "constant_hex": null } }, { "id": "0x101301#179", "address": "0x101301", "sequence": 179, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x1012de", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x10130a#183", "address": "0x10130a", "sequence": 183, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101030", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000e9", "constant_hex": null } ], "output": null }, { "id": "0x10130a#407", "address": "0x10130a", "sequence": 407, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "b7" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x10130a#525", "address": "0x10130a", "sequence": 525, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "b7" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x10130a#590", "address": "0x10130a", "sequence": 590, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "102027" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000e9", "constant_hex": null } }, { "id": "0x101317#187", "address": "0x101317", "sequence": 187, "opcode": "INT_ADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "28" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x1000012a", "constant_hex": null } }, { "id": "0x101317#192", "address": "0x101317", "sequence": 192, "opcode": "LOAD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "unique", "size_bytes": 8, "location": "unique:0xc800", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x23d00", "constant_hex": null } }, { "id": "0x101317#195", "address": "0x101317", "sequence": 195, "opcode": "INT_EQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x23d00", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x101317#599", "address": "0x101317", "sequence": 599, "opcode": "CAST", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0x1000012a", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0xc800", "constant_hex": null } }, { "id": "0x101320#201", "address": "0x101320", "sequence": 201, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x10134b", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x101322#202", "address": "0x101322", "sequence": 202, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x101334#230", "address": "0x101334", "sequence": 230, "opcode": "RETURN", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } ], "output": null }, { "id": "0x10133c#239", "address": "0x10133c", "sequence": 239, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101030", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000e1", "constant_hex": null } ], "output": null }, { "id": "0x10133c#523", "address": "0x10133c", "sequence": 523, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "ef" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x10133c#589", "address": "0x10133c", "sequence": 589, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "10201c" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000e1", "constant_hex": null } }, { "id": "0x101346#243", "address": "0x101346", "sequence": 243, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101080", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "ffffffff" } ], "output": null }, { "id": "0x101346#245", "address": "0x101346", "sequence": 245, "opcode": "RETURN", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1" } ], "output": null }, { "id": "0x101346#524", "address": "0x101346", "sequence": 524, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "f3" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x10134b#233", "address": "0x10134b", "sequence": 233, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101040", "constant_hex": null } ], "output": null }, { "id": "0x10134b#235", "address": "0x10134b", "sequence": 235, "opcode": "RETURN", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1" } ], "output": null }, { "id": "0x10134b#526", "address": "0x10134b", "sequence": 526, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "e9" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } } ], "def_use": [ { "definition": "0x10125a#596", "use": "0x10125a#22", "input_index": 1 }, { "definition": "0x10125a#21", "use": "0x10125a#596", "input_index": 0 }, { "definition": "0x101274#587", "use": "0x101274#40", "input_index": 1 }, { "definition": "0x10125a#22", "use": "0x101274#519", "input_index": 0 }, { "definition": "0x101290#588", "use": "0x101290#48", "input_index": 1 }, { "definition": "0x101279#594", "use": "0x101290#48", "input_index": 2 }, { "definition": "0x101274#401", "use": "0x101290#402", "input_index": 0 }, { "definition": "0x101274#519", "use": "0x101290#520", "input_index": 0 }, { "definition": "0x101279#594", "use": "0x1012a0#351", "input_index": 0 }, { "definition": "0x1012b9#95", "use": "0x1012a0#351", "input_index": 1 }, { "definition": "0x101253#592", "use": "0x1012a0#379", "input_index": 0 }, { "definition": "0x1012bd#104", "use": "0x1012a0#379", "input_index": 1 }, { "definition": "0x10129b#494", "use": "0x1012a0#491", "input_index": 0 }, { "definition": "0x1012b6#85", "use": "0x1012a0#491", "input_index": 1 }, { "definition": "0x101290#520", "use": "0x1012a0#531", "input_index": 0 }, { "definition": "0x1012a9#527", "use": "0x1012a0#531", "input_index": 1 }, { "definition": "0x1012a0#351", "use": "0x1012a5#54", "input_index": 0 }, { "definition": "0x1012a5#340", "use": "0x1012a5#54", "input_index": 1 }, { "definition": "0x1012a5#54", "use": "0x1012a5#55", "input_index": 1 }, { "definition": "0x1012a5#597", "use": "0x1012a5#56", "input_index": 0 }, { "definition": "0x1012a0#52", "use": "0x1012a5#340", "input_index": 0 }, { "definition": "0x1012ac#64", "use": "0x1012a5#340", "input_index": 1 }, { "definition": "0x1012a0#531", "use": "0x1012a5#530", "input_index": 0 }, { "definition": "0x1012a9#527", "use": "0x1012a5#530", "input_index": 1 }, { "definition": "0x1012a5#55", "use": "0x1012a5#597", "input_index": 0 }, { "definition": "0x1012a5#340", "use": "0x1012a9#58", "input_index": 0 }, { "definition": "0x1012a0#379", "use": "0x1012a9#59", "input_index": 0 }, { "definition": "0x1012a9#58", "use": "0x1012a9#59", "input_index": 1 }, { "definition": "0x1012a9#598", "use": "0x1012a9#61", "input_index": 1 }, { "definition": "0x1012a5#56", "use": "0x1012a9#61", "input_index": 2 }, { "definition": "0x1012a5#530", "use": "0x1012a9#527", "input_index": 0 }, { "definition": "0x1012a9#59", "use": "0x1012a9#598", "input_index": 0 }, { "definition": "0x1012a5#340", "use": "0x1012ac#64", "input_index": 0 }, { "definition": "0x1012ac#64", "use": "0x1012b0#76", "input_index": 0 }, { "definition": "0x1012b0#76", "use": "0x1012b4#82", "input_index": 1 }, { "definition": "0x1012a0#491", "use": "0x1012b6#85", "input_index": 0 }, { "definition": "0x1012a0#351", "use": "0x1012b9#95", "input_index": 0 }, { "definition": "0x1012a0#379", "use": "0x1012bd#104", "input_index": 0 }, { "definition": "0x1012b6#85", "use": "0x1012c1#116", "input_index": 0 }, { "definition": "0x1012c1#116", "use": "0x1012c4#122", "input_index": 1 }, { "definition": "0x1012c6#123", "use": "0x1012de#367", "input_index": 0 }, { "definition": "0x1012f6#152", "use": "0x1012de#367", "input_index": 1 }, { "definition": "0x1012cd#124", "use": "0x1012de#369", "input_index": 0 }, { "definition": "0x1012fa#595", "use": "0x1012de#369", "input_index": 1 }, { "definition": "0x101290#402", "use": "0x1012de#409", "input_index": 0 }, { "definition": "0x1012ec#404", "use": "0x1012de#409", "input_index": 1 }, { "definition": "0x1012a9#527", "use": "0x1012de#529", "input_index": 0 }, { "definition": "0x1012ec#522", "use": "0x1012de#529", "input_index": 1 }, { "definition": "0x1012de#367", "use": "0x1012e1#131", "input_index": 1 }, { "definition": "0x1012de#409", "use": "0x1012e1#403", "input_index": 0 }, { "definition": "0x1012de#529", "use": "0x1012e1#521", "input_index": 0 }, { "definition": "0x101253#593", "use": "0x1012ec#136", "input_index": 1 }, { "definition": "0x1012e1#131", "use": "0x1012ec#136", "input_index": 2 }, { "definition": "0x1012e1#403", "use": "0x1012ec#404", "input_index": 0 }, { "definition": "0x1012e1#521", "use": "0x1012ec#522", "input_index": 0 }, { "definition": "0x1012de#369", "use": "0x1012f1#137", "input_index": 1 }, { "definition": "0x1012f1#137", "use": "0x1012f1#143", "input_index": 0 }, { "definition": "0x1012ec#136", "use": "0x1012f1#143", "input_index": 1 }, { "definition": "0x1012f1#143", "use": "0x1012f4#149", "input_index": 1 }, { "definition": "0x1012de#367", "use": "0x1012f6#152", "input_index": 0 }, { "definition": "0x1012de#369", "use": "0x1012fa#595", "input_index": 0 }, { "definition": "0x1012f6#152", "use": "0x1012fe#173", "input_index": 0 }, { "definition": "0x1012fe#591", "use": "0x1012fe#173", "input_index": 1 }, { "definition": "0x1012fe#173", "use": "0x101301#179", "input_index": 1 }, { "definition": "0x10130a#590", "use": "0x10130a#183", "input_index": 1 }, { "definition": "0x1012ec#404", "use": "0x10130a#407", "input_index": 0 }, { "definition": "0x1012ec#522", "use": "0x10130a#525", "input_index": 0 }, { "definition": "0x10130a#407", "use": "0x101317#187", "input_index": 0 }, { "definition": "0x101317#599", "use": "0x101317#192", "input_index": 1 }, { "definition": "0x10130a#525", "use": "0x101317#195", "input_index": 0 }, { "definition": "0x101317#192", "use": "0x101317#195", "input_index": 1 }, { "definition": "0x101317#187", "use": "0x101317#599", "input_index": 0 }, { "definition": "0x101317#195", "use": "0x101320#201", "input_index": 1 }, { "definition": "0x101322#202", "use": "0x101334#230", "input_index": 1 }, { "definition": "0x10133c#589", "use": "0x10133c#239", "input_index": 1 }, { "definition": "0x1012ec#522", "use": "0x10133c#523", "input_index": 0 }, { "definition": "0x10133c#523", "use": "0x101346#524", "input_index": 0 }, { "definition": "0x10130a#525", "use": "0x10134b#526", "input_index": 0 } ], "parameters": [], "parameter_uses": [], "effects": [ { "operation": "0x10125a#22", "kind": "memory_read", "operand_input": 1, "value_input": null }, { "operation": "0x101274#40", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x101290#48", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x1012a5#55", "kind": "memory_read", "operand_input": 1, "value_input": null }, { "operation": "0x1012a9#61", "kind": "memory_write", "operand_input": 1, "value_input": 2 }, { "operation": "0x1012b4#82", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x1012c4#122", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x1012e1#131", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x1012ec#136", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x1012f1#137", "kind": "memory_read", "operand_input": 1, "value_input": null }, { "operation": "0x1012f4#149", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x101301#179", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x10130a#183", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x101317#192", "kind": "memory_read", "operand_input": 1, "value_input": null }, { "operation": "0x101320#201", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x10133c#239", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x101346#243", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x10134b#233", "kind": "direct_call", "operand_input": 0, "value_input": null } ], "truncated": false, "omitted_operations_lower_bound": 0, "known_omitted_inputs": 0, "known_omitted_edges": 0, "limitations": [ "High p-code is decompiler-derived, not original source or runtime behavior. is_dead preserves the Java AST flag; decoded block members can retain that flag, so block_membership separately reports actual syntax-tree membership.", "Def-use links do not cross function boundaries and may omit memory aliasing, call side effects, or unresolved indirect flow.", "Memory read/write effects include stack and temporary memory operations; they do not identify persistent state or business meaning.", "Operation, input, and def-use limits can truncate large functions; inspect truncation, omitted lower bounds, and known omitted counts before drawing conclusions.", "Known omitted-edge counts cover links omitted from retained operations; omitted operations may contain additional uncounted links." ] }, "facet_availability": { "pseudocode": { "available": true }, "comments": { "available": true }, "callers": { "available": true }, "callees": { "available": true }, "references": { "available": true }, "strings_names": { "available": true }, "cfg": { "available": true }, "assembly": { "available": true } }, "unresolved_calls": [], "limitations": [ "Unresolved computed or indirect flows without target addresses are not represented as reference edges.", "Thunk and external classifications are Ghidra FunctionManager observations; they do not resolve targetless calls.", "Pseudocode and assembly are Ghidra-specific representations, not original source or Hopper-equivalent text.", "Synthetic Ghidra entry-point references without actionable memory sources are omitted.", "Ghidra Listing reports a terminal call at 0x101346 to 0x101080 ::exit (external=false, thunk=true, hasNoReturn=true); fallthrough is excluded by Ghidra's flow model. This records Ghidra's FunctionManager flag, not an independent verification that the callee cannot return.", "Ghidra Listing reports a terminal call at 0x10134b to 0x101040 ::__stack_chk_fail (external=false, thunk=true, hasNoReturn=true); fallthrough is excluded by Ghidra's flow model. This records Ghidra's FunctionManager flag, not an independent verification that the callee cannot return." ] }, "limitations": [ "Ghidra Listing reports a terminal call at 0x101346 to 0x101080 ::exit (external=false, thunk=true, hasNoReturn=true); fallthrough is excluded by Ghidra's flow model. This records Ghidra's FunctionManager flag, not an independent verification that the callee cannot return.", "Ghidra Listing reports a terminal call at 0x10134b to 0x101040 ::__stack_chk_fail (external=false, thunk=true, hasNoReturn=true); fallthrough is excluded by Ghidra's flow model. This records Ghidra's FunctionManager flag, not an independent verification that the callee cannot return." ], "relationship_coverage": { "status": "complete", "diagnostics": [ "Only resolved Ghidra call references are returned; unresolved computed or indirect calls remain unknown, while function classifications distinguish thunks and externals." ] } }, "normalized_result": { "procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true }, "signature": "undefined FUN_0010124d()", "locals": [ { "description": "undefined8 local_30 @ Stack[-0x30]:8", "provenance": "ghidra-function-database" }, { "description": "undefined local_58 @ Stack[-0x58]:1", "provenance": "ghidra-function-database" }, { "description": "undefined4 local_e8 @ Stack[-0xe8]:4", "provenance": "ghidra-function-database" } ] }, "pseudocode": "\nundefined8 FUN_0010124d(void)\n\n{\n long lVar1;\n undefined8 uVar2;\n undefined1 *puVar3;\n undefined *puVar4;\n int *piVar5;\n undefined1 *puVar6;\n int iVar7;\n long in_FS_OFFSET;\n undefined1 local_e8 [144];\n undefined1 local_58 [40];\n long local_30;\n \n puVar6 = local_e8;\n local_30 = *(long *)(in_FS_OFFSET + 0x28);\n printf(\"What is the flag? \");\n puVar3 = local_58;\n __isoc99_scanf(&DAT_00102017,puVar3);\n iVar7 = 0;\n do {\n lVar1 = 0;\n do {\n *(int *)(puVar6 + lVar1 * 4) = (int)(char)puVar3[lVar1];\n lVar1 = lVar1 + 1;\n } while (lVar1 != 6);\n iVar7 = iVar7 + 6;\n puVar3 = puVar3 + 6;\n puVar6 = puVar6 + 0x18;\n } while (iVar7 != 0x24);\n puVar4 = &DAT_001040e0;\n piVar5 = &DAT_00104060;\n do {\n uVar2 = FUN_00101189(puVar4);\n iVar7 = FUN_00101217(local_e8,uVar2);\n if (*piVar5 != iVar7) {\n puts(\"Incorrect!\");\n /* WARNING: Subroutine does not return */\n exit(-1);\n }\n puVar4 = puVar4 + 0x18;\n piVar5 = piVar5 + 1;\n } while (puVar4 != &DAT_00104350);\n puts(\"Correct!\");\n if (local_30 == *(long *)(in_FS_OFFSET + 0x28)) {\n return 0;\n }\n /* WARNING: Subroutine does not return */\n __stack_chk_fail();\n}\n\n", "assembly": [ "0x10124d: PUSH R13", "0x10124f: PUSH R12", "0x101251: PUSH RBP", "0x101252: PUSH RBX", "0x101253: SUB RSP, 0xc8", "0x10125a: MOV RAX, qword ptr FS:[0x28]", "0x101263: MOV qword ptr [RSP + 0xb8], RAX", "0x10126b: XOR EAX, EAX", "0x10126d: LEA RDI, [0x102004]", "0x101274: CALL 0x00101050", "0x101279: LEA RBX, [RSP + 0x90]", "0x101281: MOV RSI, RBX", "0x101284: LEA RDI, [0x102017]", "0x10128b: MOV EAX, 0x0", "0x101290: CALL 0x00101070", "0x101295: MOV RCX, RBX", "0x101298: MOV RSI, RSP", "0x10129b: MOV EDI, 0x0", "0x1012a0: MOV EAX, 0x0", "0x1012a5: MOVSX EDX, byte ptr [RCX + RAX*0x1]", "0x1012a9: MOV dword ptr [RSI + RAX*0x4], EDX", "0x1012ac: ADD RAX, 0x1", "0x1012b0: CMP RAX, 0x6", "0x1012b4: JNZ 0x001012a5", "0x1012b6: ADD EDI, 0x6", "0x1012b9: ADD RCX, 0x6", "0x1012bd: ADD RSI, 0x18", "0x1012c1: CMP EDI, 0x24", "0x1012c4: JNZ 0x001012a0", "0x1012c6: LEA RBX, [0x1040e0]", "0x1012cd: LEA RBP, [0x104060]", "0x1012d4: LEA R13, [RBX + 0x270]", "0x1012db: MOV R12, RSP", "0x1012de: MOV RDI, RBX", "0x1012e1: CALL 0x00101189", "0x1012e6: MOV RSI, RAX", "0x1012e9: MOV RDI, R12", "0x1012ec: CALL 0x00101217", "0x1012f1: CMP dword ptr [RBP], EAX", "0x1012f4: JNZ 0x00101335", "0x1012f6: ADD RBX, 0x18", "0x1012fa: ADD RBP, 0x4", "0x1012fe: CMP RBX, R13", "0x101301: JNZ 0x001012de", "0x101303: LEA RDI, [0x102027]", "0x10130a: CALL 0x00101030", "0x10130f: MOV RAX, qword ptr [RSP + 0xb8]", "0x101317: SUB RAX, qword ptr FS:[0x28]", "0x101320: JNZ 0x0010134b", "0x101322: MOV EAX, 0x0", "0x101327: ADD RSP, 0xc8", "0x10132e: POP RBX", "0x10132f: POP RBP", "0x101330: POP R12", "0x101332: POP R13", "0x101334: RET", "0x101335: LEA RDI, [0x10201c]", "0x10133c: CALL 0x00101030", "0x101341: MOV EDI, 0xffffffff", "0x101346: CALL 0x00101080", "0x10134b: CALL 0x00101040" ], "comments": [], "callers": [], "callees": [ { "address": "0x101030", "name": "::puts", "classification": { "external": false, "thunk": true, "thunk_target": "0x105010", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101030", "end": "0x101035" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101040", "name": "::__stack_chk_fail", "classification": { "external": false, "thunk": true, "thunk_target": "0x105018", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101040", "end": "0x101045" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101050", "name": "::printf", "classification": { "external": false, "thunk": true, "thunk_target": "0x105020", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101050", "end": "0x101055" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101070", "name": "::__isoc99_scanf", "classification": { "external": false, "thunk": true, "thunk_target": "0x105038", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101070", "end": "0x101075" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101080", "name": "::exit", "classification": { "external": false, "thunk": true, "thunk_target": "0x105040", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101080", "end": "0x101085" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101189", "name": "FUN_00101189", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101189", "end": "0x101216" } ], "total_bytes": 142, "span_bytes": 142, "non_contiguous": false, "contains_entry": true } }, { "address": "0x101217", "name": "FUN_00101217", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101217", "end": "0x10124c" } ], "total_bytes": 54, "span_bytes": 54, "non_contiguous": false, "contains_entry": true } } ], "incoming_references": [ { "source_address": "0x1010a8", "target_address": "0x10124d", "source_procedure": { "address": "0x101090", "name": "entry", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101090", "end": "0x1010b5" } ], "total_bytes": 38, "span_bytes": 38, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x10205c", "target_address": "0x10124d", "source_procedure": null, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "INDIRECTION", "flow": true, "call": false, "jump": false, "data": false, "read": false, "write": false, "indirect": true, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x102104", "target_address": "0x10124d", "source_procedure": null, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } } ], "outgoing_references": [ { "source_address": "0x101263", "target_address": "stack:0xffffffffffffffd0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "WRITE", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": true, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x10126d", "target_address": "0x102004", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x101274", "target_address": "0x101050", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101050", "name": "::printf", "classification": { "external": false, "thunk": true, "thunk_target": "0x105020", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101050", "end": "0x101055" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101279", "target_address": "stack:0xffffffffffffffa8", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101284", "target_address": "0x102017", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x101290", "target_address": "0x101070", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101070", "name": "::__isoc99_scanf", "classification": { "external": false, "thunk": true, "thunk_target": "0x105038", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101070", "end": "0x101075" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012a5", "target_address": "stack:0xffffffffffffffa8", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x1012a9", "target_address": "stack:0xffffffffffffff18", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012b4", "target_address": "0x1012a5", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012c4", "target_address": "0x1012a0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012c6", "target_address": "0x1040e0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x1012cd", "target_address": "0x104060", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x1012d4", "target_address": "0x104350", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x1012de", "target_address": "0x1040e0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "PARAM", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012de", "target_address": "0x1040f8", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "PARAM", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": false, "operand_index": 0, "external": false } }, { "source_address": "0x1012e1", "target_address": "0x101189", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101189", "name": "FUN_00101189", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101189", "end": "0x101216" } ], "total_bytes": 142, "span_bytes": 142, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012ec", "target_address": "0x101217", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101217", "name": "FUN_00101217", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101217", "end": "0x10124c" } ], "total_bytes": 54, "span_bytes": 54, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012f1", "target_address": "0x104060", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "READ", "flow": false, "call": false, "jump": false, "data": true, "read": true, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x1012f4", "target_address": "0x101335", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101301", "target_address": "0x1012de", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101303", "target_address": "0x102027", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x10130a", "target_address": "0x101030", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101030", "name": "::puts", "classification": { "external": false, "thunk": true, "thunk_target": "0x105010", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101030", "end": "0x101035" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x10130f", "target_address": "stack:0xffffffffffffffd0", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "READ", "flow": false, "call": false, "jump": false, "data": true, "read": true, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x101320", "target_address": "0x10134b", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "CONDITIONAL_JUMP", "flow": true, "call": false, "jump": true, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": true, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101335", "target_address": "0x10201c", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": null, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "DATA", "flow": false, "call": false, "jump": false, "data": true, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 1, "external": false } }, { "source_address": "0x10133c", "target_address": "0x101030", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101030", "name": "::puts", "classification": { "external": false, "thunk": true, "thunk_target": "0x105010", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101030", "end": "0x101035" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x101346", "target_address": "0x101080", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101080", "name": "::exit", "classification": { "external": false, "thunk": true, "thunk_target": "0x105040", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101080", "end": "0x101085" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } }, { "source_address": "0x10134b", "target_address": "0x101040", "source_procedure": { "address": "0x10124d", "name": "FUN_0010124d", "classification": { "external": false, "thunk": false, "thunk_target": null, "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x10124d", "end": "0x10134f" } ], "total_bytes": 259, "span_bytes": 259, "non_contiguous": false, "contains_entry": true } }, "target_procedure": { "address": "0x101040", "name": "::__stack_chk_fail", "classification": { "external": false, "thunk": true, "thunk_target": "0x105018", "provenance": "ghidra-function-manager" }, "body": { "available": true, "provenance": "ghidra-function-body-address-set", "ranges": [ { "start": "0x101040", "end": "0x101045" } ], "total_bytes": 6, "span_bytes": 6, "non_contiguous": false, "contains_entry": true } }, "kind": { "available": true, "provenance": "ghidra-reference-manager", "type": "UNCONDITIONAL_CALL", "flow": true, "call": true, "jump": false, "data": false, "read": false, "write": false, "indirect": false, "computed": false, "conditional": false, "terminal": false, "primary": true, "operand_index": 0, "external": false } } ], "unresolved_calls": [], "referenced_strings": [ { "address": "0x102004", "value": "What is the flag? ", "source_address": "0x10126d" }, { "address": "0x10201c", "value": "Incorrect!", "source_address": "0x101335" }, { "address": "0x102027", "value": "Correct!", "source_address": "0x101303" } ], "referenced_names": [ { "address": "0x101030", "value": "::puts", "source_address": "0x10130a" }, { "address": "0x101030", "value": "::puts", "source_address": "0x10133c" }, { "address": "0x101040", "value": "::__stack_chk_fail", "source_address": "0x10134b" }, { "address": "0x101050", "value": "::printf", "source_address": "0x101274" }, { "address": "0x101070", "value": "::__isoc99_scanf", "source_address": "0x101290" }, { "address": "0x101080", "value": "::exit", "source_address": "0x101346" }, { "address": "0x101189", "value": "FUN_00101189", "source_address": "0x1012e1" }, { "address": "0x101217", "value": "FUN_00101217", "source_address": "0x1012ec" }, { "address": "0x1012a0", "value": "LAB_001012a0", "source_address": "0x1012c4" }, { "address": "0x1012a5", "value": "LAB_001012a5", "source_address": "0x1012b4" }, { "address": "0x1012de", "value": "LAB_001012de", "source_address": "0x101301" }, { "address": "0x101335", "value": "LAB_00101335", "source_address": "0x1012f4" }, { "address": "0x10134b", "value": "LAB_0010134b", "source_address": "0x101320" }, { "address": "0x102004", "value": "s_What_is_the_flag?_00102004", "source_address": "0x10126d" }, { "address": "0x102017", "value": "DAT_00102017", "source_address": "0x101284" }, { "address": "0x10201c", "value": "s_Incorrect!_0010201c", "source_address": "0x101335" }, { "address": "0x102027", "value": "s_Correct!_00102027", "source_address": "0x101303" }, { "address": "0x104060", "value": "DAT_00104060", "source_address": "0x1012cd" }, { "address": "0x104060", "value": "DAT_00104060", "source_address": "0x1012f1" }, { "address": "0x1040e0", "value": "DAT_001040e0", "source_address": "0x1012c6" }, { "address": "0x1040e0", "value": "DAT_001040e0", "source_address": "0x1012de" }, { "address": "0x1040f8", "value": "DAT_001040f8", "source_address": "0x1012de" }, { "address": "0x104350", "value": "DAT_00104350", "source_address": "0x1012d4" } ], "basic_blocks": [ { "start": "0x10124d", "end": "0x1012a0", "successors": [ "0x1012a0" ] }, { "start": "0x1012a0", "end": "0x1012a5", "successors": [ "0x1012a5" ] }, { "start": "0x1012a5", "end": "0x1012b6", "successors": [ "0x1012a5", "0x1012b6" ] }, { "start": "0x1012b6", "end": "0x1012c6", "successors": [ "0x1012a0", "0x1012c6" ] }, { "start": "0x1012c6", "end": "0x1012de", "successors": [ "0x1012de" ] }, { "start": "0x1012de", "end": "0x1012f6", "successors": [ "0x1012f6", "0x101335" ] }, { "start": "0x1012f6", "end": "0x101303", "successors": [ "0x1012de", "0x101303" ] }, { "start": "0x101303", "end": "0x101322", "successors": [ "0x101322", "0x10134b" ] }, { "start": "0x101322", "end": "0x101335", "successors": [] }, { "start": "0x101335", "end": "0x10134b", "successors": [] }, { "start": "0x10134b", "end": "0x101350", "successors": [] } ], "native_api": { "available": true, "provenance": "ghidra-high-function", "signature_source": "default", "calling_convention": "__stdcall", "return_type": { "ordinal": null, "name": null, "data_type": "undefined8", "size_bytes": 8, "storage": "RAX:8", "confidence": "low", "evidence": [ { "kind": "signature-source", "source": "ghidra-function-manager", "detail": "Function signature source is default." }, { "kind": "decompiler-type", "source": "ghidra-high-function", "detail": "HighFunction recovered data type undefined8." } ], "decompiler_artifacts": [ "recovered-signature", "register-or-stack-storage" ], "role": "return" }, "parameters": [], "jump_tables": [], "pseudocode": { "classification": "decompiler-generated-non-source", "compilable": false }, "decompiler_artifacts": [ "recovered-signature", "register-and-stack-variables", "compiler-generated-control-flow", "pointer-arithmetic", "pseudocode" ], "limitations": [ "Types and calling conventions are Ghidra decompiler observations, not source declarations.", "Register variables, compiler-generated blocks, and pointer arithmetic remain decompiler artifacts.", "Pseudocode is neither original source nor guaranteed to compile." ] }, "native_value_flow": { "available": true, "provenance": "ghidra-high-pcode", "operations": [ { "id": "0x101253#592", "address": "0x101253", "sequence": 592, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "ffffffffffffff18" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null } }, { "id": "0x101253#593", "address": "0x101253", "sequence": 593, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "ffffffffffffff18" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null } }, { "id": "0x10125a#21", "address": "0x10125a", "sequence": 21, "opcode": "INT_ADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "28" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x10000119", "constant_hex": null } }, { "id": "0x10125a#22", "address": "0x10125a", "sequence": 22, "opcode": "LOAD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "unique", "size_bytes": 8, "location": "unique:0xc800", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x23d00", "constant_hex": null } }, { "id": "0x10125a#596", "address": "0x10125a", "sequence": 596, "opcode": "CAST", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0x10000119", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0xc800", "constant_hex": null } }, { "id": "0x101274#40", "address": "0x101274", "sequence": 40, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101050", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000d1", "constant_hex": null } ], "output": null }, { "id": "0x101274#401", "address": "0x101274", "sequence": 401, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "28" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x101274#519", "address": "0x101274", "sequence": 519, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0x23d00", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "28" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x101274#587", "address": "0x101274", "sequence": 587, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "102004" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000d1", "constant_hex": null } }, { "id": "0x101279#594", "address": "0x101279", "sequence": 594, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "ffffffffffffffa8" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0xa500", "constant_hex": null } }, { "id": "0x101290#48", "address": "0x101290", "sequence": 48, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101070", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000d9", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0xa500", "constant_hex": null } ], "output": null }, { "id": "0x101290#402", "address": "0x101290", "sequence": 402, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "30" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x101290#520", "address": "0x101290", "sequence": 520, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "30" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x101290#588", "address": "0x101290", "sequence": 588, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "102017" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000d9", "constant_hex": null } }, { "id": "0x10129b#494", "address": "0x10129b", "sequence": 494, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "0" } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null } }, { "id": "0x1012a0#52", "address": "0x1012a0", "sequence": 52, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012a0#351", "address": "0x1012a0", "sequence": 351, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0xa500", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null } }, { "id": "0x1012a0#379", "address": "0x1012a0", "sequence": 379, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null } }, { "id": "0x1012a0#491", "address": "0x1012a0", "sequence": 491, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null }, { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null } }, { "id": "0x1012a0#531", "address": "0x1012a0", "sequence": 531, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012a5#54", "address": "0x1012a5", "sequence": 54, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x9400", "constant_hex": null } }, { "id": "0x1012a5#55", "address": "0x1012a5", "sequence": 55, "opcode": "LOAD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x9400", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 1, "location": "unique:0x23a00", "constant_hex": null } }, { "id": "0x1012a5#56", "address": "0x1012a5", "sequence": 56, "opcode": "INT_SEXT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 1, "location": "unique:0x10000121", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x10", "constant_hex": null } }, { "id": "0x1012a5#340", "address": "0x1012a5", "sequence": 340, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012a5#530", "address": "0x1012a5", "sequence": 530, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012a5#597", "address": "0x1012a5", "sequence": 597, "opcode": "CAST", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 1, "location": "unique:0x23a00", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 1, "location": "unique:0x10000121", "constant_hex": null } }, { "id": "0x1012a9#58", "address": "0x1012a9", "sequence": 58, "opcode": "INT_MULT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "4" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x9200", "constant_hex": null } }, { "id": "0x1012a9#59", "address": "0x1012a9", "sequence": 59, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x9200", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x9400", "constant_hex": null } }, { "id": "0x1012a9#61", "address": "0x1012a9", "sequence": 61, "opcode": "STORE", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x10000122", "constant_hex": null }, { "kind": "register", "size_bytes": 4, "location": "register:0x10", "constant_hex": null } ], "output": null }, { "id": "0x1012a9#527", "address": "0x1012a9", "sequence": 527, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "3d" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012a9#598", "address": "0x1012a9", "sequence": 598, "opcode": "CAST", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0x9400", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x10000122", "constant_hex": null } }, { "id": "0x1012ac#64", "address": "0x1012ac", "sequence": 64, "opcode": "INT_ADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012b0#76", "address": "0x1012b0", "sequence": 76, "opcode": "INT_NOTEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "6" } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x1012b4#82", "address": "0x1012b4", "sequence": 82, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x1012a5", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x1012b6#85", "address": "0x1012b6", "sequence": 85, "opcode": "INT_ADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "6" } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null } }, { "id": "0x1012b9#95", "address": "0x1012b9", "sequence": 95, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "6" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x8", "constant_hex": null } }, { "id": "0x1012bd#104", "address": "0x1012bd", "sequence": 104, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "18" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x30", "constant_hex": null } }, { "id": "0x1012c1#116", "address": "0x1012c1", "sequence": 116, "opcode": "INT_NOTEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 4, "location": "register:0x38", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "24" } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x1012c4#122", "address": "0x1012c4", "sequence": 122, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x1012a0", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x1012c6#123", "address": "0x1012c6", "sequence": 123, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1040e0" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } }, { "id": "0x1012cd#124", "address": "0x1012cd", "sequence": 124, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "104060" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } }, { "id": "0x1012de#367", "address": "0x1012de", "sequence": 367, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } }, { "id": "0x1012de#369", "address": "0x1012de", "sequence": 369, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } }, { "id": "0x1012de#409", "address": "0x1012de", "sequence": 409, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x1012de#529", "address": "0x1012de", "sequence": 529, "opcode": "MULTIEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012e1#131", "address": "0x1012e1", "sequence": 131, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101189", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012e1#403", "address": "0x1012e1", "sequence": 403, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "83" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x1012e1#521", "address": "0x1012e1", "sequence": 521, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "83" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012ec#136", "address": "0x1012ec", "sequence": 136, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101217", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x20", "constant_hex": null }, { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 4, "location": "register:0x0", "constant_hex": null } }, { "id": "0x1012ec#404", "address": "0x1012ec", "sequence": 404, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "88" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x1012ec#522", "address": "0x1012ec", "sequence": 522, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "88" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x1012f1#137", "address": "0x1012f1", "sequence": 137, "opcode": "LOAD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 4, "location": "unique:0x23c00", "constant_hex": null } }, { "id": "0x1012f1#143", "address": "0x1012f1", "sequence": 143, "opcode": "INT_NOTEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 4, "location": "unique:0x23c00", "constant_hex": null }, { "kind": "register", "size_bytes": 4, "location": "register:0x0", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x1012f4#149", "address": "0x1012f4", "sequence": 149, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x101335", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x1012f6#152", "address": "0x1012f6", "sequence": 152, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "18" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null } }, { "id": "0x1012fa#595", "address": "0x1012fa", "sequence": 595, "opcode": "PTRADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "1" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "4" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x28", "constant_hex": null } }, { "id": "0x1012fe#173", "address": "0x1012fe", "sequence": 173, "opcode": "INT_NOTEQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x18", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000f1", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x1012fe#591", "address": "0x1012fe", "sequence": 591, "opcode": "PTRSUB", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "104350" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000f1", "constant_hex": null } }, { "id": "0x101301#179", "address": "0x101301", "sequence": 179, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x1012de", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x10130a#183", "address": "0x10130a", "sequence": 183, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101030", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000e9", "constant_hex": null } ], "output": null }, { "id": "0x10130a#407", "address": "0x10130a", "sequence": 407, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "b7" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null } }, { "id": "0x10130a#525", "address": "0x10130a", "sequence": 525, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "b7" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x10130a#590", "address": "0x10130a", "sequence": 590, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "102027" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000e9", "constant_hex": null } }, { "id": "0x101317#187", "address": "0x101317", "sequence": 187, "opcode": "INT_ADD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "register", "size_bytes": 8, "location": "register:0x110", "constant_hex": null }, { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "28" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x1000012a", "constant_hex": null } }, { "id": "0x101317#192", "address": "0x101317", "sequence": 192, "opcode": "LOAD", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1b1" }, { "kind": "unique", "size_bytes": 8, "location": "unique:0xc800", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x23d00", "constant_hex": null } }, { "id": "0x101317#195", "address": "0x101317", "sequence": 195, "opcode": "INT_EQUAL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x23d00", "constant_hex": null } ], "output": { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } }, { "id": "0x101317#599", "address": "0x101317", "sequence": 599, "opcode": "CAST", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "unique", "size_bytes": 8, "location": "unique:0x1000012a", "constant_hex": null } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0xc800", "constant_hex": null } }, { "id": "0x101320#201", "address": "0x101320", "sequence": 201, "opcode": "CBRANCH", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 1, "location": "0x10134b", "constant_hex": null }, { "kind": "register", "size_bytes": 1, "location": "register:0x206", "constant_hex": null } ], "output": null }, { "id": "0x101322#202", "address": "0x101322", "sequence": 202, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" } ], "output": { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } }, { "id": "0x101334#230", "address": "0x101334", "sequence": 230, "opcode": "RETURN", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "0" }, { "kind": "register", "size_bytes": 8, "location": "register:0x0", "constant_hex": null } ], "output": null }, { "id": "0x10133c#239", "address": "0x10133c", "sequence": 239, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101030", "constant_hex": null }, { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000e1", "constant_hex": null } ], "output": null }, { "id": "0x10133c#523", "address": "0x10133c", "sequence": 523, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "ef" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x10133c#589", "address": "0x10133c", "sequence": 589, "opcode": "COPY", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 8, "location": null, "constant_hex": "10201c" } ], "output": { "kind": "unique", "size_bytes": 8, "location": "unique:0x100000e1", "constant_hex": null } }, { "id": "0x101346#243", "address": "0x101346", "sequence": 243, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101080", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "ffffffff" } ], "output": null }, { "id": "0x101346#245", "address": "0x101346", "sequence": 245, "opcode": "RETURN", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1" } ], "output": null }, { "id": "0x101346#524", "address": "0x101346", "sequence": 524, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "f3" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } }, { "id": "0x10134b#233", "address": "0x10134b", "sequence": 233, "opcode": "CALL", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "address", "size_bytes": 8, "location": "0x101040", "constant_hex": null } ], "output": null }, { "id": "0x10134b#235", "address": "0x10134b", "sequence": 235, "opcode": "RETURN", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "1" } ], "output": null }, { "id": "0x10134b#526", "address": "0x10134b", "sequence": 526, "opcode": "INDIRECT", "is_dead": true, "block_membership": "member", "inputs": [ { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null }, { "kind": "constant", "size_bytes": 4, "location": null, "constant_hex": "e9" } ], "output": { "kind": "other", "size_bytes": 8, "location": "stack:0xffffffffffffffd0", "constant_hex": null } } ], "def_use": [ { "definition": "0x10125a#596", "use": "0x10125a#22", "input_index": 1 }, { "definition": "0x10125a#21", "use": "0x10125a#596", "input_index": 0 }, { "definition": "0x101274#587", "use": "0x101274#40", "input_index": 1 }, { "definition": "0x10125a#22", "use": "0x101274#519", "input_index": 0 }, { "definition": "0x101290#588", "use": "0x101290#48", "input_index": 1 }, { "definition": "0x101279#594", "use": "0x101290#48", "input_index": 2 }, { "definition": "0x101274#401", "use": "0x101290#402", "input_index": 0 }, { "definition": "0x101274#519", "use": "0x101290#520", "input_index": 0 }, { "definition": "0x101279#594", "use": "0x1012a0#351", "input_index": 0 }, { "definition": "0x1012b9#95", "use": "0x1012a0#351", "input_index": 1 }, { "definition": "0x101253#592", "use": "0x1012a0#379", "input_index": 0 }, { "definition": "0x1012bd#104", "use": "0x1012a0#379", "input_index": 1 }, { "definition": "0x10129b#494", "use": "0x1012a0#491", "input_index": 0 }, { "definition": "0x1012b6#85", "use": "0x1012a0#491", "input_index": 1 }, { "definition": "0x101290#520", "use": "0x1012a0#531", "input_index": 0 }, { "definition": "0x1012a9#527", "use": "0x1012a0#531", "input_index": 1 }, { "definition": "0x1012a0#351", "use": "0x1012a5#54", "input_index": 0 }, { "definition": "0x1012a5#340", "use": "0x1012a5#54", "input_index": 1 }, { "definition": "0x1012a5#54", "use": "0x1012a5#55", "input_index": 1 }, { "definition": "0x1012a5#597", "use": "0x1012a5#56", "input_index": 0 }, { "definition": "0x1012a0#52", "use": "0x1012a5#340", "input_index": 0 }, { "definition": "0x1012ac#64", "use": "0x1012a5#340", "input_index": 1 }, { "definition": "0x1012a0#531", "use": "0x1012a5#530", "input_index": 0 }, { "definition": "0x1012a9#527", "use": "0x1012a5#530", "input_index": 1 }, { "definition": "0x1012a5#55", "use": "0x1012a5#597", "input_index": 0 }, { "definition": "0x1012a5#340", "use": "0x1012a9#58", "input_index": 0 }, { "definition": "0x1012a0#379", "use": "0x1012a9#59", "input_index": 0 }, { "definition": "0x1012a9#58", "use": "0x1012a9#59", "input_index": 1 }, { "definition": "0x1012a9#598", "use": "0x1012a9#61", "input_index": 1 }, { "definition": "0x1012a5#56", "use": "0x1012a9#61", "input_index": 2 }, { "definition": "0x1012a5#530", "use": "0x1012a9#527", "input_index": 0 }, { "definition": "0x1012a9#59", "use": "0x1012a9#598", "input_index": 0 }, { "definition": "0x1012a5#340", "use": "0x1012ac#64", "input_index": 0 }, { "definition": "0x1012ac#64", "use": "0x1012b0#76", "input_index": 0 }, { "definition": "0x1012b0#76", "use": "0x1012b4#82", "input_index": 1 }, { "definition": "0x1012a0#491", "use": "0x1012b6#85", "input_index": 0 }, { "definition": "0x1012a0#351", "use": "0x1012b9#95", "input_index": 0 }, { "definition": "0x1012a0#379", "use": "0x1012bd#104", "input_index": 0 }, { "definition": "0x1012b6#85", "use": "0x1012c1#116", "input_index": 0 }, { "definition": "0x1012c1#116", "use": "0x1012c4#122", "input_index": 1 }, { "definition": "0x1012c6#123", "use": "0x1012de#367", "input_index": 0 }, { "definition": "0x1012f6#152", "use": "0x1012de#367", "input_index": 1 }, { "definition": "0x1012cd#124", "use": "0x1012de#369", "input_index": 0 }, { "definition": "0x1012fa#595", "use": "0x1012de#369", "input_index": 1 }, { "definition": "0x101290#402", "use": "0x1012de#409", "input_index": 0 }, { "definition": "0x1012ec#404", "use": "0x1012de#409", "input_index": 1 }, { "definition": "0x1012a9#527", "use": "0x1012de#529", "input_index": 0 }, { "definition": "0x1012ec#522", "use": "0x1012de#529", "input_index": 1 }, { "definition": "0x1012de#367", "use": "0x1012e1#131", "input_index": 1 }, { "definition": "0x1012de#409", "use": "0x1012e1#403", "input_index": 0 }, { "definition": "0x1012de#529", "use": "0x1012e1#521", "input_index": 0 }, { "definition": "0x101253#593", "use": "0x1012ec#136", "input_index": 1 }, { "definition": "0x1012e1#131", "use": "0x1012ec#136", "input_index": 2 }, { "definition": "0x1012e1#403", "use": "0x1012ec#404", "input_index": 0 }, { "definition": "0x1012e1#521", "use": "0x1012ec#522", "input_index": 0 }, { "definition": "0x1012de#369", "use": "0x1012f1#137", "input_index": 1 }, { "definition": "0x1012f1#137", "use": "0x1012f1#143", "input_index": 0 }, { "definition": "0x1012ec#136", "use": "0x1012f1#143", "input_index": 1 }, { "definition": "0x1012f1#143", "use": "0x1012f4#149", "input_index": 1 }, { "definition": "0x1012de#367", "use": "0x1012f6#152", "input_index": 0 }, { "definition": "0x1012de#369", "use": "0x1012fa#595", "input_index": 0 }, { "definition": "0x1012f6#152", "use": "0x1012fe#173", "input_index": 0 }, { "definition": "0x1012fe#591", "use": "0x1012fe#173", "input_index": 1 }, { "definition": "0x1012fe#173", "use": "0x101301#179", "input_index": 1 }, { "definition": "0x10130a#590", "use": "0x10130a#183", "input_index": 1 }, { "definition": "0x1012ec#404", "use": "0x10130a#407", "input_index": 0 }, { "definition": "0x1012ec#522", "use": "0x10130a#525", "input_index": 0 }, { "definition": "0x10130a#407", "use": "0x101317#187", "input_index": 0 }, { "definition": "0x101317#599", "use": "0x101317#192", "input_index": 1 }, { "definition": "0x10130a#525", "use": "0x101317#195", "input_index": 0 }, { "definition": "0x101317#192", "use": "0x101317#195", "input_index": 1 }, { "definition": "0x101317#187", "use": "0x101317#599", "input_index": 0 }, { "definition": "0x101317#195", "use": "0x101320#201", "input_index": 1 }, { "definition": "0x101322#202", "use": "0x101334#230", "input_index": 1 }, { "definition": "0x10133c#589", "use": "0x10133c#239", "input_index": 1 }, { "definition": "0x1012ec#522", "use": "0x10133c#523", "input_index": 0 }, { "definition": "0x10133c#523", "use": "0x101346#524", "input_index": 0 }, { "definition": "0x10130a#525", "use": "0x10134b#526", "input_index": 0 } ], "effects": [ { "operation": "0x10125a#22", "kind": "memory_read", "operand_input": 1, "value_input": null }, { "operation": "0x101274#40", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x101290#48", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x1012a5#55", "kind": "memory_read", "operand_input": 1, "value_input": null }, { "operation": "0x1012a9#61", "kind": "memory_write", "operand_input": 1, "value_input": 2 }, { "operation": "0x1012b4#82", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x1012c4#122", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x1012e1#131", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x1012ec#136", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x1012f1#137", "kind": "memory_read", "operand_input": 1, "value_input": null }, { "operation": "0x1012f4#149", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x101301#179", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x10130a#183", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x101317#192", "kind": "memory_read", "operand_input": 1, "value_input": null }, { "operation": "0x101320#201", "kind": "conditional_branch", "operand_input": null, "value_input": 1 }, { "operation": "0x10133c#239", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x101346#243", "kind": "direct_call", "operand_input": 0, "value_input": null }, { "operation": "0x10134b#233", "kind": "direct_call", "operand_input": 0, "value_input": null } ], "parameters": [], "parameter_uses": [], "truncated": false, "omitted_operations_lower_bound": 0, "known_omitted_inputs": 0, "known_omitted_edges": 0, "limitations": [ "High p-code is decompiler-derived, not original source or runtime behavior. is_dead preserves the Java AST flag; decoded block members can retain that flag, so block_membership separately reports actual syntax-tree membership.", "Def-use links do not cross function boundaries and may omit memory aliasing, call side effects, or unresolved indirect flow.", "Memory read/write effects include stack and temporary memory operations; they do not identify persistent state or business meaning.", "Operation, input, and def-use limits can truncate large functions; inspect truncation, omitted lower bounds, and known omitted counts before drawing conclusions.", "Known omitted-edge counts cover links omitted from retained operations; omitted operations may contain additional uncounted links." ] }, "facet_availability": { "pseudocode": { "available": true }, "assembly": { "available": true }, "comments": { "available": true }, "callers": { "available": true }, "callees": { "available": true }, "references": { "available": true }, "strings_names": { "available": true }, "cfg": { "available": true } }, "limitations": [ "Unresolved computed or indirect flows without target addresses are not represented as reference edges.", "Thunk and external classifications are Ghidra FunctionManager observations; they do not resolve targetless calls.", "Pseudocode and assembly are Ghidra-specific representations, not original source or Hopper-equivalent text.", "Synthetic Ghidra entry-point references without actionable memory sources are omitted.", "Ghidra Listing reports a terminal call at 0x101346 to 0x101080 ::exit (external=false, thunk=true, hasNoReturn=true); fallthrough is excluded by Ghidra's flow model. This records Ghidra's FunctionManager flag, not an independent verification that the callee cannot return.", "Ghidra Listing reports a terminal call at 0x10134b to 0x101040 ::__stack_chk_fail (external=false, thunk=true, hasNoReturn=true); fallthrough is excluded by Ghidra's flow model. This records Ghidra's FunctionManager flag, not an independent verification that the callee cannot return." ] }, "confidence": "observed", "authority": "shipped-artifact", "environment": null, "limitations": [ "The session serves operations only after Ghidra reports default auto-analysis complete; incomplete analysis does not expose partial results.", "The imported Program and temporary project are ephemeral and deleted on close. Annotation operations edit session database metadata; original executable bytes are never written.", "Cancelling an active Ghidra request terminates its ephemeral database and discards session annotations. The selected target remains open; the next provider query imports the original artifact again.", "Default-space addresses use lowercase 0x-prefixed hexadecimal; other address spaces use :0x.", "References cover the complete Ghidra function-body AddressSet and exact entry. Dossier incoming edges omit sources owned by that function; procedure_references also retains those internal edges.", "The dossier combines Ghidra FunctionManager, Listing, ReferenceManager, BasicBlockModel, and decompiler observations; provider-specific pseudocode and assembly are not cross-provider text invariants.", "Resolved reference metadata identifies computed, indirect, external, call, jump, and data edges; unresolved targetless flows remain unknown, and function classifications distinguish thunks and externals.", "Synthetic Ghidra entry-point references without actionable memory sources are omitted.", "The Java bridge serializes one function request per Program and lets each decompilation run until it completes or the caller cancels.", "Ghidra Listing reports a terminal call at 0x101346 to 0x101080 ::exit (external=false, thunk=true, hasNoReturn=true); fallthrough is excluded by Ghidra's flow model. This records Ghidra's FunctionManager flag, not an independent verification that the callee cannot return.", "Ghidra Listing reports a terminal call at 0x10134b to 0x101040 ::__stack_chk_fail (external=false, thunk=true, hasNoReturn=true); fallthrough is excluded by Ghidra's flow model. This records Ghidra's FunctionManager flag, not an independent verification that the callee cannot return." ], "relationship_coverage": { "status": "complete", "diagnostics": [ "Only resolved Ghidra call references are returned; unresolved computed or indirect calls remain unknown, while function classifications distinguish thunks and externals." ] }, "locations": [], "evidence_links": [] }