package common

Get desktop application:
View/edit binary Protocol Buffers messages

Used in: memory_pol, configuration.configuration, configuration.input_t, instruction_pol.cpuid_pol, libcall_types.atoi_pol, libcall_types.bsearch_pol, libcall_types.ctype_b_loc_pol, libcall_types.fgetc_pol, libcall_types.fread_pol, libcall_types.free_pol, libcall_types.fscanf_pol, libcall_types.generic_pol, libcall_types.gethostname_pol, libcall_types.getmainargs_pol, libcall_types.getmodulehandle_pol, libcall_types.getprocaddress_pol, libcall_types.lseek_pol, libcall_types.malloc_pol, libcall_types.memcmp_pol, libcall_types.memcpy_pol, libcall_types.memset_pol, libcall_types.mmap_pol, libcall_types.open_pol, libcall_types.printf_pol, libcall_types.qsort_pol, libcall_types.read_pol, libcall_types.realloc_pol, libcall_types.strchr_pol, libcall_types.strcmp_pol, libcall_types.strcpy_pol, libcall_types.strncmp_pol, libcall_types.strncpy_pol

• DEFAULT = 0

• PATCH = 1

  Pinsec:patch Binsec:/

• CONC = 2

  Pinsec:get val Binsec:Concretize

• SYMB = 3

  Pinsec:get val Binsec:Symbolize

• LOGIC = 4

  Pinsec:get val Binsec:Apply logical computation if possible

• IGNORE = 5

Used in: configuration.configuration

• FORWARD = 1

• BACKWARD = 2

Used in: configuration.configuration

• UNKNOWN_CVT = 0

• CDECL = 1

• FASTCALL = 2

• STDCALL = 3

• THISCALL = 4

Used in: configuration.input_t

• required string name = 1

• required bytes value = 2

Used in: message_decode_instr, message_decode_instr_reply.instr_entry, message_start_symb_exec, trace_format.header_t

• DBA = 1

• BAP = 2

• MIASM = 3

  .......

Used in: libcall_types.atoi_pol, libcall_types.bsearch_pol, libcall_types.ctype_b_loc_pol, libcall_types.fread_pol, libcall_types.gethostname_pol, libcall_types.getmainargs_pol, libcall_types.getmodulehandle_pol, libcall_types.getprocaddress_pol, libcall_types.memcpy_pol, libcall_types.memset_pol, libcall_types.mmap_pol, libcall_types.open_pol, libcall_types.printf_pol, libcall_types.qsort_pol, libcall_types.read_pol, libcall_types.strchr_pol, libcall_types.strcmp_pol, libcall_types.strcpy_pol

• optional action addr = 1

• optional action value = 2

Used in: configuration.configuration, configuration.input_t, libcall_types.atoi_t, libcall_types.bsearch_t, libcall_types.ctype_b_loc_t, libcall_types.fread_t, libcall_types.fstat_t, libcall_types.fxstat64_t, libcall_types.gethostname_t, libcall_types.getmainargs_t, libcall_types.getmodulehandle_t, libcall_types.getprocaddress_t, libcall_types.memcpy_t, libcall_types.memset_t, libcall_types.mmap_t, libcall_types.open_t, libcall_types.printf_t, libcall_types.qsort_t, libcall_types.read_t, libcall_types.strcpy_t, trace_format.ins_con_info_t

• required uint64 addr = 1

• required bytes value = 2

Used in: register_value_t, trace_format.header_t

• INVALID_SIZE = 0

• BIT8 = 1

• BIT16 = 2

• BIT32 = 3

• BIT64 = 4

• BIT80 = 5

• BIT128 = 6

• BIT256 = 7

Used in: configuration.input_t, trace_format.ins_con_info_t

• required string name = 1

• required register_value_t value = 2

Used in: register_t

• required proto_size_t typeid = 1

• oneof value_cnt

  • uint32 value_8 = 2

  • uint32 value_16 = 3

  • uint32 value_32 = 4

  • uint64 value_64 = 5

  • bytes value_80 = 6

  • bytes value_128 = 7

  • bytes value_256 = 8

Used in: analysis_config.generic_analysis_results

• UNKNOWN = 0

• SAT = 1

• UNSAT = 2

• TIMEOUT = 3

Used in: configuration.configuration, message_start_symb_exec

• Z3 = 1

• BOOLECTOR = 2

• CVC4 = 3

• YICES = 4

Used in: libcall_types.libcall_pol, syscall_types.syscall_pol

• SKIP = 0

• INTO = 1