diff options
author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2023-11-29 19:44:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-29 19:44:25 +0100 |
commit | d85f8592b8374e2b8f149ceae3c301c6499606d1 (patch) | |
tree | c51a76d39d506b7fe47eac30d6d528cd819aa6cc /fuzz/corpus | |
parent | 1100326edbba7cea6aee266ad948401128bc26dd (diff) |
Rework extraction of HTTP headers (#2183)
Extract only the headers that we really need/use.
Avoid too many `strcmp`; the algorithm might be a little bit
overwhelming right now but it might be useful if we have further headers
in the future.
Diffstat (limited to 'fuzz/corpus')
0 files changed, 0 insertions, 0 deletions