{"ok":true,"data":{"evidence_id":"ev_1b3fe666bf453ffcc17233520892bcd171c53ace4138f961df22007a09c3a965","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 @ 0x183988ee0;pdgo @ 0x183988ee0;afij @ 0x183988ee0","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 @ 0x183988ee0;pdgo @ 0x183988ee0;afij @ 0x183988ee0","C:\\Users\\tjzhong\\AppData\\Local\\Tabbit\\Application\\1.18.21.0\\Tabbit.dll"]},"raw_result":{"stdout":"                   |\r\n    0x183988ee0    |int64_t fcn.183988ee0(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    0x183988eee    |    puVar4 = (undefined8 *)fcn.185f006b8(0x228);\r\n    0x183988f01    |    fcn.185f5a0c0(puVar4, 0, 0x228);\r\n    0x183988f09    |    fcn.188ac3fa0(puVar4);\r\n    0x183988f15    |    *puVar4 = 0x19007cca8;\r\n    0x183988f1b    |    if (puVar4 != (undefined8 *)0x0) {\r\n    0x183988f22    |        LOCK();\r\n    0x183988f22    |        piVar1 = (int32_t *)(puVar4 + 1);\r\n    0x183988f22    |        iVar2 = *piVar1;\r\n    0x183988f22    |        *piVar1 = *piVar1 + 1;\r\n    0x183988f22    |        UNLOCK();\r\n    0x183988f2c    |        if (iVar2 == 0x7fffffff) {\r\n    0x183988f3b    |            pcVar3 = (code *)swi(3);\r\n    0x183988f3b    |            iVar5 = (*pcVar3)();\r\n    0x183988f3b    |            return iVar5;\r\n                   |        }\r\n                   |    }\r\n    0x183988f2e    |    *(undefined8 **)arg1 = puVar4;\r\n    0x183988f3a    |    return arg1;\r\n                   |}\r\n[{\"offset\":6502780640,\"name\":\"fcn.183988ee0\",\"size\":92,\"is-pure\":false,\"realsz\":92,\"noreturn\":false,\"stackframe\":56,\"calltype\":\"ms\",\"cost\":38,\"cc\":4,\"loops\":0,\"bits\":64,\"type\":\"fcn\",\"nbbs\":4,\"edges\":4,\"ebbs\":2,\"signature\":\"fcn.183988ee0(int64_t arg1);\",\"minbound\":6502780640,\"maxbound\":6502780732,\"callrefs\":[{\"from\":6502780654,\"to\":6542067384,\"type\":\"CALL\"},{\"from\":6502780673,\"to\":6542434496,\"type\":\"CALL\"},{\"from\":6502780681,\"to\":6587957152,\"type\":\"CALL\"}],\"datarefs\":[{\"from\":6502780686,\"to\":6711397544,\"type\":\"DATA\"}],\"indegree\":0,\"outdegree\":3,\"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    0x183988ee0    |int64_t fcn.183988ee0(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    0x183988eee    |    puVar4 = (undefined8 *)fcn.185f006b8(0x228);\r\n    0x183988f01    |    fcn.185f5a0c0(puVar4, 0, 0x228);\r\n    0x183988f09    |    fcn.188ac3fa0(puVar4);\r\n    0x183988f15    |    *puVar4 = 0x19007cca8;\r\n    0x183988f1b    |    if (puVar4 != (undefined8 *)0x0) {\r\n    0x183988f22    |        LOCK();\r\n    0x183988f22    |        piVar1 = (int32_t *)(puVar4 + 1);\r\n    0x183988f22    |        iVar2 = *piVar1;\r\n    0x183988f22    |        *piVar1 = *piVar1 + 1;\r\n    0x183988f22    |        UNLOCK();\r\n    0x183988f2c    |        if (iVar2 == 0x7fffffff) {\r\n    0x183988f3b    |            pcVar3 = (code *)swi(3);\r\n    0x183988f3b    |            iVar5 = (*pcVar3)();\r\n    0x183988f3b    |            return iVar5;\r\n                   |        }\r\n                   |    }\r\n    0x183988f2e    |    *(undefined8 **)arg1 = puVar4;\r\n    0x183988f3a    |    return arg1;\r\n                   |}\r\n[{\"offset\":6502780640,\"name\":\"fcn.183988ee0\",\"size\":92,\"is-pure\":false,\"realsz\":92,\"noreturn\":false,\"stackframe\":56,\"calltype\":\"ms\",\"cost\":38,\"cc\":4,\"loops\":0,\"bits\":64,\"type\":\"fcn\",\"nbbs\":4,\"edges\":4,\"ebbs\":2,\"signature\":\"fcn.183988ee0(int64_t arg1);\",\"minbound\":6502780640,\"maxbound\":6502780732,\"callrefs\":[{\"from\":6502780654,\"to\":6542067384,\"type\":\"CALL\"},{\"from\":6502780673,\"to\":6542434496,\"type\":\"CALL\"},{\"from\":6502780681,\"to\":6587957152,\"type\":\"CALL\"}],\"datarefs\":[{\"from\":6502780686,\"to\":6711397544,\"type\":\"DATA\"}],\"indegree\":0,\"outdegree\":3,\"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":"4920ms"}}