-
Notifications
You must be signed in to change notification settings - Fork 4
/
scalars_with_different_size_generated_verifier.rs
201 lines (166 loc) · 5.89 KB
/
scalars_with_different_size_generated_verifier.rs
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
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
//! This file is auto-generated by cfbc.
use super::scalars_with_different_size_generated as reader;
use flatbuffers;
use std::error;
use std::fmt;
use std::result;
#[derive(Debug, Eq, PartialEq)]
pub enum Error {
OutOfBounds,
NonNullTerminatedString,
UnmatchedUnion,
}
pub type Result = result::Result<(), Error>;
impl fmt::Display for Error {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
match self {
Error::OutOfBounds => write!(f, "memory access is out of bounds"),
Error::NonNullTerminatedString => write!(f, "string is not terminated with null"),
Error::UnmatchedUnion => write!(f, "union type and value does not match"),
}
}
}
impl error::Error for Error {}
pub trait Verify {
fn verify(&self) -> Result;
}
fn read_uoffset(buf: &[u8], offset_loc: usize) -> usize {
flatbuffers::read_scalar::<flatbuffers::UOffsetT>(&buf[offset_loc..]) as usize
}
fn try_read_uoffset(buf: &[u8], offset_loc: usize) -> result::Result<usize, Error> {
if offset_loc + flatbuffers::SIZE_UOFFSET <= buf.len() {
Ok(read_uoffset(buf, offset_loc))
} else {
Err(Error::OutOfBounds)
}
}
pub fn try_follow_uoffset(buf: &[u8], offset_loc: usize) -> result::Result<usize, Error> {
try_read_uoffset(buf, offset_loc).map(|offset| offset_loc + offset)
}
#[allow(dead_code)]
pub struct StringVerifier<'a> {
buf: &'a [u8],
loc: usize,
}
impl<'a> flatbuffers::Follow<'a> for StringVerifier<'a> {
type Inner = Self;
fn follow(buf: &'a [u8], loc: usize) -> Self {
Self { buf, loc }
}
}
impl<'a> Verify for StringVerifier<'a> {
fn verify(&self) -> Result {
let buf_len = self.buf.len();
let len = try_read_uoffset(self.buf, self.loc)?;
if self.loc + flatbuffers::SIZE_UOFFSET + len + 1 > buf_len {
return Err(Error::OutOfBounds);
}
if self.buf[self.loc + flatbuffers::SIZE_UOFFSET + len] != 0 {
return Err(Error::NonNullTerminatedString);
}
Ok(())
}
}
#[allow(dead_code)]
pub struct VectorVerifier<'a> {
buf: &'a [u8],
loc: usize,
}
impl<'a> flatbuffers::Follow<'a> for VectorVerifier<'a> {
type Inner = Self;
fn follow(buf: &'a [u8], loc: usize) -> Self {
Self { buf, loc }
}
}
impl<'a> VectorVerifier<'a> {
pub fn verify_scalar_elements(&self, scalar_size: usize) -> Result {
let len = try_read_uoffset(self.buf, self.loc)?;
if self.loc + flatbuffers::SIZE_UOFFSET + len * scalar_size > self.buf.len() {
return Err(Error::OutOfBounds);
}
Ok(())
}
pub fn verify_reference_elements<E>(&self) -> Result
where
E: flatbuffers::Follow<'a>,
<E as flatbuffers::Follow<'a>>::Inner: Verify,
{
let len = try_read_uoffset(self.buf, self.loc)?;
let mut offset_loc = self.loc + flatbuffers::SIZE_UOFFSET;
let end_loc = offset_loc + len * flatbuffers::SIZE_UOFFSET;
if end_loc > self.buf.len() {
return Err(Error::OutOfBounds);
}
while offset_loc < end_loc {
E::follow(self.buf, offset_loc + read_uoffset(self.buf, offset_loc)).verify()?;
offset_loc += flatbuffers::SIZE_UOFFSET;
}
Ok(())
}
}
pub fn get_root<'a, T>(data: &'a [u8]) -> result::Result<T::Inner, Error>
where
T: flatbuffers::Follow<'a> + 'a,
T::Inner: Verify,
{
if data.len() < flatbuffers::SIZE_UOFFSET {
return Err(Error::OutOfBounds);
}
let root = flatbuffers::get_root::<T>(data);
root.verify()?;
Ok(root)
}
pub mod example {
#![allow(unused_imports)]
use super::reader::example as reader;
pub use super::{try_follow_uoffset, Error, Result, StringVerifier, VectorVerifier, Verify};
use flatbuffers::{self, Follow};
impl<'a> Verify for reader::Account<'a> {
fn verify(&self) -> Result {
let tab = self._tab;
let buf = tab.buf;
let buf_len = buf.len();
if tab.loc + flatbuffers::SIZE_SOFFSET > buf_len {
return Err(Error::OutOfBounds);
}
let vtab_loc = {
let soffset_slice = &buf[tab.loc..tab.loc + flatbuffers::SIZE_SOFFSET];
let soffset = flatbuffers::read_scalar::<flatbuffers::SOffsetT>(soffset_slice);
(tab.loc as flatbuffers::SOffsetT - soffset) as usize
};
if vtab_loc + flatbuffers::SIZE_VOFFSET + flatbuffers::SIZE_VOFFSET > buf_len {
return Err(Error::OutOfBounds);
}
let vtab = tab.vtable();
let vtab_num_bytes = vtab.num_bytes();
if vtab_loc + vtab_num_bytes > buf_len {
return Err(Error::OutOfBounds);
}
let object_inline_num_bytes = vtab.object_inline_num_bytes();
if tab.loc + object_inline_num_bytes > buf_len {
return Err(Error::OutOfBounds);
}
for i in 0..vtab.num_fields() {
let voffset = vtab.get_field(i) as usize;
if (voffset > 0 && voffset < flatbuffers::SIZE_SOFFSET)
|| voffset >= object_inline_num_bytes
{
return Err(Error::OutOfBounds);
}
}
if Self::VT_YEAR as usize + flatbuffers::SIZE_VOFFSET <= vtab_num_bytes {
let voffset = vtab.get(Self::VT_YEAR) as usize;
if voffset > 0 && voffset + 4 > object_inline_num_bytes {
return Err(Error::OutOfBounds);
}
}
if Self::VT_BALANCE as usize + flatbuffers::SIZE_VOFFSET <= vtab_num_bytes {
let voffset = vtab.get(Self::VT_BALANCE) as usize;
if voffset > 0 && voffset + 8 > object_inline_num_bytes {
return Err(Error::OutOfBounds);
}
}
Ok(())
}
}
}