package sarif

  1. Overview
  2. Docs

Validation functions used by atdgen validator

val validate_iso8601_opt : string option -> bool
val re_mime_type : Re.Str.regexp
val validate_mime_type : string -> bool
val validate_mime_type_opt : string option -> bool
val validate_int64_minimum_zero : Int64.t -> bool
val validate_int64_minimum_zero_opt : Int64.t option -> bool
val validate_int64_minimum_one : Int64.t -> bool
val validate_int64_minimum_one_opt : Int64.t option -> bool
val validate_int64_minimum_minus_one : Int64.t -> bool
val re_guid : Re.Str.regexp
val validate_guid : string -> bool
val validate_guid_opt : string option -> bool
val re_dotted_quad_file : Re.Str.regexp
val validate_dotted_quad_file_v : string -> bool
val validate_dotted_quad_file_v_opt : string option -> bool
val re_language : Re.Str.regexp
val validate_language : string -> bool
val validate_language_opt : string option -> bool
val validate_unique : 'a list -> bool
val validate_unique_opt : 'a list option -> bool
val validate_rank : Int64.t -> bool
val validate_uri : string -> bool
val validate_uri_opt : string option -> bool
val validate_list_min_size_one : 'a list -> bool
val validate_list_all_str_list : string list option -> (string -> bool) -> bool
val validate_list_all_deprecated_guid_list : Sarif_v_2_1_0_t.reporting_descriptor_deprecated_guids_item list option -> (Sarif_v_2_1_0_t.reporting_descriptor_deprecated_guids_item -> bool) -> bool
val validate_address : Sarif_v_2_1_0_t.address -> bool

Validator for type address

val validate_artifact : Sarif_v_2_1_0_t.artifact -> bool

Validator for type artifact

val validate_artifact_location : Sarif_v_2_1_0_t.artifact_location -> bool

Validator for type artifact_location

val validate_artifact_mimetype : Sarif_v_2_1_0_t.artifact_mimetype -> bool

Validator for type artifact_mimetype

val validate_attachment : Sarif_v_2_1_0_t.attachment -> bool

Validator for type attachment

val validate_conversion : Sarif_v_2_1_0_t.conversion -> bool

Validator for type conversion

val validate_external_properties : Sarif_v_2_1_0_t.external_properties -> bool

Validator for type external_properties

val validate_external_properties_guid : Sarif_v_2_1_0_t.external_properties_guid -> bool

Validator for type external_properties_guid

val validate_edge_traversal : Sarif_v_2_1_0_t.edge_traversal -> bool

Validator for type edge_traversal

val validate_external_properties_run_guid : Sarif_v_2_1_0_t.external_properties_run_guid -> bool

Validator for type external_properties_run_guid

val validate_external_property_file_references : Sarif_v_2_1_0_t.external_property_file_references -> bool

Validator for type external_property_file_references

val validate_external_property_file_reference : Sarif_v_2_1_0_t.external_property_file_reference -> bool

Validator for type external_property_file_reference

val validate_external_property_file_reference_guid : Sarif_v_2_1_0_t.external_property_file_reference_guid -> bool

Validator for type external_property_file_reference_guid

val validate_fix : Sarif_v_2_1_0_t.fix -> bool

Validator for type fix

val validate_graph : Sarif_v_2_1_0_t.graph -> bool

Validator for type graph

val validate_graph_traversal_variant0 : Sarif_v_2_1_0_t.graph_traversal_variant0 -> bool

Validator for type graph_traversal_variant0

val validate_graph_traversal_variant1 : Sarif_v_2_1_0_t.graph_traversal_variant1 -> bool

Validator for type graph_traversal_variant1

val validate_invocation : Sarif_v_2_1_0_t.invocation -> bool

Validator for type invocation

val validate_location : Sarif_v_2_1_0_t.location -> bool

Validator for type location

val validate_location_relationship : Sarif_v_2_1_0_t.location_relationship -> bool

Validator for type location_relationship

val validate_logical_location : Sarif_v_2_1_0_t.logical_location -> bool

Validator for type logical_location

val validate_node : Sarif_v_2_1_0_t.node -> bool

Validator for type node

val validate_notification : Sarif_v_2_1_0_t.notification -> bool

Validator for type notification

val validate_property_bag : Sarif_v_2_1_0_t.property_bag -> bool

Validator for type property_bag

val validate_reporting_descriptor : Sarif_v_2_1_0_t.reporting_descriptor -> bool

Validator for type reporting_descriptor

val validate_reporting_configuration : Sarif_v_2_1_0_t.reporting_configuration -> bool

