package dba

Get desktop application:
View/edit binary Protocol Buffers messages

Used in: dbacodeaddress, dbaexpr

• required uint64 bv = 1

• required uint32 size = 2

Used in: dbainstr

• required codeaddress.typeid_codeaddress typeid = 1

• optional uint32 offset = 2

• optional dbacodeaddress address = 3

Used in: codeaddress

• Local = 0

• NonLocal = 1

Used in: dbainstr

• required dbaLhs.typeid_dbalhs typeid = 1

• optional string name = 2

• optional uint32 size = 3

• optional uint32 low = 4

• optional uint32 high = 5

• optional endianness endian = 6

• optional dbaexpr expr = 7

Used in: dbaLhs

• DbaLhsVar = 1

• DbaLhsVarRestrict = 2

• DbaStore = 3

Used in: message_decode_instr_reply.instr_entry, trace_format.instruction_t

• repeated dbainstr instrs = 1

Used in: codeaddress, dbainstr, dbatag

• required bitvector bitvector = 1

• required uint32 dbaoffset = 2

Used in: dbaexpr, dbainstr

• required dbacond.typeid_dbacond typeid = 1

• optional dbaexpr expr = 2

• optional dbacond cond1 = 3

• optional dbacond cond2 = 4

Used in: dbacond

• DbaCondReif = 1

• DbaCondNot = 2

• DbaCondAnd = 3

• DbaCondOr = 4

• DbaTrue = 5

• DbaFalse = 6

Used in: dbaLhs, dbacond, dbainstr

• required dbaexpr.typeid_dbaexpr typeid = 1

• optional string name = 2

• optional uint32 size = 3

• optional endianness endian = 4

• optional bitvector bitvector = 5

• optional dbaexpr expr1 = 6

• optional dbaexpr expr2 = 7

• optional dbaexpr.dbaunary unaryop = 9

• optional dbaexpr.dbabinary binaryop = 10

• optional uint32 low = 11

• optional uint32 high = 12

• optional dbacond cond = 13

Used in: dbaexpr

• DbaPlus = 1

• DbaMinus = 2

• DbaMultU = 3

• DbaMultS = 4

• DbaDivU = 6

• DbaDivS = 7

• DbaModU = 8

• DbaModS = 9

• DbaOr = 10

• DbaAnd = 11

• DbaXor = 12

• DbaConcat = 13

• DbaLShiftU = 14

• DbaRShiftU = 15

• DbaRShiftS = 16

• DbaLeftRotate = 17

• DbaRightRotate = 18

• DbaEq = 19

• DbaDiff = 20

• DbaLeqU = 21

• DbaLtU = 22

• DbaGeqU = 23

• DbaGtU = 24

• DbaLeqS = 25

• DbaLtS = 26

• DbaGeqS = 27

• DbaGtS = 28

Used in: dbaexpr

• DbaUnaryMinus = 1

• DbaUnaryNot = 2

Used in: dbaexpr

• DbaExprVar = 1

• DbaLoad = 2

• DbaExprCst = 3

• DbaExprUnary = 4

• DbaExprBinary = 5

• DbaExprRestrict = 6

• DbaExprExtU = 7

• DbaExprExtS = 8

• DbaExprIte = 9

• DbaExprAlternative = 10

Used in: dba_list

• required dbainstr.typeid_instrkind typeid = 1

• required dbacodeaddress location = 2

• optional dbaLhs lhs = 3

• optional dbaexpr expr = 4

• optional uint32 offset = 5

• optional codeaddress address = 6

• optional dbatag tags = 7

• optional dbacond cond = 8

• optional dbastopstate stopinfos = 9

• repeated dbaexpr exprs = 10

Used in: dbainstr

• DbaIkAssign = 1

• DbaIkSJump = 2

• DbaIkDJump = 3

• DbaIkIf = 4

• DbaIkStop = 5

• DbaIkAssert = 6

• DbaIkAssume = 7

• DbaIkNondetAssume = 8

• DbaIkNondet = 9

• DbaIkUndef = 10

• DbaIkMalloc = 11

• DbaIkFree = 12

• DbaIkPrint = 13

Used in: dbainstr

• required dbastopstate.typeid_dbastate typeid = 1

• optional string infos = 2

Used in: dbastopstate

• Ok = 1

• Ko = 2

• Undefined = 3

• Unsupported = 4

Used in: dbainstr

• required dbatag.typeid_dbatag typeid = 1

• optional dbacodeaddress address = 2

Used in: dbatag

• DbaCall = 1

• DbaReturn = 2

Used in: dbaLhs, dbaexpr

• Little = 1

• Big = 2