ssl 0.5.3 · OCaml Package

type ssl_error =

| Error_none
| Error_ssl
| Error_want_read
| Error_want_write
| Error_want_x509_lookup
| Error_syscall
| Error_zero_return
| Error_want_connect
| Error_want_accept

type bigarray =
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t

exception Method_error

exception Context_error

exception Cipher_error

exception Diffie_hellman_error

exception Ec_curve_error

exception Certificate_error

exception Private_key_error

exception Unmatching_keys

exception Invalid_socket

exception Handler_error

exception Connection_error of ssl_error

exception Accept_error of ssl_error

exception Read_error of ssl_error

exception Write_error of ssl_error

type verify_error =

| Error_v_unable_to_get_issuer_cert
| Error_v_unable_to_get_ctl
| Error_v_unable_to_decrypt_cert_signature
| Error_v_unable_to_decrypt_CRL_signature
| Error_v_unable_to_decode_issuer_public_key
| Error_v_cert_signature_failure
| Error_v_CRL_signature_failure
| Error_v_cert_not_yet_valid
| Error_v_cert_has_expired
| Error_v_CRL_not_yet_valid
| Error_v_CRL_has_expired
| Error_v_error_in_cert_not_before_field
| Error_v_error_in_cert_not_after_field
| Error_v_error_in_CRL_last_update_field
| Error_v_error_in_CRL_next_update_field
| Error_v_out_of_mem
| Error_v_depth_zero_self_signed_cert
| Error_v_self_signed_cert_in_chain
| Error_v_unable_to_get_issuer_cert_locally
| Error_v_unable_to_verify_leaf_signature
| Error_v_cert_chain_too_long
| Error_v_cert_revoked
| Error_v_invalid_CA
| Error_v_path_length_exceeded
| Error_v_invalid_purpose
| Error_v_cert_untrusted
| Error_v_cert_rejected
| Error_v_subject_issuer_mismatch
| Error_v_akid_skid_mismatch
| Error_v_akid_issuer_serial_mismatch
| Error_v_keyusage_no_certsign
| Error_v_application_verification

exception Verify_error of verify_error

val init : ?thread_safe:bool -> unit -> unit

val get_error_string : unit -> string

type protocol =

| SSLv23
| SSLv3
| TLSv1
| TLSv1_1
| TLSv1_2

type socket

val thread_safe : bool Pervasives.ref

type context

type context_type =

| Client_context
| Server_context
| Both_context

val create_context : protocol -> context_type -> context

val use_certificate : context -> string -> string -> unit

val set_password_callback : context -> (bool -> string) -> unit

val set_client_CA_list_from_file : context -> string -> unit

type verify_mode =

| Verify_peer
| Verify_fail_if_no_peer_cert
| Verify_client_once

type verify_callback

val client_verify_callback : verify_callback

val set_client_verify_callback_verbose : bool -> unit

val set_verify : context -> verify_mode list -> verify_callback option -> unit

val set_verify_depth : context -> int -> unit

type cipher

val disable_protocols : context -> protocol list -> unit

val set_cipher_list : context -> string -> unit

val honor_cipher_order : context -> unit

val init_dh_from_file : context -> string -> unit

val init_ec_from_named_curve : context -> string -> unit

val get_cipher : socket -> cipher

val get_cipher_description : cipher -> string

val get_cipher_name : cipher -> string

val get_cipher_version : cipher -> string

type certificate

val read_certificate : string -> certificate

val write_certificate : string -> certificate -> unit

val get_certificate : socket -> certificate

val get_issuer : certificate -> string

val get_subject : certificate -> string

val load_verify_locations : context -> string -> string -> unit

val get_verify_result : socket -> int

val embed_socket : Unix.file_descr -> context -> socket

val open_connection : protocol -> Unix.sockaddr -> socket

val open_connection_with_context : context -> Unix.sockaddr -> socket

val shutdown_connection : socket -> unit

val set_client_SNI_hostname : socket -> string -> unit

val connect : socket -> unit

val accept : socket -> unit

val flush : socket -> unit

val shutdown : socket -> unit

val verify : socket -> unit

val file_descr_of_socket : socket -> Unix.file_descr

val read : socket -> Bytes.t -> int -> int -> int

val read_into_bigarray : socket -> bigarray -> int -> int -> int

val read_into_bigarray_blocking : socket -> bigarray -> int -> int -> int

val write : socket -> Bytes.t -> int -> int -> int

val write_bigarray : socket -> bigarray -> int -> int -> int

val write_bigarray_blocking : socket -> bigarray -> int -> int -> int

val input_string : socket -> string

val output_string : socket -> string -> unit

val input_char : socket -> char

val output_char : socket -> char -> unit

val input_int : socket -> int

val output_int : socket -> int -> unit

package ssl