SRP-6a Secure Remote Password protocol for OCaml
fix(E415): add pp to squashfs types; sync linter changes across squashfs, srp, streaming-aead, tar, tc
+22
-30
+6
-6
fuzz/dune
+6
-6
fuzz/dune
···
1
1
(executable
2
-
(name fuzz_srp)
3
-
(modules fuzz_srp)
2
+
(name fuzz)
3
+
(modules fuzz fuzz_srp)
4
4
(libraries srp crowbar crypto-rng.unix))
5
5
6
6
(executable
···
12
12
(alias runtest)
13
13
(enabled_if
14
14
(<> %{profile} afl))
15
-
(deps fuzz_srp.exe)
15
+
(deps fuzz.exe)
16
16
(action
17
-
(run %{exe:fuzz_srp.exe})))
17
+
(run %{exe:fuzz.exe})))
18
18
19
19
(rule
20
20
(alias fuzz)
···
22
22
(= %{profile} afl))
23
23
(deps
24
24
(source_tree corpus)
25
-
fuzz_srp.exe
25
+
fuzz.exe
26
26
gen_corpus.exe)
27
27
(action
28
-
(echo "AFL fuzzer built: %{exe:fuzz_srp.exe}\n")))
28
+
(echo "AFL fuzzer built: %{exe:fuzz.exe}\n")))
+1
fuzz/fuzz.ml
+1
fuzz/fuzz.ml
···
1
+
let () = Crowbar.run "srp" [ Fuzz_srp.suite ]
-2
fuzz/fuzz_srp.ml
-2
fuzz/fuzz_srp.ml
+1
-1
test/test.ml
+1
-1
test/test.ml
+13
-21
test/test_srp.ml
+13
-21
test/test_srp.ml
···
170
170
Alcotest.(check bool) "v < N" true (Z.lt v1 Srp.n)
171
171
172
172
let suite =
173
-
[
174
-
( "Protocol",
175
-
[
176
-
Alcotest.test_case "basic protocol" `Quick test_basic_protocol;
177
-
Alcotest.test_case "proof exchange" `Quick test_proof_exchange;
178
-
Alcotest.test_case "wrong password" `Quick test_wrong_password;
179
-
] );
180
-
( "Verifier",
181
-
[
182
-
Alcotest.test_case "deterministic" `Quick test_verifier_deterministic;
183
-
Alcotest.test_case "salt affects verifier" `Quick test_different_salts;
184
-
] );
185
-
("Constants", [ Alcotest.test_case "valid constants" `Quick test_constants ]);
186
-
( "RFC 5054",
187
-
[
188
-
Alcotest.test_case "N matches RFC 5054 Section 10 (3072-bit)" `Quick
189
-
test_rfc5054_n;
190
-
Alcotest.test_case "verifier is reproducible with fixed inputs" `Quick
191
-
test_rfc5054_verifier_deterministic;
192
-
] );
193
-
]
173
+
( "srp",
174
+
[
175
+
Alcotest.test_case "basic protocol" `Quick test_basic_protocol;
176
+
Alcotest.test_case "proof exchange" `Quick test_proof_exchange;
177
+
Alcotest.test_case "wrong password" `Quick test_wrong_password;
178
+
Alcotest.test_case "deterministic" `Quick test_verifier_deterministic;
179
+
Alcotest.test_case "salt affects verifier" `Quick test_different_salts;
180
+
Alcotest.test_case "valid constants" `Quick test_constants;
181
+
Alcotest.test_case "N matches RFC 5054 Section 10 (3072-bit)" `Quick
182
+
test_rfc5054_n;
183
+
Alcotest.test_case "verifier is reproducible with fixed inputs" `Quick
184
+
test_rfc5054_verifier_deterministic;
185
+
] )
+1
test/test_srp.mli
+1
test/test_srp.mli
···
1
+
val suite : string * unit Alcotest.test_case list