Struct HaProxyStrictness
pub struct HaProxyStrictness {
pub max_header_length: usize,
pub verify_crc32c_when_present: bool,
pub require_crc32c: bool,
pub reject_unknown_address_family: bool,
pub reject_local_command: bool,
pub fail_on_malformed_tlv: bool,
}haproxy only.Expand description
Configurable strictness toggles for the PROXY protocol server.
The defaults follow rama’s proxy-first philosophy: be lenient with what is
accepted from the wire (the protocol is regularly served by upstream
software that diverges slightly from the spec) while still enforcing the
security-critical invariants required by the specification (in particular,
section 2.2.5: a present PP2_TYPE_CRC32C TLV “MUST be verified”).
All knobs are opt-in towards stricter behaviour. Self::strict turns on
every spec-mandated check; Self::reject_local_command is intentionally
left off there because the spec explicitly permits the LOCAL command —
flip it on per-deployment if you want to reject it.
Fields§
§max_header_length: usizeMaximum number of bytes accepted for a single PROXY header.
Default: 16 + u16::MAX — the largest spec-legal v2 header.
verify_crc32c_when_present: boolWhen true and a PP2_TYPE_CRC32C TLV is present, the header is
rejected if the CRC32C value does not match the recomputed value.
Default: true (spec MUST in section 2.2.5).
require_crc32c: boolWhen true, reject any v2 header that does not carry a CRC32C TLV.
Default: false.
reject_unknown_address_family: boolWhen true, reject v1 UNKNOWN and v2 AF_UNSPEC headers.
Default: false.
reject_local_command: boolWhen true, reject v2 headers using the LOCAL command.
The spec mandates ignoring address info in LOCAL connections, which
rama always does — this flag goes one step further and treats a
LOCAL frame as an error rather than passing the connection through.
Default: false.
fail_on_malformed_tlv: boolWhen true, a v2 header is rejected if its TLV area cannot be parsed
in full (truncated TLV, advertised length beyond available bytes).
Default: false.
Implementations§
§impl HaProxyStrictness
impl HaProxyStrictness
pub const fn lenient() -> HaProxyStrictness
pub const fn lenient() -> HaProxyStrictness
A maximally lenient configuration — nothing is rejected beyond what the parser itself can already not understand (invalid version byte etc.). CRC32C verification is also disabled.
pub const fn strict() -> HaProxyStrictness
pub const fn strict() -> HaProxyStrictness
A strict configuration suitable for trusted-frontline gateways that want to enforce every spec-mandated check.
Note: Self::reject_local_command is left off here because the
spec explicitly permits the LOCAL command (the receiver is required
to accept the connection and ignore the address info, which rama
always does). Enable it separately if your deployment wants to refuse
LOCAL frames.
Trait Implementations§
§impl Clone for HaProxyStrictness
impl Clone for HaProxyStrictness
§fn clone(&self) -> HaProxyStrictness
fn clone(&self) -> HaProxyStrictness
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more§impl Debug for HaProxyStrictness
impl Debug for HaProxyStrictness
§impl Default for HaProxyStrictness
impl Default for HaProxyStrictness
§fn default() -> HaProxyStrictness
fn default() -> HaProxyStrictness
impl Copy for HaProxyStrictness
Auto Trait Implementations§
impl Freeze for HaProxyStrictness
impl RefUnwindSafe for HaProxyStrictness
impl Send for HaProxyStrictness
impl Sync for HaProxyStrictness
impl Unpin for HaProxyStrictness
impl UnsafeUnpin for HaProxyStrictness
impl UnwindSafe for HaProxyStrictness
Blanket Implementations§
§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> FutureExt for T
impl<T> FutureExt for T
§fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ
fn with_context(self, otel_cx: Context) -> WithContext<Self> ⓘ
§fn with_current_context(self) -> WithContext<Self> ⓘ
fn with_current_context(self) -> WithContext<Self> ⓘ
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
T in a rama_grpc::Request§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
§fn and<P, B, E>(self, other: P) -> And<T, P>
fn and<P, B, E>(self, other: P) -> And<T, P>
Policy that returns Action::Follow only if self and other return
Action::Follow. Read more§impl<T, U> RamaTryFrom<T> for Uwhere
U: TryFrom<T>,
impl<T, U> RamaTryFrom<T> for Uwhere
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
fn rama_try_from(value: T) -> Result<U, <U as RamaTryFrom<T>>::Error>
§impl<T, U, CrateMarker> RamaTryInto<U, CrateMarker> for Twhere
U: RamaTryFrom<T, CrateMarker>,
impl<T, U, CrateMarker> RamaTryInto<U, CrateMarker> for Twhere
U: RamaTryFrom<T, CrateMarker>,
type Error = <U as RamaTryFrom<T, CrateMarker>>::Error
fn rama_try_into(self) -> Result<U, <U as RamaTryFrom<T, CrateMarker>>::Error>
§impl<V, F> ValueFormatter<&V> for F
impl<V, F> ValueFormatter<&V> for F
§fn format_value(writer: impl ValueWriter, value: &&V)
fn format_value(writer: impl ValueWriter, value: &&V)
value to writer§impl<V, F> ValueFormatter<Arc<V>> for F
impl<V, F> ValueFormatter<Arc<V>> for F
§fn format_value(writer: impl ValueWriter, value: &Arc<V>)
fn format_value(writer: impl ValueWriter, value: &Arc<V>)
value to writer§impl<V, F> ValueFormatter<Box<V>> for F
impl<V, F> ValueFormatter<Box<V>> for F
§fn format_value(writer: impl ValueWriter, value: &Box<V>)
fn format_value(writer: impl ValueWriter, value: &Box<V>)
value to writer§impl<V, F> ValueFormatter<Cow<'_, V>> for F
impl<V, F> ValueFormatter<Cow<'_, V>> for F
§fn format_value(writer: impl ValueWriter, value: &Cow<'_, V>)
fn format_value(writer: impl ValueWriter, value: &Cow<'_, V>)
value to writer§impl<V, F> ValueFormatter<Option<V>> for Fwhere
F: ValueFormatter<V> + ?Sized,
impl<V, F> ValueFormatter<Option<V>> for Fwhere
F: ValueFormatter<V> + ?Sized,
§fn format_value(writer: impl ValueWriter, value: &Option<V>)
fn format_value(writer: impl ValueWriter, value: &Option<V>)
value to writer