Jae Hyoung Cho

16 papers C 6Unranked 10
YearRankTypeTitle / Venue / Authors
2012 conf
ICHIT (2)
Ya-Ting Wei, Jae Hyoung Cho, Jae-Oh Lee
2012 conf
ICTC
Hun-Sung Kim, Jae Hyoung Cho, Cheol-Young Park, Woo Je Lee, Joong-Yeol Park, Sung Woo Park, Kun-Ho Yoon
2011 conf
ICHIT (2)
Jung-Ho Kim, Jae Hyoung Cho, Jae-Oh Lee
2011 conf
ICHIT (2)
Jae Hyoung Cho, Jae-Oh Lee
2011 C conf
APNOMS
Jae Hyoung Cho, Jae-Oh Lee
2011 C conf
APNOMS
Jung-Ho Kim, Jae Hyoung Cho, Jae-Oh Lee
2010 conf
NCM
Jae Hyoung Cho, Jae-Oh Lee
2010 conf
SUComS
Jae Hyoung Cho, Jae-Oh Lee
2010 conf
SUComS
Jung-Ho Kim, Jae Hyoung Cho, Jae-Oh Lee
2010 conf
SAINT
Jae Hyoung Cho, Yoon-Hee Choi, Mi-Ja Kang, Hun-Sung Kim, Jeong-Ah Shin, Jin-Hee Lee, Kun-Ho Yoon
2009 C conf
APNOMS
Ji-Hyun Hwang, Jae Hyoung Cho, Jae-Oh Lee
2009 C conf
APNOMS
Jae Hyoung Cho, Jae-Oh Lee
2009 conf
NCM
Jae Hyoung Cho, Jae-Oh Lee
2009 conf
ICHIT
Jae Hyoung Cho, Jae-Oh Lee
2008 C conf
APNOMS
Jae Hyoung Cho, Jae-Oh Lee
2007 C conf
APNOMS
Jae Hyoung Cho, Bi-Feng Yu, Jae-Oh Lee
tests/unit/test_decompile_function_type.py
← Index tests/unit/test_decompile_function_type.py python
"""Unit tests for bninja/function_type.py."""
import sys
import pytest
from unittest.mock import MagicMock

# Install binaryninja stubs before importing
from tests.unit.conftest_binja_stubs import install_binja_stubs, SymbolType
install_binja_stubs()

from redb.extractors.decompiler.bninja.function_type import (
    FunctionType,
    FunctionTypeAnalysis,
)


# ============================================================================
# 4a. FunctionType / FunctionTypeAnalysis
# ============================================================================


class TestFunctionTypeEnum:
    def test_function_type_enum_values(self):
        assert FunctionType.USER.value == "USER"
        assert FunctionType.LIBRARY.value == "LIBRARY"
        assert FunctionType.EXTERNAL.value == "EXTERNAL"
        assert FunctionType.THUNK.value == "THUNK"
        assert FunctionType.UNKNOWN.value == "UNKNOWN"


class TestFunctionTypeAnalysis:
    def _make_function(self, symbol_type=None, is_thunk=False, raise_on_symbol=False):
        func = MagicMock()
        func.is_thunk = is_thunk
        if raise_on_symbol:
            type(func).symbol = property(lambda self: (_ for _ in ()).throw(Exception("no symbol")))
        else:
            func.symbol.type = symbol_type if symbol_type is not None else SymbolType.FunctionSymbol
        return func

    def test_user_function_type(self):
        func = self._make_function(symbol_type=SymbolType.FunctionSymbol)
        analysis = FunctionTypeAnalysis(func)
        assert analysis.get_function_type() == FunctionType.USER

    def test_external_function_type(self):
        func = self._make_function(symbol_type=SymbolType.ImportedFunctionSymbol)
        analysis = FunctionTypeAnalysis(func)
        assert analysis.get_function_type() == FunctionType.EXTERNAL

    def test_library_function_type(self):
        func = self._make_function(symbol_type=SymbolType.LibraryFunctionSymbol)
        analysis = FunctionTypeAnalysis(func)
        assert analysis.get_function_type() == FunctionType.LIBRARY

    def test_thunk_function_type(self):
        # Thunk overrides the symbol type
        func = self._make_function(
            symbol_type=SymbolType.FunctionSymbol, is_thunk=True
        )
        analysis = FunctionTypeAnalysis(func)
        assert analysis.get_function_type() == FunctionType.THUNK

    def test_exception_returns_unknown(self):
        func = self._make_function(raise_on_symbol=True)
        analysis = FunctionTypeAnalysis(func)
        assert analysis.get_function_type() == FunctionType.UNKNOWN