[Bug] Incorrect parsing of large handshake messages
Open
bug
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Parsing of large handshake messages is broken. The check for `b.len() - 3 < l` in `check_lbytes3` fails.
To reproduce
```bash
BORINGSSL_ROOT=/path/to/boringssl ./bogo_shim/run.sh -test LargeMessage -include-disabled
```
See also #30
Contributor guide
Assessment
This issue has not been assessed yet.