1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
open Alcotest
let test_verify () =
let addr = Unix.ADDR_INET (Unix.inet_addr_of_string "127.0.0.1", 1342) in
Util.server_thread addr None |> ignore;
let context = Ssl.create_context TLSv1_3 Client_context in
let ssl = Ssl.open_connection_with_context context addr in
let verify_result =
try
Ssl.verify ssl;
""
with
| e -> Printexc.to_string e
in
Ssl.shutdown_connection ssl;
check
bool
"no verify errors"
true
(Str.search_forward
(Str.regexp_string "error:00:000000:lib(0)")
verify_result
0
> 0)
let test_set_host () =
let addr = Unix.ADDR_INET (Unix.inet_addr_of_string "127.0.0.1", 1343) in
Util.server_thread addr None |> ignore;
let context = Ssl.create_context TLSv1_3 Client_context in
let domain = Unix.domain_of_sockaddr addr in
let sock = Unix.socket domain Unix.SOCK_STREAM 0 in
let ssl = Ssl.embed_socket sock context in
Ssl.set_host ssl "localhost";
Unix.connect sock addr;
Ssl.connect ssl;
let verify_result =
try
Ssl.verify ssl;
""
with
| e -> Printexc.to_string e
in
Ssl.shutdown_connection ssl;
check
bool
"no verify errors"
true
(Str.search_forward
(Str.regexp_string "error:00:000000:lib(0)")
verify_result
0
> 0)
let test_read_write () =
let addr = Unix.ADDR_INET (Unix.inet_addr_of_string "127.0.0.1", 1344) in
Util.server_thread addr (Some (fun _ -> "received")) |> ignore;
let context = Ssl.create_context TLSv1_3 Client_context in
let ssl = Ssl.open_connection_with_context context addr in
let send_msg = "send" in
let write_buf = Bytes.create (String.length send_msg) in
Ssl.write ssl write_buf 0 4 |> ignore;
let read_buf = Bytes.create 8 in
Ssl.read ssl read_buf 0 8 |> ignore;
Ssl.shutdown_connection ssl;
check string "received message" "received" (Bytes.to_string read_buf)
let () =
run
"Ssl io functions"
[ ( "IO"
, [ test_case "Verify" `Quick test_verify
; test_case "Set host" `Quick test_set_host
; test_case "Read write" `Quick test_read_write
] )
]
|
