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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
use std::fmt;
use crate::Region;
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum Violation {
ConflictingAlloc {
requested: Region,
existing: Region,
},
NonZeroedAlloc {
requested: Region,
},
NonCopiedRealloc {
free: Region,
alloc: Region,
},
ReallocNull {},
MisalignedAlloc {
requested: Region,
},
IncompleteFree {
requested: Region,
existing: Region,
},
MisalignedFree {
requested: Region,
existing: Region,
},
MissingFree {
requested: Region,
},
Leaked {
region: Region,
},
}
impl Violation {
pub fn is_leaked_with<F>(&self, f: F) -> bool
where
F: FnOnce(Region) -> bool,
{
match *self {
Self::Leaked { region } => f(region),
_ => false,
}
}
}
impl fmt::Display for Violation {
fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> fmt::Result {
match self {
Self::ConflictingAlloc {
requested,
existing,
} => write!(
fmt,
"Requested allocation ({}) overlaps with existing ({})",
requested, existing
),
Self::NonZeroedAlloc { requested } => write!(
fmt,
"Requested allocation ({}) was not zerod by the allocator",
requested
),
Self::NonCopiedRealloc { free, alloc } => write!(
fmt,
"Relocating from ({}) to ({}) did not correctly copy the prefixing bytes",
free, alloc,
),
Self::ReallocNull {} => write!(fmt, "Tried to reallocate null pointer"),
Self::MisalignedAlloc { requested } => {
write!(fmt, "Allocated region ({}) is misaligned.", requested)
}
Self::IncompleteFree {
requested,
existing,
} => write!(
fmt,
"Freed ({}) only part of existing region ({})",
requested, existing
),
Self::MisalignedFree {
requested,
existing,
} => write!(
fmt,
"Freed region ({}) has different alignment from existing ({})",
requested, existing
),
Self::MissingFree { requested } => write!(fmt, "Freed missing region ({})", requested),
Self::Leaked { region } => write!(fmt, "Dangling region ({})", region),
}
}
}