Karsten Stahl

18 papers A 3B 2C 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2024 conf
IEEM
Bernhard Rupprecht, Birgit Vogel-Heuser, Dominik Hujo, Alejandra Vicaria, Erich Knoll, Karsten Stahl, Matthias Ochs, Ralf Brederlow
2024 J jnl
Adv. Model. Simul. Eng. Sci.
Thomas Schneider, Alexandre Beiderwellen Bedrikow, Karsten Stahl
2024 J jnl
Int. J. Intell. Robotics Appl.
Stefan Landler, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
2024 J jnl
Frontiers Robotics AI
Florian Oberneder, Stefan Landler, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
2024 A conf
IROS
Simon Fritsch, Stefan Landler, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
2024 J jnl
Autom.
Birgit Vogel-Heuser, Mingxi Zhang, Bjarne Lahrsen, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann
2023 conf
CASE
Bernhard Rupprecht, Stefan Sendlbeck, Birgit Vogel-Heuser, Ralf Brederlow, Erich Knoll, Karsten Stahl
2023 C conf
ISM
Marcus Volpert, Birgit Vogel-Heuser, Dominik Hujo, Karsten Stahl, Markus Zimmermann
2023 A conf
IROS
Stefan Landler, Raúl Molina Blanco, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
2023 C conf
IECON
Birgit Vogel-Heuser, Dominik Hujo, Marcus Volpert, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann
2020 B conf
SMC
Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl, Kathrin Land, Felix Ocker, Sebastian Rötzer, Stefan Landler, Michael Otto
2003
Karsten Stahl
2002 B conf
VMCAI
Kai Baukus, Yassine Lakhnech, Karsten Stahl
2001 conf
VEPAS
Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
2001 J jnl
J. Univers. Comput. Sci.
Kai Baukus, Yassine Lakhnech, Karsten Stahl
2000 A conf
TACAS
Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
2000 conf
FTRTFT
Kai Baukus, Yassine Lakhnech, Karsten Stahl
1999 conf
SPIN
Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
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"