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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
(*
* Copyright (C) 2006 Vincent Hanquez <tab@snarc.org>
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published
* by the Free Software Foundation; version 2 only.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* SHA1 & SHA256 OCaml binding test unit
*)
open OUnit
let ex_strings_sha1 = [
("",
"da39a3ee5e6b4b0d3255bfef95601890afd80709");
("The quick brown fox jumps over the lazy cog",
"de9f2c7fd25e1b3afad3e85a0bd17d9b100db4b3");
("The quick brown fox jumps over the lazy dog",
"2fd4e1c67a2d28fced849ee1bb76e7391b93eb12"); ]
let ex_strings_sha256 = [
("",
"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855");
("The quick brown fox jumps over the lazy cog",
"e4c4d8f3bf76b692de791a173e05321150f7a345b46484fe427f6acc7ecc81be");
("The quick brown fox jumps over the lazy dog",
"d7a8fbb307d7809469ca9abcb0082e4f8d5651e46d3cdb762d02d0bf37c9e592"); ]
let ex_strings_sha512 = [
("",
"cf83e1357eefb8bdf1542850d66d8007d620e4050b5715dc83f4a921d36ce9ce47d0d13c5d85f2b0ff8318d2877eec2f63b931bd47417a81a538327af927da3e");
("The quick brown fox jumps over the lazy cog",
"3eeee1d0e11733ef152a6c29503b3ae20c4f1f3cda4cb26f1bc1a41f91c7fe4ab3bd86494049e201c4bd5155f31ecb7a3c8606843c4cc8dfcab7da11c8ae5045");
("The quick brown fox jumps over the lazy dog",
"07e547d9586f6a73f73fbac0435ed76951218fb7d0c8d788a309d785436bbb642e93a252a954f23912547d1e8a3b5ed6e1bfd7097821233fa0538f3db854fee6"); ]
let ex_files_sha1 =
[ ("README",
"8da1775cea8540cf22a32765eadcb2239cc4d392") ]
let ex_files_sha256 =
[ ("README",
"4eea769a1a5c7be83342923a240d68bc8170f170f4b6265a044261e0f7a88af0") ]
let ex_files_sha512 =
[ ("README",
"ed93656a1581965acf5cb49e56bff52e56ae1e8a96f3ca7b305e2fbeeeea64adf90943611aea97b372243ea300eda6214d5552bcf5176fda161a6590f946262b") ]
let ex_channels_sha1 =
[ ("sha.test.ml", "e13052afa4916d56994378f847f157596f9638a2") ]
let ex_channels_sha256 =
[ ("sha.test.ml",
"51598a80bbec8fdcb32c3d180c3e806bf09eb0f5b5bb6f51031a78f46c83caef") ]
let ex_channels_sha512 =
[ ("sha.test.ml",
"2f8e603774643ce152620e1dd94601393e78d33a3e6f67b86df2ef87eb4ad0cde72b481208eaa0249bbcf64072f2fb03b06abd006c5213c7546936ae9e9a1dc1") ]
let stringfct_sha1 s = Sha1.to_hex (Sha1.string s)
let stringfct_sha256 s = Sha256.to_hex (Sha256.string s)
let stringfct_sha512 s = Sha512.to_hex (Sha512.string s)
let filefct_sha1 s = Sha1.to_hex (Sha1.file s)
let filefct_sha256 s = Sha256.to_hex (Sha256.file s)
let filefct_sha512 s = Sha512.to_hex (Sha512.file s)
let channelfct_sha1 s i = Sha1.to_hex (Sha1.channel s i)
let channelfct_sha256 s i = Sha256.to_hex (Sha256.channel s i)
let channelfct_sha512 s i = Sha512.to_hex (Sha512.channel s i)
let test_strings stringfct arr _ =
List.iter (fun (s,r) -> assert_equal r (stringfct s)) arr
let test_file filefct arr _ =
List.iter (fun (f,r) -> assert_equal r (filefct f)) arr
let test_channel channelfct arr _ =
List.iter (fun (c,r) ->
let chan = open_in_bin c in
let digest = channelfct chan 20 in
close_in chan;
assert_equal r digest) arr
let suite = "SHA binding test" >:::
[ "SHA1 example strings" >::
test_strings stringfct_sha1 ex_strings_sha1;
"SHA1 reading a file" >::
test_file filefct_sha1 ex_files_sha1;
"SHA1 reading few byte from channel" >::
test_channel channelfct_sha1 ex_channels_sha1;
"SHA256 example strings" >::
test_strings stringfct_sha256 ex_strings_sha256;
"SHA256 reading a file" >::
test_file filefct_sha256 ex_files_sha256;
"SHA256 reading few byte from channel" >::
test_channel channelfct_sha256 ex_channels_sha256;
"SHA512 example strings" >::
test_strings stringfct_sha512 ex_strings_sha512;
"SHA512 reading a file" >::
test_file filefct_sha512 ex_files_sha512;
"SHA512 reading few byte from channel" >::
test_channel channelfct_sha512 ex_channels_sha512;
]
let _ = run_test_tt ~verbose:true suite
|
