Neeraj Kumar

22 papers A* 3A 1Misc 1Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Vaishali Surianarayanan, Neeraj Kumar, Stavros Sintos
2025 J jnl
Proc. ACM Manag. Data
Vaishali Surianarayanan, Neeraj Kumar, Stavros Sintos
2025 J jnl
IEEE Trans. Netw. Serv. Manag.
Chang-Lin Chen, Hanhan Zhou, Jiayu Chen, Mohammad Pedramfar, Tian Lan, Zheqing Zhu, Chi Zhou, Pol Mauri Ruiz, Neeraj Kumar, Hongbo Dong, Vaneet Aggarwal
2024 A* conf
OSDI
Neeraj Kumar, Pol Mauri Ruiz, Vijay Menon, Igor Kabiljo, Mayank Pundir, Andrew Newell, Daniel Lee, Liyuan Wang, Chunqiang Tang
2023 J jnl
CoRR
Chang-Lin Chen, Hanhan Zhou, Jiayu Chen, Mohammad Pedramfar, Vaneet Aggarwal, Tian Lan, Zheqing Zhu, Chi Zhou, Tim Gasser, Pol Mauri Ruiz, Vijay Menon, Neeraj Kumar, Hongbo Dong
2022 A* conf
SoCG
Neeraj Kumar, Daniel Lokshtanov, Saket Saurabh, Subhash Suri, Jie Xue
2022 J jnl
CoRR
Neeraj Kumar, Daniel Lokshtanov, Saket Saurabh, Subhash Suri, Jie Xue
2022 J jnl
Comput. Geom.
Neeraj Kumar, Stavros Sintos, Subhash Suri
2021 A* conf
SODA
Neeraj Kumar, Daniel Lokshtanov, Saket Saurabh, Subhash Suri
2021 J jnl
CoRR
Neeraj Kumar, Stavros Sintos, Subhash Suri
2020 J jnl
CoRR
Neeraj Kumar, Daniel Lokshtanov, Saket Saurabh, Subhash Suri
2020
Neeraj Kumar
2020 J jnl
Comput. Geom.
Sayan Bandyapadhyay, Neeraj Kumar, Subhash Suri, Kasturi R. Varadarajan
2020 J jnl
Algorithmica
John Hershberger, Neeraj Kumar, Subhash Suri
2019 conf
SEA²
Neeraj Kumar
2019 conf
APPROX-RANDOM
Neeraj Kumar, Stavros Sintos, Subhash Suri
2018 conf
SWAT
Pankaj K. Agarwal, Neeraj Kumar, Stavros Sintos, Subhash Suri
2018 conf
APPROX-RANDOM
Sayan Bandyapadhyay, Neeraj Kumar, Subhash Suri, Kasturi R. Varadarajan
2017 A conf
ESA
John Hershberger, Neeraj Kumar, Subhash Suri
2016 conf
CCCG
Martin Fink, Neeraj Kumar, Subhash Suri
2015 J jnl
CoRR
Therese Biedl, Sebastian Fischmeister, Neeraj Kumar
2014 Misc conf
EMSOFT
Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco, Sebastian Fischmeister
redb/extractors/decompiler/bninja/analysis/low_level_normalization.py
← Index redb/extractors/decompiler/bninja/analysis/low_level_normalization.py python
from binaryninja import (
    ILRegister, ILRegisterStack, ILFlag,
    ILIntrinsic, ILSemanticFlagGroup,
)

class LowLevelNormalization:
    def __init__(self):
        return

    def _collect_ops(self, il, ops):
        if il is None:
            return
        ops.append(int(il.operation))
        operands = getattr(il, "operands", None)
        if not operands:
            return
        for op in operands:
            if hasattr(op, "operation"):
                self._collect_ops(op, ops)
            elif isinstance(op, (list, tuple)):
                for sub in op:
                    if hasattr(sub, "operation"):
                        self._collect_ops(sub, ops)

    def normalize_instruction_all_levels(self, instr_il):
        ops = []
        self._collect_ops(instr_il, ops)

        return ops

    def _leaf_type(self, val):
        if isinstance(val, ILRegister):
            return "REG"
        if isinstance(val, ILRegisterStack):
            return "REG_STACK"
        if isinstance(val, ILFlag):
            return "FLAG"
        if isinstance(val, ILSemanticFlagGroup):
            return "FLAG_GROUP"
        if isinstance(val, ILIntrinsic):
            return "INTRINSIC"
        if isinstance(val, bool):
            return "BOOL"
        if isinstance(val, int):
            return "CONST"
        return type(val).__name__.upper()

    def _collect(self, il, out):
        if il is None:
            return
        out.append(int(il.operation))
        operands = getattr(il, "operands", None)
        if not operands:
            return
        for op in operands:
            if hasattr(op, "operation"):
                self._collect(op, out)
            elif isinstance(op, (list, tuple)):
                for sub in op:
                    if hasattr(sub, "operation"):
                        self._collect(sub, out)
                    else:
                        out.append(self._leaf_type(sub))
            else:
                out.append(self._leaf_type(op))

    def normalize_instr_with_operands(self, instr_il):
        ops = []
        self._collect(instr_il, ops)
        return ops