Rami Atar

39 papers B 3Journal 33Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Math. Oper. Res.
Rami Atar, Eyal Castiel, Yonatan Shadmi
2023 J jnl
SIAM J. Math. Anal.
Rami Atar, Weining Kang, Haya Kaspi, Kavita Ramanan
2022 J jnl
Math. Oper. Res.
Rami Atar, Amarjit Budhiraja, Paul Dupuis, Ruoyu Wu
2022 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Eyal Castiel, Martin I. Reiman
2021 J jnl
Math. Oper. Res.
Rami Atar, David Lipshutz
2019 J jnl
Math. Oper. Res.
Mor Armony, Rami Atar, Harsha Honnappa
2019 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Isaac Keslassy, Gal Mendelson
2019 J jnl
Oper. Res.
Rami Atar, Isaac Keslassy, Gal Mendelson
2018 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Anat Lev-Ari
2018 J jnl
Math. Oper. Res.
Rami Atar, Anat Lev-Ari
2017 J jnl
Math. Oper. Res.
Rami Atar, Subhamay Saha
2017 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Subhamay Saha
2016 J jnl
Math. Oper. Res.
Rami Atar, Asaf Cohen
2016 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Gal Mendelson
2015 J jnl
Math. Oper. Res.
Rami Atar, Anup Biswas, Haya Kaspi
2015 J jnl
IEEE Trans. Inf. Theory
Rami Atar, Neri Merhav
2015 B conf
ISIT
Rami Atar, Neri Merhav
2015 J jnl
SIAM/ASA J. Uncertain. Quantification
Rami Atar, Kenny Chowdhary, Paul Dupuis
2014 J jnl
Math. Oper. Res.
Rami Atar, Haya Kaspi, Nahum Shimkin
2014 J jnl
CoRR
Rami Atar, Neri Merhav
2014 J jnl
Perform. Evaluation
Rami Atar, Israel Cidon, Mark Shifrin
2013 B conf
IM
Mark Shifrin, Rami Atar, Israel Cidon
2013 J jnl
SIAM J. Control. Optim.
Rami Atar, Anindya Goswami, Adam Shwartz
2012 J jnl
Oper. Res.
Rami Atar
2012 conf
Allerton Conference
Rami Atar, Avishai Mandelbaum, Asaf Zviran
2012 J jnl
IEEE Trans. Inf. Theory
Rami Atar, Tsachy Weissman
2011 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Yair Y. Shaki, Adam Shwartz
2011 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Nir Solomon
2011 J jnl
CoRR
Rami Atar, Tsachy Weissman
2011 B conf
ISIT
Rami Atar, Tsachy Weissman
2011 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Chanit Giat, Nahum Shimkin
2010 J jnl
Oper. Res.
Rami Atar, Chanit Giat, Nahum Shimkin
2009 J jnl
Math. Oper. Res.
Rami Atar, Avi Mandelbaum, Gennady Shaikhet
2008 conf
VALUETOOLS
Rami Atar
2008 J jnl
Math. Oper. Res.
Rami Atar, Adam Shwartz
2008 conf
VALUETOOLS
Rami Atar, Chanit Giat, Nahum Shimkin
2004 J jnl
Syst. Control. Lett.
Rami Atar, Avi Mandelbaum, Martin I. Reiman
2004 J jnl
Queueing Syst. Theory Appl.
Rami Atar, Adam Shwartz, Paul Dupuis
2003 J jnl
Math. Oper. Res.
Rami Atar, Paul Dupuis, Adam Shwartz
redb/extractors/decompiler/bninja/function_type.py
← Index redb/extractors/decompiler/bninja/function_type.py python
from enum import Enum

import binaryninja


class FunctionType(Enum):
    USER = "USER"
    LIBRARY = "LIBRARY"
    EXTERNAL = "EXTERNAL"
    THUNK = "THUNK"
    UNKNOWN = "UNKNOWN"


class FunctionTypeAnalysis:
    """Get the function kind based on the symbol type associated to this function"""

    def __init__(self, function):
        """Sets the function type dependent on the symbol type associated to this function. If
        any errors occur, then returns UNKNOWN
        """
        self.func_type = FunctionType.USER

        try:
            symbol_type = function.symbol.type
            # Check if it's an external function (there should not be, already skipping these)
            if symbol_type == binaryninja.enums.SymbolType.ImportedFunctionSymbol:
                self.func_type = FunctionType.EXTERNAL

            # Library functions detected by Binary Ninja
            if symbol_type == binaryninja.enums.SymbolType.LibraryFunctionSymbol:
                self.func_type = FunctionType.LIBRARY

            # Check if it's a thunk function
            if function.is_thunk:
                self.func_type = FunctionType.THUNK

        except Exception as _:
            self.func_type = FunctionType.UNKNOWN

    def get_function_type(self):
        return self.func_type