Skip to main content

ContentPrefilter

Struct ContentPrefilter 

Source
pub struct ContentPrefilter { /* private fields */ }
Expand description

A sound, scope-aware skip-prefilter: per-scope unions (RegexSet) of the active content patterns, evaluated over the canonical surface (§6).

Soundness is by construction per scope: each rule’s pattern is scanned over a superset of the fields it actually inspects, so a clean result on every scanned surface proves no content rule matches → the full inspection would return Allow → the caller may safely skip it. The check can only err toward “candidate” (run the full path), never toward a wrong skip.

NB: a character-class pre-check (looking for </'/%/…) would be UNSOUND — keyword rules match plain alphanumerics (union select, sleep(, /etc/passwd) and normalization turns %3C/fullwidth into < — so this MUST stay a regex union over the same patterns and the same canonical surface as the modules.

Implementations§

Source§

impl ContentPrefilter

Source

pub fn new(paranoia: u8) -> Self

Build the scope-aware prefilter for all content rules active at paranoia.

Source

pub fn rule_ids(&self) -> Vec<&'static str>

All rule_ids covered (main + host) — total-completeness assertions.

Source

pub fn host_rule_ids(&self) -> &[&'static str]

rule_ids in the host-only bucket — scope-correspondence assertions (must be exactly the Scope::HostHeaders rules, never a content rule).

Source

pub fn is_candidate(&self, ctx: &RequestContext) -> bool

true = at least one pattern might match the canonical surface → the full inspection MUST run. false = provably no content rule can match → the caller may skip inspection and treat the request as Allow.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more