Carlos Diego Nascimento Damasceno

21 papers A 2B 2Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Sci. Comput. Program.
Carlos Diego Nascimento Damasceno, Marie-Christine Jakobs, Leen Lambers, Sebastián Uchitel
2023 A conf
MODELS
Bharat Garhewal, Carlos Diego Nascimento Damasceno
2023 conf
MoDELS (Companion)
Lars van Arragon, Carlos Diego Nascimento Damasceno, Daniel Strüber
2022 J jnl
CoRR
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
2022 conf
SPLC (A)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
2022 conf
SPLC (B)
David Korsman, Carlos Diego Nascimento Damasceno, Daniel Strüber
2022 J jnl
CoRR
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
2022 conf
SPLC (A)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
2022 conf
A Journey from Process Algebra via Timed Automata to Model Learning
Carlos Diego Nascimento Damasceno, Daniel Strüber
2022 J jnl
CoRR
Carlos Diego Nascimento Damasceno, Daniel Strüber
2022 B conf
SEAA
Niels van Harten, Carlos Diego Nascimento Damasceno, Daniel Strüber
2021 J jnl
Empir. Softw. Eng.
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
2021 A conf
MoDELS
Carlos Diego Nascimento Damasceno, Daniel Strüber
2021 J jnl
CoRR
Carlos Diego Nascimento Damasceno, Daniel Strüber
2021 J jnl
CoRR
Carlos Diego Nascimento Damasceno, Fábio Manoel França Lobato, Elton Rocha Moutinho, Arilene Santos de França, Ivan Ikikame de Oliveira, Ádamo Lima de Santana
2021 J jnl
CoRR
Carlos Diego Nascimento Damasceno, Isotilia Costa Melo, Daniel Strüber
2019 conf
SPLC (A)
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
2019 B conf
IFM
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão
2018 J jnl
J. Softw. Eng. Res. Dev.
Carlos Diego Nascimento Damasceno, Paulo César Masiero, Adenilso da Silva Simão
2016 conf
SBES
Carlos Diego Nascimento Damasceno, Paulo César Masiero, Adenilso Simão
2015 conf
SBCARS
Gabriel Abdalla, Carlos Diego Nascimento Damasceno, Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa
redb/extractors/decompiler/bninja/instruction_type.py
← Index redb/extractors/decompiler/bninja/instruction_type.py python
from enum import Enum


class InstructionType(Enum):
    # Data Movement
    GENERAL_DATA_MOVEMENT = "GENERAL_DATA_MOVEMENT"  # mov, lea, xchg
    STACK_MANAGEMENT = "STACK_MANAGEMENT"  # push, pop, enter, leave
    STRING_MANIPULATION = "STRING_MANIPULATION"  # movs, lods, stos, cmps

    # Arithmetic
    BASIC_ARITHMETIC = "BASIC_ARITHMETIC"  # add, sub, inc, dec
    MULTIPLICATION_DIVISION = "MULTIPLICATION_DIVISION"  # mul, div, imul, idiv
    CARRY_ARITHMETIC = "CARRY_ARITHMETIC"  # adc, sbb

    # Logical
    BITWISE_LOGIC = "BITWISE_LOGIC"  # and, or, xor, not
    CONDITIONAL_LOGIC = "CONDITIONAL_LOGIC"  # test, cmp, setX

    # Control Flow
    UNCONDITIONAL_JUMP = "UNCONDITIONAL_JUMP"  # jmp
    CONDITIONAL_JUMP = "CONDITIONAL_JUMP"  # je, jne, jl, jg, etc
    FUNCTION_CONTROL = "FUNCTION_CONTROL"  # call, ret
    LOOPING = "LOOPING"  # loop, loopz, loopnz

    # System
    SYSTEM_CALLS = "SYSTEM_CALLS"  # syscall, int, sysenter
    PRIVILEGED_INSTRUCTIONS = "PRIVILEGED_INSTRUCTIONS"  # hlt, cli, sti
    CPU_FEATURES = "CPU_FEATURES"  # cpuid, rdtsc

    # SIMD & FPU
    SSE_SIMD = "SSE_SIMD"  # SSE instructions
    AVX_SIMD = "AVX_SIMD"  # AVX instructions
    BASIC_FPU = "BASIC_FPU"  # fld, fst, fstp
    FPU_ARITHMETIC = "FPU_ARITHMETIC"  # fadd, fsub, etc

    # Bit Operations
    SHIFT_ROTATE = "SHIFT_ROTATE"  # shl, shr, rol, ror
    BIT_TEST_MODIFY = "BIT_TEST_MODIFY"  # bt, bts, btr, btc

    # Special
    CRYPTOGRAPHIC_OPS = "CRYPTOGRAPHIC_OPS"  # aesenc, aesdec, sha1rnds4
    MISC_OPS = "MISC_OPS"