Module ATDGenerated.Jsonbug_t

type transitive_callee_resolution = [
  1. | `ResolvedUsingDynamicType
  2. | `ResolvedUsingStaticType
  3. | `Unresolved
]
val equal_transitive_callee_resolution : transitive_callee_resolution -> transitive_callee_resolution -> bool
type transitive_callee_kind = [
  1. | `Static
  2. | `Virtual
  3. | `Closure
]
val equal_transitive_callee_kind : transitive_callee_kind -> transitive_callee_kind -> bool
type transitive_callee = {
  1. callsite_filename : string;
  2. callsite_absolute_position_in_file : int;
  3. caller_name : string;
  4. callsite_relative_position_in_caller : int;
  5. kind : transitive_callee_kind;
  6. resolution : transitive_callee_resolution;
}
val equal_transitive_callee : transitive_callee -> transitive_callee -> bool
type taint_extra = {
  1. taint_source : string option;
  2. taint_sink : string option;
  3. taint_policy_privacy_effect : string option;
  4. tainted_expression : string option;
}
val equal_taint_extra : taint_extra -> taint_extra -> bool
type missed_capture = {
  1. class_name : string;
}
val equal_missed_capture : missed_capture -> missed_capture -> bool
type loc = {
  1. file : string;
  2. lnum : int;
  3. cnum : int;
  4. enum : int;
}
val equal_loc : loc -> loc -> bool
type json_trace_item = {
  1. level : int;
  2. filename : string;
  3. line_number : int;
  4. column_number : int;
  5. description : string;
}
val equal_json_trace_item : json_trace_item -> json_trace_item -> bool
type config_usage_extra = {
  1. config_name : string;
  2. function_name : string;
  3. filename : string;
  4. line_number : int;
}
val equal_config_usage_extra : config_usage_extra -> config_usage_extra -> bool
type extra = {
  1. cost_polynomial : string option;
  2. cost_degree : int option;
  3. copy_type : string option;
  4. config_usage_extra : config_usage_extra option;
  5. taint_extra : taint_extra option;
  6. transitive_callees : transitive_callee list;
  7. transitive_missed_captures : missed_capture list;
}
val equal_extra : extra -> extra -> bool
type jsonbug = {
  1. bug_type : string;
  2. qualifier : string;
  3. suggestion : string option;
  4. severity : string;
  5. category : string;
  6. line : int;
  7. column : int;
  8. procedure : string;
  9. procedure_start_line : int;
  10. file : string;
  11. bug_trace : json_trace_item list;
  12. bug_trace_length : int;
  13. bug_trace_max_depth : int;
  14. key : string;
  15. node_key : string option;
  16. hash : string;
  17. dotty : string option;
  18. infer_source_loc : loc option;
  19. bug_type_hum : string;
  20. traceview_id : int option;
  21. censored_reason : string option;
  22. access : string option;
  23. extras : extra option;
}
val equal_jsonbug : jsonbug -> jsonbug -> bool
type report = jsonbug list
val equal_report : report -> report -> bool