{"ok":true,"data":{"evidence_id":"ev_48361e401cd45ee69c15a534530048c2485d8efbaa4a8580cb825308c8c4ce09","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 @ 0x18398a740;pdgo @ 0x18398a740;afij @ 0x18398a740","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 @ 0x18398a740;pdgo @ 0x18398a740;afij @ 0x18398a740","C:\\Users\\tjzhong\\AppData\\Local\\Tabbit\\Application\\1.18.21.0\\Tabbit.dll"]},"raw_result":{"stdout":"                   |\r\n    0x18398a740    |int64_t fcn.18398a740(int64_t arg1)\r\n                   |{\r\n                   |    int32_t *piVar1;\r\n                   |    int32_t iVar2;\r\n                   |    code *pcVar3;\r\n                   |    int64_t iVar4;\r\n                   |    \r\n    0x18398a74e    |    iVar4 = fcn.185f006b8(0x410);\r\n    0x18398a759    |    fcn.1836c8430(iVar4);\r\n    0x18398a761    |    if (iVar4 != 0) {\r\n    0x18398a768    |        LOCK();\r\n    0x18398a768    |        piVar1 = (int32_t *)(iVar4 + 8);\r\n    0x18398a768    |        iVar2 = *piVar1;\r\n    0x18398a768    |        *piVar1 = *piVar1 + 1;\r\n    0x18398a768    |        UNLOCK();\r\n    0x18398a772    |        if (iVar2 == 0x7fffffff) {\r\n    0x18398a781    |            pcVar3 = (code *)swi(3);\r\n    0x18398a781    |            iVar4 = (*pcVar3)();\r\n    0x18398a781    |            return iVar4;\r\n                   |        }\r\n                   |    }\r\n    0x18398a774    |    *(int64_t *)arg1 = iVar4;\r\n    0x18398a780    |    return arg1;\r\n                   |}\r\n[{\"offset\":6502786880,\"name\":\"fcn.18398a740\",\"size\":66,\"is-pure\":false,\"realsz\":66,\"noreturn\":false,\"stackframe\":56,\"calltype\":\"ms\",\"cost\":30,\"cc\":4,\"loops\":0,\"bits\":64,\"type\":\"fcn\",\"nbbs\":4,\"edges\":4,\"ebbs\":2,\"signature\":\"fcn.18398a740(int64_t arg1);\",\"minbound\":6502786880,\"maxbound\":6502786946,\"callrefs\":[{\"from\":6502786894,\"to\":6542067384,\"type\":\"CALL\"},{\"from\":6502786905,\"to\":6499894320,\"type\":\"CALL\"}],\"datarefs\":[],\"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    0x18398a740    |int64_t fcn.18398a740(int64_t arg1)\r\n                   |{\r\n                   |    int32_t *piVar1;\r\n                   |    int32_t iVar2;\r\n                   |    code *pcVar3;\r\n                   |    int64_t iVar4;\r\n                   |    \r\n    0x18398a74e    |    iVar4 = fcn.185f006b8(0x410);\r\n    0x18398a759    |    fcn.1836c8430(iVar4);\r\n    0x18398a761    |    if (iVar4 != 0) {\r\n    0x18398a768    |        LOCK();\r\n    0x18398a768    |        piVar1 = (int32_t *)(iVar4 + 8);\r\n    0x18398a768    |        iVar2 = *piVar1;\r\n    0x18398a768    |        *piVar1 = *piVar1 + 1;\r\n    0x18398a768    |        UNLOCK();\r\n    0x18398a772    |        if (iVar2 == 0x7fffffff) {\r\n    0x18398a781    |            pcVar3 = (code *)swi(3);\r\n    0x18398a781    |            iVar4 = (*pcVar3)();\r\n    0x18398a781    |            return iVar4;\r\n                   |        }\r\n                   |    }\r\n    0x18398a774    |    *(int64_t *)arg1 = iVar4;\r\n    0x18398a780    |    return arg1;\r\n                   |}\r\n[{\"offset\":6502786880,\"name\":\"fcn.18398a740\",\"size\":66,\"is-pure\":false,\"realsz\":66,\"noreturn\":false,\"stackframe\":56,\"calltype\":\"ms\",\"cost\":30,\"cc\":4,\"loops\":0,\"bits\":64,\"type\":\"fcn\",\"nbbs\":4,\"edges\":4,\"ebbs\":2,\"signature\":\"fcn.18398a740(int64_t arg1);\",\"minbound\":6502786880,\"maxbound\":6502786946,\"callrefs\":[{\"from\":6502786894,\"to\":6542067384,\"type\":\"CALL\"},{\"from\":6502786905,\"to\":6499894320,\"type\":\"CALL\"}],\"datarefs\":[],\"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":"4982ms"}}