{"ok":true,"data":{"evidence_id":"ev_2fa98d2bb7b9c5dc93da1a4caf02d4c54fa32283a20a50d2c0c7b19ba31c6433","subject":{"name":"Tabbit.dll","digest":{"sha256":"a10ee34ead4a08c906e09f3dd4449042fb084a69ce59210b1c8cee815723bf3c"},"local_path":"C:\\Users\\tjzhong\\AppData\\Local\\Tabbit\\Application\\1.18.21.0\\Tabbit.dll","format":"unknown","architecture":null},"provider":{"id":"rizin","name":"Rizin","version":null},"analysis_profile":null,"predicate_type":"rea.reverse-engineering.command-observation","operation":"execute_rizin_command","parameters":{"path":"C:\\Users\\tjzhong\\AppData\\Local\\Tabbit\\Application\\1.18.21.0\\Tabbit.dll","command":"e scr.color=0;af @ 0x18398a100;pdgo @ 0x18398a100;afij @ 0x18398a100","provider_executable":"C:\\Users\\tjzhong\\Documents\\Codex\\tools\\cutter-2.5.0\\Cutter-v2.5.0-Windows-x86_64\\rizin.exe","command_arguments":["-N","-q","-c","e scr.color=0;af @ 0x18398a100;pdgo @ 0x18398a100;afij @ 0x18398a100","C:\\Users\\tjzhong\\AppData\\Local\\Tabbit\\Application\\1.18.21.0\\Tabbit.dll"]},"raw_result":{"stdout":"                   |\r\n    0x18398a100    |int64_t fcn.18398a100(int64_t arg1)\r\n                   |{\r\n                   |    int32_t *piVar1;\r\n                   |    int32_t iVar2;\r\n                   |    code *pcVar3;\r\n                   |    undefined8 *puVar4;\r\n                   |    int64_t iVar5;\r\n                   |    \r\n    0x18398a10e    |    puVar4 = (undefined8 *)fcn.185f006b8(0x228);\r\n    0x18398a119    |    fcn.188ac3fa0(puVar4);\r\n    0x18398a125    |    *puVar4 = 0x19006f928;\r\n    0x18398a12b    |    if (puVar4 != (undefined8 *)0x0) {\r\n    0x18398a132    |        LOCK();\r\n    0x18398a132    |        piVar1 = (int32_t *)(puVar4 + 1);\r\n    0x18398a132    |        iVar2 = *piVar1;\r\n    0x18398a132    |        *piVar1 = *piVar1 + 1;\r\n    0x18398a132    |        UNLOCK();\r\n    0x18398a13c    |        if (iVar2 == 0x7fffffff) {\r\n    0x18398a14b    |            pcVar3 = (code *)swi(3);\r\n    0x18398a14b    |            iVar5 = (*pcVar3)();\r\n    0x18398a14b    |            return iVar5;\r\n                   |        }\r\n                   |    }\r\n    0x18398a13e    |    *(undefined8 **)arg1 = puVar4;\r\n    0x18398a14a    |    return arg1;\r\n                   |}\r\n[{\"offset\":6502785280,\"name\":\"fcn.18398a100\",\"size\":76,\"is-pure\":false,\"realsz\":76,\"noreturn\":false,\"stackframe\":56,\"calltype\":\"ms\",\"cost\":32,\"cc\":4,\"loops\":0,\"bits\":64,\"type\":\"fcn\",\"nbbs\":4,\"edges\":4,\"ebbs\":2,\"signature\":\"fcn.18398a100(int64_t arg1);\",\"minbound\":6502785280,\"maxbound\":6502785356,\"callrefs\":[{\"from\":6502785294,\"to\":6542067384,\"type\":\"CALL\"},{\"from\":6502785305,\"to\":6587957152,\"type\":\"CALL\"}],\"datarefs\":[{\"from\":6502785310,\"to\":6711343400,\"type\":\"DATA\"}],\"indegree\":0,\"outdegree\":2,\"nlocals\":0,\"nargs\":1,\"stackvars\":[],\"regvars\":[{\"name\":\"arg1\",\"arg\":true,\"type\":\"int64_t\",\"storage\":{\"type\":\"reg\",\"reg\":\"rcx\"}}]}]\r\n","stderr":"WARNING: bin_file_strings: search interval size (0xfb71e00) exceeds max region size (0xa00000), skipping it.\r\nWARNING: bin_file_strings: search interval size (0x20fd400) exceeds max region size (0xa00000), skipping it.\r\nWARNING: bin_file_strings: search interval size (0xfb71e00) exceeds max region size (0xa00000), skipping it.\r\nWARNING: bin_file_strings: search interval size (0x20fd400) exceeds max region size (0xa00000), skipping it.\r\n","exit_code":0,"signal":null,"output_truncated":false,"completion_status":"complete","artifact_sha256_after":"a10ee34ead4a08c906e09f3dd4449042fb084a69ce59210b1c8cee815723bf3c","artifact_changed":false},"normalized_result":{"stdout":"                   |\r\n    0x18398a100    |int64_t fcn.18398a100(int64_t arg1)\r\n                   |{\r\n                   |    int32_t *piVar1;\r\n                   |    int32_t iVar2;\r\n                   |    code *pcVar3;\r\n                   |    undefined8 *puVar4;\r\n                   |    int64_t iVar5;\r\n                   |    \r\n    0x18398a10e    |    puVar4 = (undefined8 *)fcn.185f006b8(0x228);\r\n    0x18398a119    |    fcn.188ac3fa0(puVar4);\r\n    0x18398a125    |    *puVar4 = 0x19006f928;\r\n    0x18398a12b    |    if (puVar4 != (undefined8 *)0x0) {\r\n    0x18398a132    |        LOCK();\r\n    0x18398a132    |        piVar1 = (int32_t *)(puVar4 + 1);\r\n    0x18398a132    |        iVar2 = *piVar1;\r\n    0x18398a132    |        *piVar1 = *piVar1 + 1;\r\n    0x18398a132    |        UNLOCK();\r\n    0x18398a13c    |        if (iVar2 == 0x7fffffff) {\r\n    0x18398a14b    |            pcVar3 = (code *)swi(3);\r\n    0x18398a14b    |            iVar5 = (*pcVar3)();\r\n    0x18398a14b    |            return iVar5;\r\n                   |        }\r\n                   |    }\r\n    0x18398a13e    |    *(undefined8 **)arg1 = puVar4;\r\n    0x18398a14a    |    return arg1;\r\n                   |}\r\n[{\"offset\":6502785280,\"name\":\"fcn.18398a100\",\"size\":76,\"is-pure\":false,\"realsz\":76,\"noreturn\":false,\"stackframe\":56,\"calltype\":\"ms\",\"cost\":32,\"cc\":4,\"loops\":0,\"bits\":64,\"type\":\"fcn\",\"nbbs\":4,\"edges\":4,\"ebbs\":2,\"signature\":\"fcn.18398a100(int64_t arg1);\",\"minbound\":6502785280,\"maxbound\":6502785356,\"callrefs\":[{\"from\":6502785294,\"to\":6542067384,\"type\":\"CALL\"},{\"from\":6502785305,\"to\":6587957152,\"type\":\"CALL\"}],\"datarefs\":[{\"from\":6502785310,\"to\":6711343400,\"type\":\"DATA\"}],\"indegree\":0,\"outdegree\":2,\"nlocals\":0,\"nargs\":1,\"stackvars\":[],\"regvars\":[{\"name\":\"arg1\",\"arg\":true,\"type\":\"int64_t\",\"storage\":{\"type\":\"reg\",\"reg\":\"rcx\"}}]}]\r\n","stderr":"WARNING: bin_file_strings: search interval size (0xfb71e00) exceeds max region size (0xa00000), skipping it.\r\nWARNING: bin_file_strings: search interval size (0x20fd400) exceeds max region size (0xa00000), skipping it.\r\nWARNING: bin_file_strings: search interval size (0xfb71e00) exceeds max region size (0xa00000), skipping it.\r\nWARNING: bin_file_strings: search interval size (0x20fd400) exceeds max region size (0xa00000), skipping it.\r\n","exit_code":0,"signal":null,"output_truncated":false,"completion_status":"complete","artifact_sha256_after":"a10ee34ead4a08c906e09f3dd4449042fb084a69ce59210b1c8cee815723bf3c","artifact_changed":false},"confidence":"observed","authority":"shipped-artifact","environment":null,"limitations":["The executable version and supported formats are reported as unknown because no reliable version probe was performed.","A non-zero process exit is preserved as an observed command result.","Rizin commands and retained plugins may read files or access network resources outside the selected artifact; those external inputs are not bound to Evidence.","When both are available, pre-run and post-run digests detect artifact changes across the provider call but cannot prove the exact bytes consumed during the call."],"relationship_coverage":null,"locations":[{"kind":"artifact-path","path":"C:\\Users\\tjzhong\\AppData\\Local\\Tabbit\\Application\\1.18.21.0\\Tabbit.dll"}],"evidence_links":[]},"meta":{"command":"execute-rizin-command","duration":"4933ms"}}