Nao Hirokawa

52 papers A 9B 11Misc 2Journal 20Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Log. Methods Comput. Sci.
Nao Hirokawa, Aart Middeldorp
2025 J jnl
Log. Methods Comput. Sci.
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
2025 A conf
CADE
Teppei Saito, Nao Hirokawa
2024 B conf
CPP
Nao Hirokawa, Dohan Kim, Kiraku Shintani, René Thiemann
2024 J jnl
Log. Methods Comput. Sci.
Kiraku Shintani, Nao Hirokawa
2024 J jnl
CoRR
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
2024 B conf
FSCD
Teppei Saito, Nao Hirokawa
2023 J jnl
CoRR
Kiraku Shintani, Nao Hirokawa
2023 J jnl
CoRR
Teppei Saito, Nao Hirokawa
2023 J jnl
CoRR
Nao Hirokawa, Aart Middeldorp
2023 B conf
FSCD
Nao Hirokawa, Aart Middeldorp
2023 A conf
CADE
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
2023 conf
FroCoS
Teppei Saito, Nao Hirokawa
2022 B conf
FSCD
Kiraku Shintani, Nao Hirokawa
2021 B conf
FSCD
Nao Hirokawa
2019 J jnl
Log. Methods Comput. Sci.
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
2019 J jnl
CoRR
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
2019 A conf
CADE
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
2018 J jnl
CoRR
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
2018 B conf
FSCD
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl
2018 A conf
IJCAR
Nao Hirokawa, Julian Nagele, Aart Middeldorp
2017 J jnl
CoRR
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
2017 B conf
FSCD
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
2016 J jnl
Theory Pract. Log. Program.
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
2015 A conf
CADE
Kiraku Shintani, Nao Hirokawa
2015 A conf
CADE
Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl
2015 conf
RTA
Nao Hirokawa, Aart Middeldorp, Georg Moser
2014 B conf
ITP
Nao Hirokawa, Aart Middeldorp, Christian Sternagel
2014 Misc conf
FLOPS
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
2014 J jnl
CoRR
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
2014 conf
RTA-TLCA
Nao Hirokawa, Georg Moser
2013 J jnl
J. Autom. Reason.
Nao Hirokawa, Aart Middeldorp, Harald Zankl
2012 B conf
LPAR
Dominik Klein, Nao Hirokawa
2011 J jnl
CoRR
Nao Hirokawa, Georg Moser
2011 J jnl
J. Autom. Reason.
Nao Hirokawa, Aart Middeldorp
2011 conf
RTA
Dominik Klein, Nao Hirokawa
2010 A conf
IJCAR
Nao Hirokawa, Aart Middeldorp
2010 conf
HOR
Harald Zankl, Nao Hirokawa, Aart Middeldorp
2009 J jnl
CoRR
Nao Hirokawa, Aart Middeldorp
2009 J jnl
J. Autom. Reason.
Harald Zankl, Nao Hirokawa, Aart Middeldorp
2008 A conf
IJCAR
Nao Hirokawa, Georg Moser
2008 B conf
LPAR
Nao Hirokawa, Georg Moser
2008 B conf
LPAR
Nao Hirokawa, Aart Middeldorp, Harald Zankl
2007 conf
SOFSEM (1)
Harald Zankl, Nao Hirokawa, Aart Middeldorp
2007 J jnl
Inf. Comput.
Nao Hirokawa, Aart Middeldorp
2006 conf
RTA
Nao Hirokawa, Aart Middeldorp
2005 J jnl
Inf. Comput.
Nao Hirokawa, Aart Middeldorp
2005 conf
RTA
Nao Hirokawa, Aart Middeldorp
2004 conf
RTA
Nao Hirokawa, Aart Middeldorp
2004 Misc conf
AISC
Nao Hirokawa, Aart Middeldorp
2003 A conf
CADE
Nao Hirokawa, Aart Middeldorp
2003 conf
RTA
Nao Hirokawa, Aart Middeldorp
redb/extractors/decompiler/bninja/analysis/api.py
← Index redb/extractors/decompiler/bninja/analysis/api.py python
from enum import Enum


class ApiCategory(Enum):
    FILE_OP = [
        "CreateFile",
        "ReadFile",
        "WriteFile",
        "DeleteFile",
        "SetFilePointer",
        "CopyFile",
        "MoveFile",
        "FindFirstFile",
        "FindNextFile",
    ]
    MEMORY_OP = [
        "VirtualAlloc",
        "VirtualFree",
        "HeapAlloc",
        "HeapFree",
        "LocalAlloc",
        "GlobalAlloc",
        "MapViewOfFile",
        "VirtualProtect",
    ]
    NETWORK_OP = [
        "socket",
        "connect",
        "bind",
        "send",
        "recv",
        "WSAStartup",
        "InternetOpen",
        "InternetConnect",
        "HttpOpenRequest",
        "HttpSendRequest",
        "InternetReadFile",
        "URLDownloadToFile",
    ]
    REGISTRY_OP = [
        "RegOpenKey",
        "RegCreateKey",
        "RegSetValue",
        "RegQueryValue",
        "RegDeleteKey",
        "RegEnumKey",
        "RegFlushKey",
    ]
    PROCESS_OP = [
        "CreateProcess",
        "OpenProcess",
        "TerminateProcess",
        "GetProcessId",
        "CreateProcessAsUser",
        "NtCreateProcess",
    ]
    THREAD_OP = [
        "CreateThread",
        "SuspendThread",
        "ResumeThread",
        "CreateRemoteThread",
        "SetThreadContext",
        "GetThreadContext",
    ]
    INJECTION_OP = [
        "WriteProcessMemory",
        "VirtualAllocEx",
        "NtWriteVirtualMemory",
        "SetWindowsHookEx",
        "QueueUserAPC",
        "NtMapViewOfSection",
    ]
    EVASION_OP = [
        "IsDebuggerPresent",
        "CheckRemoteDebuggerPresent",
        "NtQueryInformationProcess",
        "GetTickCount",
        "OutputDebugString",
        "Sleep",
        "QueryPerformanceCounter",
    ]
    SPYING_OP = [
        "GetAsyncKeyState",
        "GetKeyboardState",
        "GetKeyState",
        "GetForegroundWindow",
        "SetWindowsHookEx",
        "BitBlt",
        "GetClipboardData",
    ]
    SYSTEM_OP = [
        "CreateToolhelp32Snapshot",
        "EnumDeviceDrivers",
        "EnumProcesses",
        "GetSystemDirectoryA",
        "GetLogicalDrives",
    ]
    SERVICE_OP = [
        "CreateServiceA",
        "OpenServiceA",
        "StartServiceA",
        "DeleteService",
        "OpenSCManagerA",
        "ControlService",
    ]
    CRYPTO_OP = [
        "CryptAcquireContext",
        "CryptGenKey",
        "CryptEncrypt",
        "CryptDecrypt",
        "CryptCreateHash",
        "CryptHashData",
        "CryptGenRandom",
    ]
    DLL_OP = ["LoadLibrary", "GetProcAddress", "FreeLibrary", "LdrLoadDll"]
    UNKNOWN_OP = []

    @classmethod
    def from_api(cls, api_name):
        for category in cls:
            if any(api_name.startswith(api) for api in category.value):
                return category
        return cls.UNKNOWN_OP