C. Barry Jay

36 papers A 4B 2C 1Journal 15Unranked 11
YearRankTypeTitle / Venue / Authors
2011 A conf
ICFP
C. Barry Jay, Jens Palsberg
2009 J jnl
J. Funct. Program.
C. Barry Jay, Delia Kesner
2007 J jnl
Int. J. Found. Comput. Sci.
Joachim Gudmundsson, C. Barry Jay
2007 ed.
CATS
Joachim Gudmundsson, C. Barry Jay
2006 conf
ACSC
Clara Murdaca, C. Barry Jay
2006 conf
CASCON
Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn
2006 conf
ACSC
Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn
2006 A conf
ESOP
C. Barry Jay, Delia Kesner
2006 ed.
CATS
Joachim Gudmundsson, C. Barry Jay
2004 conf
CATS
C. Barry Jay, H. Y. Lu, Q. T. Nguyen
2004 J jnl
ACM Trans. Program. Lang. Syst.
C. Barry Jay
2001 conf
TLCA
C. Barry Jay
2000 J jnl
Sci. Comput. Program.
C. Barry Jay
2000 conf
ACSC
Brian Lederer, Valentina Plekhanova, C. Barry Jay
1999 B conf
MFPS
C. Barry Jay
1999 conf
CTCS
Eugenio Moggi, Gianna Bellè, C. Barry Jay
1999 C conf
PEPM
C. Barry Jay
1999 J jnl
Int. J. Softw. Tools Technol. Transf.
C. Barry Jay
1999 ch.
Research Directions in Parallel Functional Programming
C. Barry Jay
1998 J jnl
J. Funct. Program.
C. Barry Jay, Gianna Bellè, Eugenio Moggi
1998 B conf
COMPSAC
Jens Palsberg, C. Barry Jay
1998 A conf
ESOP
C. Barry Jay, Paul Steckler
1997 conf
Euro-Par
C. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler
1997 J jnl
Theor. Comput. Sci.
C. Barry Jay
1997 conf
Category Theory and Computer Science
C. Barry Jay
1996 conf
PLILP
Gianna Bellè, C. Barry Jay, Eugenio Moggi
1996 J jnl
Theor. Comput. Sci.
C. Barry Jay, John Staples
1996 J jnl
ACM Comput. Surv.
C. Barry Jay
1995 J jnl
Sci. Comput. Program.
C. Barry Jay
1995 J jnl
J. Funct. Program.
C. Barry Jay, Neil Ghani
1994 A conf
ESOP
C. Barry Jay, J. Robin B. Cockett
1993 J jnl
Theor. Comput. Sci.
C. Barry Jay
1992 J jnl
Notre Dame J. Formal Log.
C. Barry Jay
1992 J jnl
RAIRO Theor. Informatics Appl.
Bernhard Steffen, C. Barry Jay, Michael Mendler
1991 conf
Category Theory and Computer Science
C. Barry Jay
1989 J jnl
Stud Logica
C. Barry Jay
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"