sarif 0.1.0 · OCaml Package

Validation functions used by atdgen validator

val validate_iso8601_opt : string option -> bool

val validate_mime_type : string -> bool

val validate_mime_type_opt : string option -> bool

val validate_int64_minimum_zero : Core.Int64.t -> bool

val validate_int64_minimum_zero_opt : Core.Int64.t option -> bool

val validate_int64_minimum_one : Core.Int64.t -> bool

val validate_int64_minimum_one_opt : Core.Int64.t option -> bool

val validate_int64_minimum_minus_one : Core.Int64.t -> bool

val validate_guid : string -> bool

val validate_guid_opt : string option -> bool

val validate_dotted_quad_file_v : string -> bool

val validate_dotted_quad_file_v_opt : string option -> bool

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 : Core.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

package sarif