Validator for type reporting_configuration

val validate_reporting_descriptor_deprecated_guids_item : Sarif_v_2_1_0_t.reporting_descriptor_deprecated_guids_item -> bool

Validator for type reporting_descriptor_deprecated_guids_item

val validate_reporting_descriptor_guid : Sarif_v_2_1_0_t.reporting_descriptor_guid -> bool

Validator for type reporting_descriptor_guid

val validate_reporting_descriptor_relationship : Sarif_v_2_1_0_t.reporting_descriptor_relationship -> bool

Validator for type reporting_descriptor_relationship

val validate_reporting_descriptor_reference : Sarif_v_2_1_0_t.reporting_descriptor_reference -> bool

Validator for type reporting_descriptor_reference

val validate_reporting_descriptor_reference_guid : Sarif_v_2_1_0_t.reporting_descriptor_reference_guid -> bool

Validator for type reporting_descriptor_reference_guid

val validate_region : Sarif_v_2_1_0_t.region -> bool

Validator for type region

val validate_result : Sarif_v_2_1_0_t.result -> bool

Validator for type result

val validate_result_correlation_guid : Sarif_v_2_1_0_t.result_correlation_guid -> bool

Validator for type result_correlation_guid

val validate_result_guid : Sarif_v_2_1_0_t.result_guid -> bool

Validator for type result_guid

val validate_result_provenance : Sarif_v_2_1_0_t.result_provenance -> bool

Validator for type result_provenance

val validate_result_provenance_first_detection_run_guid : Sarif_v_2_1_0_t.result_provenance_first_detection_run_guid -> bool

Validator for type result_provenance_first_detection_run_guid

val validate_result_provenance_last_detection_run_guid : Sarif_v_2_1_0_t.result_provenance_last_detection_run_guid -> bool

Validator for type result_provenance_last_detection_run_guid

val validate_run : Sarif_v_2_1_0_t.run -> bool

Validator for type run

val validate_run_automation_details : Sarif_v_2_1_0_t.run_automation_details -> bool

Validator for type run_automation_details

val validate_run_language : Sarif_v_2_1_0_t.run_language -> bool

Validator for type run_language

val validate_run_automation_details_correlation_guid : Sarif_v_2_1_0_t.run_automation_details_correlation_guid -> bool

Validator for type run_automation_details_correlation_guid

val validate_run_automation_details_guid : Sarif_v_2_1_0_t.run_automation_details_guid -> bool

Validator for type run_automation_details_guid

val validate_run_baseline_guid : Sarif_v_2_1_0_t.run_baseline_guid -> bool

Validator for type run_baseline_guid

val validate_suppression : Sarif_v_2_1_0_t.suppression -> bool

Validator for type suppression

val validate_suppression_guid : Sarif_v_2_1_0_t.suppression_guid -> bool

Validator for type suppression_guid

val validate_sarif_json_schema : Sarif_v_2_1_0_t.sarif_json_schema -> bool

Validator for type sarif_json_schema

val validate_tool : Sarif_v_2_1_0_t.tool -> bool

Validator for type tool

val validate_tool_component : Sarif_v_2_1_0_t.tool_component -> bool

Validator for type tool_component

val validate_thread_flow_location : Sarif_v_2_1_0_t.thread_flow_location -> bool

Validator for type thread_flow_location

val validate_translation_metadata : Sarif_v_2_1_0_t.translation_metadata -> bool

Validator for type translation_metadata

val validate_tool_component_reference : Sarif_v_2_1_0_t.tool_component_reference -> bool

Validator for type tool_component_reference

val validate_tool_component_reference_guid : Sarif_v_2_1_0_t.tool_component_reference_guid -> bool

Validator for type tool_component_reference_guid

val validate_tool_component_dotted_quad_file_version : Sarif_v_2_1_0_t.tool_component_dotted_quad_file_version -> bool

Validator for type tool_component_dotted_quad_file_version

val validate_tool_component_guid : Sarif_v_2_1_0_t.tool_component_guid -> bool

Validator for type tool_component_guid

val validate_tool_component_language : Sarif_v_2_1_0_t.tool_component_language -> bool

Validator for type tool_component_language

val validate_version_control_details : Sarif_v_2_1_0_t.version_control_details -> bool

Validator for type version_control_details

val validate_web_request : Sarif_v_2_1_0_t.web_request -> bool

Validator for type web_request

val validate_web_response : Sarif_v_2_1_0_t.web_response -> bool

Validator for type web_response

OCaml

Innovation. Community. Security.