File tree Expand file tree Collapse file tree 6 files changed +128
-0
lines changed Expand file tree Collapse file tree 6 files changed +128
-0
lines changed Original file line number Diff line number Diff line change
1
+ state-fuzzer-client
2
+
3
+ # SUT config
4
+ -port
5
+ ${sul.port}
6
+ -startWait
7
+ 0
8
+ -responseWait
9
+ 200
10
+ -protocol
11
+ DTLS12
12
+ -cmd
13
+ ${fuzzer.dir}/suts/wolfssl-${wolfssl.version}/examples/client/client -p ${sul.port} -u -l TLS_DHE_RSA_WITH_AES_128_GCM_SHA256 -c ${fuzzer.dir}/${keystore}/rsa2048_cert.pem -k ${fuzzer.dir}/${keystore}/rsa2048_key.pem -A ${fuzzer.dir}/${keystore}/rsa2048_cert.pem
14
+ -processDir
15
+ ${fuzzer.dir}/suts/wolfssl-${wolfssl.version}/
16
+
17
+ # learning config
18
+ -alphabet
19
+ ${alphabets.clients}/x_cert_nreq.xml
20
+ -randLength
21
+ 10
22
+ -equivalenceQueryBound
23
+ 20000
24
+ -output
25
+ output/wolfssl-${wolfssl.version}_client_x_cert_nreq
26
+ -equivalenceAlgorithms
27
+ RANDOM_WP_METHOD,WP_METHOD
28
+ -depth
29
+ 1
30
+ -ceReruns
31
+ 3
32
+ -ros
Original file line number Diff line number Diff line change
1
+ state-fuzzer-client
2
+
3
+ # SUT config
4
+ -port
5
+ ${sul.port}
6
+ -startWait
7
+ 0
8
+ -responseWait
9
+ 200
10
+ -protocol
11
+ DTLS12
12
+ -cmd
13
+ ${fuzzer.dir}/suts/wolfssl-${wolfssl.version}/examples/client/client -p ${sul.port} -u -l TLS_DHE_RSA_WITH_AES_128_GCM_SHA256 -c ${fuzzer.dir}/${keystore}/rsa2048_cert.pem -k ${fuzzer.dir}/${keystore}/rsa2048_key.pem -A ${fuzzer.dir}/${keystore}/rsa2048_cert.pem
14
+ -processDir
15
+ ${fuzzer.dir}/suts/wolfssl-${wolfssl.version}/
16
+
17
+ # learning config
18
+ -alphabet
19
+ ${alphabets.clients}/x_cert_req.xml
20
+ -randLength
21
+ 10
22
+ -equivalenceQueryBound
23
+ 20000
24
+ -output
25
+ output/wolfssl-${wolfssl.version}_client_x_cert_req
26
+ -equivalenceAlgorithms
27
+ RANDOM_WP_METHOD,WP_METHOD
28
+ -depth
29
+ 1
30
+ -ceReruns
31
+ 3
32
+ -ros
Original file line number Diff line number Diff line change
1
+ <!-- DTLS alphabet comprising the messages necessary to perform RSA, DH and ECDH handshakes -->
2
+ <alphabet >
3
+ <HelloVerifyRequestInput name =" HELLO_VERIFY_REQUEST" />
4
+ <ServerHelloInput suite =" TLS_DHE_RSA_WITH_AES_128_GCM_SHA256" name =" RSA_SERVER_HELLO" />
5
+ <ServerKeyExchangeInput name =" DH_SERVER_KEY_EXCHANGE" algorithm =" DH" />
6
+ <ServerHelloDoneInput name =" SERVER_HELLO_DONE" />
7
+ <ChangeCipherSpecInput />
8
+ <FinishedInput name =" FINISHED" />
9
+ <GenericTlsInput name =" APPLICATION" >
10
+ <Application >
11
+ <data >
12
+ <byteArrayExplicitValueModification >
13
+ <!-- HEX(This is a hello message!)-->
14
+ <explicitValue >0x5468697320697320612068656c6c6f206d65737361676521</explicitValue >
15
+ </byteArrayExplicitValueModification >
16
+ </data >
17
+ </Application >
18
+ </GenericTlsInput >
19
+ <CertificateInput name =" CERTIFICATE" />
20
+ <CertificateInput name =" EMPTY_CERTIFICATE" empty =" true" />
21
+ <AlertInput name =" Alert(WARNING,CLOSE_NOTIFY)" level =" WARNING" description =" CLOSE_NOTIFY" />
22
+ <AlertInput name =" Alert(FATAL,UNEXPECTED_MESSAGE)" level =" FATAL" description =" UNEXPECTED_MESSAGE" />
23
+ </alphabet >
Original file line number Diff line number Diff line change
1
+ <!-- DTLS alphabet comprising the messages necessary to perform RSA, DH and ECDH handshakes -->
2
+ <alphabet >
3
+ <HelloVerifyRequestInput name =" HELLO_VERIFY_REQUEST" />
4
+ <ServerHelloInput suite =" TLS_DHE_RSA_WITH_AES_128_GCM_SHA256" name =" RSA_SERVER_HELLO" />
5
+ <ServerKeyExchangeInput name =" DH_SERVER_KEY_EXCHANGE" algorithm =" DH" />
6
+ <CertificateRequestInput certificate =" RSA_SIGN" name =" RSA_SIGN_CERTIFICATE_REQUEST" />
7
+ <ServerHelloDoneInput name =" SERVER_HELLO_DONE" />
8
+ <ChangeCipherSpecInput />
9
+ <FinishedInput name =" FINISHED" />
10
+ <GenericTlsInput name =" APPLICATION" >
11
+ <Application >
12
+ <data >
13
+ <byteArrayExplicitValueModification >
14
+ <!-- HEX(This is a hello message!)-->
15
+ <explicitValue >0x5468697320697320612068656c6c6f206d65737361676521</explicitValue >
16
+ </byteArrayExplicitValueModification >
17
+ </data >
18
+ </Application >
19
+ </GenericTlsInput >
20
+ <CertificateInput name =" CERTIFICATE" />
21
+ <CertificateInput name =" EMPTY_CERTIFICATE" empty =" true" />
22
+ <AlertInput name =" Alert(WARNING,CLOSE_NOTIFY)" level =" WARNING" description =" CLOSE_NOTIFY" />
23
+ <AlertInput name =" Alert(FATAL,UNEXPECTED_MESSAGE)" level =" FATAL" description =" UNEXPECTED_MESSAGE" />
24
+ </alphabet >
Original file line number Diff line number Diff line change
1
+ HELLO_VERIFY_REQUEST
2
+ RSA_SERVER_HELLO
3
+ CERTIFICATE
4
+ DH_SERVER_KEY_EXCHANGE
5
+ SERVER_HELLO_DONE
6
+ CHANGE_CIPHER_SPEC
7
+ FINISHED
8
+ APPLICATION
Original file line number Diff line number Diff line change
1
+ HELLO_VERIFY_REQUEST
2
+ RSA_SERVER_HELLO
3
+ CERTIFICATE
4
+ DH_SERVER_KEY_EXCHANGE
5
+ RSA_SIGN_CERTIFICATE_REQUEST
6
+ SERVER_HELLO_DONE
7
+ CHANGE_CIPHER_SPEC
8
+ FINISHED
9
+ APPLICATION
You can’t perform that action at this time.
0 commit comments