package analysis_config

Get desktop application:
View/edit binary Protocol Buffers messages

------------- Call/Ret Analysis ---------------

• repeated callret_analysis_results.ret_data values = 1

Used in: ret_data

• required uint64 addr = 1

• required callret_status status = 2

Used in: ret_data

• VIOLABLE = 1

• ALIGNED = 2

• DISALIGNED = 3

• CAN_RETURN = 4

• SINGLE = 5

• MULTIPLE = 6

• STRONG = 7

• WEAK = 8

• SOLVER_WRONG = 9

• NO_CALL = 10

• HAS_RETURNED = 11

Used in: call_data, ret_data

• OK = 1

• VIOL = 2

Used in: callret_analysis_results

• required uint64 ret_addr = 1

• required callret_status status = 2

• repeated callret_labels labels = 3

• repeated uint64 returnsites = 4

• required uint32 solve_count = 5

• repeated call_data calls = 6

------------ Generic Analysis -------------

Used in: specific_parameters_t

• required generic_analysis.query_type kind = 1

• required uint64 target_addr = 2

• required string dba = 3

• optional uint32 limit_values = 4

• optional bool get_formula = 5

• optional uint64 from_addr = 6

• optional uint64 to_addr = 7

• optional uint64 restrict_values_from = 8

• optional uint64 restrict_values_to = 9

Used in: generic_analysis

• SATISFIABILITY = 0

• VALUES = 1

• required common.smt_result result = 1

• repeated uint64 values = 2

• optional string smt_formula = 3

--------- Opaque Predicates Analysis ----------

• repeated po_analysis_results.po_data values = 1

Used in: po_analysis_results

• required uint64 jmp_addr = 1

• required po_status status = 2

• required uint32 ksteps = 3

• required float computation_time = 4

• optional uint32 nb_paths = 5

• optional uint64 alive_branch = 6

• optional string formula = 7

Used in: po_data

• UNKNOWN = 1

  Partially covered formula SAT

• NOT_OPAQUE = 2

  Not opaque because fully covered

• OPAQUE = 3

  Formula UNSAT

• LIKELY = 4

  Formula TO

Used in: configuration.configuration

• required specific_parameters_t.analyse_type typeid = 1

• oneof analyse_param

  • generic_analysis generic_params = 2

  • standard_analysis standard_params = 3

    Put yours at 100

Used in: specific_parameters_t

• NONE = 0

• GENERIC = 1

• STANDARD = 2

  Put yours at 100

----------- Simple params ------------

Used in: specific_parameters_t

• optional uint64 target_addr = 1

• optional bool uniq = 2

• optional bool get_formula = 3