tlspuffin/tls/
fn_constants.rs

1#![allow(clippy::ptr_arg)]
2#![allow(dead_code)]
3
4use puffin::algebra::error::FnError;
5
6pub fn fn_true() -> Result<bool, FnError> {
7    Ok(true)
8}
9pub fn fn_false() -> Result<bool, FnError> {
10    Ok(false)
11}
12
13pub fn fn_seq_0() -> Result<u64, FnError> {
14    Ok(0)
15}
16pub fn fn_seq_1() -> Result<u64, FnError> {
17    Ok(1)
18}
19pub fn fn_seq_2() -> Result<u64, FnError> {
20    Ok(2)
21}
22pub fn fn_seq_3() -> Result<u64, FnError> {
23    Ok(3)
24}
25// No symbolic use of sequence number >=4, could be removed if bit-level mutations
26// are allowed on this type
27pub fn fn_seq_4() -> Result<u64, FnError> {
28    Ok(4)
29}
30pub fn fn_seq_5() -> Result<u64, FnError> {
31    Ok(5)
32}
33pub fn fn_seq_6() -> Result<u64, FnError> {
34    Ok(6)
35}
36pub fn fn_seq_7() -> Result<u64, FnError> {
37    Ok(7)
38}
39pub fn fn_seq_8() -> Result<u64, FnError> {
40    Ok(8)
41}
42pub fn fn_seq_9() -> Result<u64, FnError> {
43    Ok(9)
44}
45pub fn fn_seq_10() -> Result<u64, FnError> {
46    Ok(10)
47}
48pub fn fn_seq_11() -> Result<u64, FnError> {
49    Ok(11)
50}
51pub fn fn_seq_12() -> Result<u64, FnError> {
52    Ok(12)
53}
54pub fn fn_seq_13() -> Result<u64, FnError> {
55    Ok(13)
56}
57pub fn fn_seq_14() -> Result<u64, FnError> {
58    Ok(14)
59}
60pub fn fn_seq_15() -> Result<u64, FnError> {
61    Ok(15)
62}
63pub fn fn_seq_16() -> Result<u64, FnError> {
64    Ok(16)
65}
66
67/// Used in heartbleed attack
68pub fn fn_large_length() -> Result<u64, FnError> {
69    Ok(32702) // chosen by experimenting
70}
71
72pub fn fn_empty_bytes_vec() -> Result<Vec<u8>, FnError> {
73    Ok(vec![])
74}
75
76pub fn fn_large_bytes_vec() -> Result<Vec<u8>, FnError> {
77    Ok(vec![42; 700])
78}
tlspuffin/tls/fn_constants.rs

tlspuffin/tls/
fn_constants.rs
