ITFrame::read_frame now throws an error when the frame_no is invalid.

This will be catched by the respective protocols, e.g. tcp and cause a violation
This commit is contained in:
Marcel Märtens 2021-04-07 19:11:16 +02:00
parent 4fed9dab83
commit 9638581d09
2 changed files with 75 additions and 66 deletions

View File

@ -206,10 +206,12 @@ impl OTFrame {
}
impl ITFrame {
pub(crate) fn read_frame(bytes: &mut BytesMut) -> Option<Self> {
/// Err => cannot recover
/// Ok(None) => waiting for more data
pub(crate) fn read_frame(bytes: &mut BytesMut) -> Result<Option<Self>, ()> {
let frame_no = match bytes.first() {
Some(&f) => f,
None => return None,
None => return Ok(None),
};
let size = match frame_no {
FRAME_SHUTDOWN => TCP_SHUTDOWN_CNS,
@ -218,15 +220,15 @@ impl ITFrame {
FRAME_DATA_HEADER => TCP_DATA_HEADER_CNS,
FRAME_DATA => {
if bytes.len() < 9 + 1 + 1 {
return None;
return Ok(None);
}
u16::from_le_bytes([bytes[8 + 1], bytes[9 + 1]]) as usize + TCP_DATA_CNS
},
_ => return None,
_ => return Err(()),
};
if bytes.len() < size + 1 {
return None;
return Ok(None);
}
let frame = match frame_no {
@ -270,7 +272,7 @@ impl ITFrame {
},
_ => unreachable!("Frame::to_frame should be handled before!"),
};
Some(frame)
Ok(Some(frame))
}
}
@ -393,7 +395,7 @@ mod tests {
for frame in get_otframes() {
println!("frame: {:?}", &frame);
assert_eq!(frame.clone(), dupl(frame).expect("NONE"));
assert_eq!(frame.clone(), dupl(frame).expect("ERR").expect("NONE"));
}
}
@ -416,7 +418,7 @@ mod tests {
// compare
for (f, fd) in frames.drain(..).zip(framesd.drain(..)) {
println!("frame: {:?}", &f);
assert_eq!(f, fd.expect("NONE"));
assert_eq!(f, fd.expect("ERR").expect("NONE"));
}
}
@ -430,7 +432,7 @@ mod tests {
assert_eq!(buffer.len(), SIZE);
let mut deque = buffer.iter().copied().collect();
let frame2 = ITFrame::read_frame(&mut deque);
assert_eq!(frame1, frame2.expect("NONE"));
assert_eq!(frame1, frame2.expect("ERR").expect("NONE"));
}
#[test]
@ -516,13 +518,13 @@ mod tests {
OTFrame::write_bytes(frame1, &mut buffer);
buffer.truncate(6); // simulate partial retrieve
let frame1d = ITFrame::read_frame(&mut buffer);
assert_eq!(frame1d, None);
assert_eq!(frame1d, Ok(None));
}
#[test]
fn frame_rubish() {
let mut buffer = BytesMut::from(&b"dtrgwcser"[..]);
assert_eq!(ITFrame::read_frame(&mut buffer), None);
assert_eq!(ITFrame::read_frame(&mut buffer), Err(()));
}
#[test]
@ -537,7 +539,7 @@ mod tests {
OTFrame::write_bytes(frame1, &mut buffer);
buffer[9] = 255;
let framed = ITFrame::read_frame(&mut buffer);
assert_eq!(framed, None);
assert_eq!(framed, Ok(None));
}
#[test]
@ -554,13 +556,13 @@ mod tests {
let framed = ITFrame::read_frame(&mut buffer);
assert_eq!(
framed,
Some(ITFrame::Data {
Ok(Some(ITFrame::Data {
mid: 7u64,
data: BytesMut::from(&b"foo"[..]),
})
}))
);
//next = Invalid => Empty
let framed = ITFrame::read_frame(&mut buffer);
assert_eq!(framed, None);
assert_eq!(framed, Err(()));
}
}

View File

@ -231,7 +231,9 @@ where
{
async fn recv(&mut self) -> Result<ProtocolEvent, ProtocolError> {
'outer: loop {
while let Some(frame) = ITFrame::read_frame(&mut self.buffer) {
loop {
match ITFrame::read_frame(&mut self.buffer) {
Ok(Some(frame)) => {
#[cfg(feature = "trace_pedantic")]
trace!(?frame, "recv");
match frame {
@ -264,7 +266,8 @@ where
None => {
info!(
?mid,
"protocol violation by remote side: send Data before Header"
"protocol violation by remote side: send Data before \
Header"
);
break 'outer Err(ProtocolError::Violated);
},
@ -285,6 +288,10 @@ where
}
},
};
},
Ok(None) => break, //inner => read more data
Err(()) => return Err(ProtocolError::Violated),
}
}
let chunk = self.sink.recv().await?;
if self.buffer.is_empty() {