ATSLIB/contrib/openssl/main

This package contains an API for OpenSSL in ATS.

evp.sats

OpenSSL_add_all_ciphers

Synopsis

fun OpenSSL_add_all_ciphers ((*void*)): void = "mac#%"

OpenSSL_add_all_digests

Synopsis

fun OpenSSL_add_all_digests ((*void*)): void = "mac#%"

OpenSSL_add_all_algorithms

Synopsis

fun OpenSSL_add_all_algorithms ((*void*)): void = "mac#%"

EVP_cleanup

Synopsis

fun EVP_cleanup ((*void*)): void = "mac#%"

EVP_MD_ref

Synopsis

abstype
EVP_MD_ref (l:addr) = ptr (l)

EVP_MD_ref0

Synopsis

typedef
EVP_MD_ref0 = [l:agez] EVP_MD_ref (l)

EVP_MD_ref1

Synopsis

typedef
EVP_MD_ref1 = [l:addr | l > null] EVP_MD_ref (l)

EVP_MD_ref2ptr

Synopsis

castfn
EVP_MD_ref2ptr
  {l:addr} (EVP_MD_ref(l)):<> ptr(l)

EVP_MD_CTX_ptr

Synopsis

absvtype
EVP_MD_CTX_ptr (l:addr) = ptr (l)

EVP_MD_CTX_ptr0

Synopsis

vtypedef EVP_MD_CTX_ptr0 = [l:agez] EVP_MD_CTX_ptr (l)

EVP_MD_CTX_ptr1

Synopsis

vtypedef EVP_MD_CTX_ptr1 = [l:addr | l > null] EVP_MD_CTX_ptr (l)

EVP_MD_CTX_ptr2ptr

Synopsis

castfn
EVP_MD_CTX_ptr2ptr
  {l:addr} (ctx: !EVP_MD_CTX_ptr (l)):<> ptr (l)

EVP_MD_CTX_takeout

Synopsis

praxi
EVP_MD_CTX_takeout
  {l:agz}
(
  ctx: !EVP_MD_CTX_ptr (l)
): (EVP_MD_CTX @ l, minus (EVP_MD_CTX_ptr (l), EVP_MD_CTX @ l))

EVP_MD_CTX_objfize

Synopsis

praxi
EVP_MD_CTX_objfize
  {l:addr}
(
  pf: EVP_MD_CTX@l | p: !ptrlin l >> EVP_MD_CTX_ptr (l)
) :<prf> mfree_ngc_v (l) // endfun

EVP_MD_CTX_unobjfize

Synopsis

praxi
EVP_MD_CTX_unobjfize
  {l:addr}
(
  pfgc: mfree_ngc_v (l) | ctx: !EVP_MD_CTX_ptr (l) >> ptrlin l
) :<prf> EVP_MD_CTX @ l // endfun

EVP_MD_CTX_init

Synopsis

fun EVP_MD_CTX_init (&EVP_MD_CTX? >> _): void = "mac#%"

EVP_MD_CTX_cleanup

Synopsis

fun EVP_MD_CTX_cleanup (&EVP_MD_CTX >> _?): interr = "mac#%"

EVP_MD_CTX_create

Synopsis

fun EVP_MD_CTX_create ((*void*)): EVP_MD_CTX_ptr0 = "mac#%"

EVP_MD_CTX_destroy

Synopsis

fun EVP_MD_CTX_destroy (ctx: EVP_MD_CTX_ptr0): void = "mac#%"

EVP_MD_CTX_copy

Synopsis

fun EVP_MD_CTX_copy
  (to: &EVP_MD_CTX? >> _, from: &RD(EVP_MD_CTX)): interr = "mac#%"

EVP_MD_CTX_copy_ex

Synopsis

fun EVP_MD_CTX_copy_ex
  (to: &EVP_MD_CTX  >> EVP_MD_CTX, from: &RD(EVP_MD_CTX)): interr = "mac#%"

EVP_DigestInit

Synopsis

fun
EVP_DigestInit
  (ctx: &EVP_MD_CTX? >> _, type: EVP_MD_ref1): interr = "mac#%"

EVP_DigestUpdate

Synopsis

fun
EVP_DigestUpdate
  {n:int}
(
  ctx: &EVP_MD_CTX >> _, data: arrayref(uchar, n), n: size_t n
) : interr = "mac#%" // end of [EVP_DigestUpdate]

EVP_DigestFinal

Synopsis

fun
EVP_DigestFinal
(
  ctx: &EVP_MD_CTX >> _?, md: Ptr1, len: &int(0) >> int(n)
) : #[n:nat] interr = "mac#%" // end-of-fun

EVP_DigestInit_ex

Synopsis

fun
EVP_DigestInit_ex
  (ctx: &EVP_MD_CTX >> _, type: EVP_MD_ref1, impl: ENGINEptr): interr = "mac#%"

EVP_DigestFinal_ex

Synopsis

fun
EVP_DigestFinal_ex
(
  ctx: &EVP_MD_CTX >> EVP_MD_CTX, md: Ptr1, len: &int(0) >> int(n)
) : #[n:nat] interr = "mac#%" // end-of-fun

EVP_Digestize_string

Synopsis

fun{}
EVP_Digestize_string
(
  dname: string, src: string, asz: &int? >> int(n)
) : #[n:nat] arrayptr (uchar, n) // end-of-fun

EVP_DigestUpdate_string

Synopsis

fun{}
EVP_DigestUpdate_string (ctx: &EVP_MD_CTX >> _, src: string): interr