package configuration

Get desktop application:
View/edit binary Protocol Buffers messages

Used in: configuration

• required uint64 address = 1

• required string name = 2

Used in: message_start_symb_exec

• optional uint64 start = 1

• optional uint64 stop = 2

• repeated uint64 call_skips = 3

  equivalent to old skip-full

• repeated uint64 fun_skips = 4

  equivalent to skip-auto

• repeated libcall_types.libcall_pol libcalls = 5

• repeated syscall_types.syscall_pol syscalls = 6

• repeated instruction_pol.instr_pol instrs = 7

  Used by Binsec only

• repeated string policy = 8

  Used by Binsec only

• repeated input_t inputs = 9

  use both to patch or gather additional concrete infos

• repeated call_name_t call_map = 10

• repeated uint64 breakpoints = 11

• repeated common.memory_t initial_state = 12

• optional common.analysis_direction_t direction = 13

  Analysis config

• optional uint32 ksteps = 14

• optional string analysis_name = 15

• optional common.solver_t solver = 16

• optional bool incremental = 17

• optional uint32 timeout = 18

• optional bool optim_cstprop = 19

• optional bool optim_rebase = 20

• optional bool optim_row = 21

• optional bool optim_rowplus = 26

• optional bool optim_eqprop = 27

• optional common.call_convention_t callcvt = 22

• optional common.action default_action = 23

• optional uint32 verbosity = 24

• optional analysis_config.specific_parameters_t additional_parameters = 25

  Analysis specific parameters

Used in: configuration, message_patch, message_start_exec

• required input_t.input_kind typeid = 1

• required uint64 address = 2

• required input_t.when_t when = 3

• required common.action action = 4

  Pin DEFAULT,SYMB=/, CONC=retrieve valu, PATH=patch value

• optional uint32 iteration = 100

  iteration for patching point

• oneof input_cnt

  • common.register_t reg = 7

    for reg

  • common.memory_t mem = 8

    for mem

  • common.indirect_register_t indirect = 9

    for indirect

Used in: input_t

• REG = 0

• MEM = 1

• INDIRECT = 2

Used in: input_t

• BEFORE = 0

• AFTER = 1