Default package

Get desktop application:
View/edit binary Protocol Buffers messages

• required uint64 addr = 1

• repeated message_decode_instr.instr_entry instrs = 1

• optional message_decode_instr.bin_kind kind = 2

• optional common.ir_kind_t irkind = 3

Used in: message_decode_instr

• HEXA = 1

• BIN = 2

Used in: message_decode_instr

• required string instr = 1

• optional uint64 base_addr = 2

• repeated message_decode_instr_reply.instr_entry instrs = 1

Used in: message_decode_instr_reply

• required string opcode = 1

• required common.ir_kind_t irkind = 2

• oneof instrs_cnt

  • dba.dba_list dba_instrs = 3

• required uint32 nb_workers = 1

• repeated string analyses = 2

• repeated string solvers = 3

• required message_output.output_kind type = 1

• required string message = 2

• optional uint32 ram_total = 3

• optional uint32 ram_free = 4

• optional uint32 ram_available = 5

Used in: message_output

• SUCCESS = 1

• RESULT = 2

• DEBUG = 3

• WARNING = 4

• ERROR = 5

• FAILURE = 6

• repeated configuration.input_t patch = 1

• required uint64 start = 1

• required uint64 stop = 2

• optional uint32 size_chunks = 3

• repeated uint64 breakpoints = 4

• repeated configuration.input_t inputs = 5

• repeated uint64 skips = 6

• required message_start_symb_exec.trace_kind trace_type = 1

• required string name = 2

• optional common.solver_t solver = 3

• optional configuration.configuration config = 4

• optional common.ir_kind_t irkind = 5

• optional bool formula_optim_cstfold = 6

• optional bool formula_optim_rebase = 7

• optional bool formula_optim_row = 8

• required uint32 verbose = 9

• optional uint64 addr_predicate = 10

• optional string predicate = 11

• optional string trace_filename = 12

Used in: message_start_symb_exec

• FILE = 1

• STREAM = 2