Skip to main content

rust_web_server/proxy_config/
validate.rs

1//! Static checks for the proxy sections of `rws.config.toml`, used by
2//! `rws --check` and printed at startup. The parser itself is lenient — a
3//! typo'd key just leaves a default in place — so this is where a route that
4//! points at a missing upstream, an auth secret that isn't set, or a key the
5//! parser never reads gets reported.
6
7use std::collections::HashSet;
8
9use crate::config_check::ConfigReport;
10use crate::proxy_config::{parser, ActionConfig, AuthConfig, MiddlewareConfig, ProxyConfig};
11
12const STRATEGIES: &[&str] = &["round_robin", "random", "ip_hash", "least_connections"];
13
14const HEALTH_CHECK_KEYS: &[&str] = &["path", "interval_secs", "timeout_ms", "healthy_threshold", "unhealthy_threshold"];
15const PROXY_ACTION_KEYS: &[&str] = &["upstream", "connect_timeout_ms", "read_timeout_ms", "strip_path_prefix", "add_path_prefix"];
16const GRPC_ACTION_KEYS: &[&str] = &["upstream", "connect_timeout_ms", "read_timeout_ms"];
17const STATIC_ACTION_KEYS: &[&str] = &["root", "index"];
18const REDIRECT_ACTION_KEYS: &[&str] = &["location", "status"];
19const RESPOND_ACTION_KEYS: &[&str] = &["status", "body", "content_type"];
20const REWRITE_RULE_KEYS: &[&str] = &["type", "name", "value", "prefix", "from", "to", "code", "reason"];
21
22/// The keys the parser reads in a section, by the section's path with array
23/// indices removed (`route[2].middleware.auth` → `route.middleware.auth`).
24/// `None` for a section the parser never reads at all.
25fn known_keys(section: &str) -> Option<Vec<&'static str>> {
26    // The global `[middleware]` table has the same shape as `[route.middleware]`.
27    let route_form;
28    let section = if section == "middleware" || section.starts_with("middleware.") {
29        route_form = format!("route.{section}");
30        route_form.as_str()
31    } else {
32        section
33    };
34    let keys: Vec<&'static str> = match section {
35        "upstream" => vec!["name", "backends", "strategy", "weights", "tls_ca_file", "tls_client_cert_file", "tls_client_key_file", "protocol"],
36        "upstream.sticky" => vec!["cookie", "max_age_secs"],
37        "upstream.circuit_breaker" => vec!["failure_threshold", "recovery_secs", "half_open_probes"],
38        "upstream.retry" => vec!["attempts", "status"],
39        "upstream.health_check" | "ws_proxy.health_check" => HEALTH_CHECK_KEYS.to_vec(),
40        "route" => vec!["name"],
41        "route.match" => vec!["host", "path", "method", "content_type"],
42        // `[route.action]` takes `type` plus the short form of every action's keys.
43        "route.action" => {
44            let mut keys = vec!["type"];
45            for group in [PROXY_ACTION_KEYS, GRPC_ACTION_KEYS, STATIC_ACTION_KEYS, REDIRECT_ACTION_KEYS, RESPOND_ACTION_KEYS] {
46                for key in group {
47                    if !keys.contains(key) {
48                        keys.push(key);
49                    }
50                }
51            }
52            keys
53        }
54        "route.action.proxy" => PROXY_ACTION_KEYS.to_vec(),
55        "route.action.grpc" => GRPC_ACTION_KEYS.to_vec(),
56        "route.action.static" => STATIC_ACTION_KEYS.to_vec(),
57        "route.action.redirect" => REDIRECT_ACTION_KEYS.to_vec(),
58        "route.action.respond" => RESPOND_ACTION_KEYS.to_vec(),
59        "route.action.mcp" => super::mcp_gateway::GATEWAY_KEYS.to_vec(),
60        "route.action.mcp.upstream" => super::mcp_gateway::UPSTREAM_KEYS.to_vec(),
61        "route.action.mcp.caller" => super::mcp_gateway::CALLER_KEYS.to_vec(),
62        "route.action.mcp.allow" => super::mcp_gateway::ALLOW_KEYS.to_vec(),
63        "route.action.mcp.limit" => super::mcp_gateway::LIMIT_KEYS.to_vec(),
64        "route.action.llm" => super::llm::LLM_KEYS.to_vec(),
65        "route.action.a2a" => super::a2a_gateway::KEYS.to_vec(),
66        "route.action.llm.provider" => super::llm::PROVIDER_KEYS.to_vec(),
67        "route.action.llm.key" => super::llm::KEY_KEYS.to_vec(),
68        "route.middleware" => vec!["timeout_ms", "max_body_size", "early_hints"],
69        "route.middleware.rate_limit" => vec!["max_requests", "window_secs"],
70        "route.middleware.cache" => vec!["ttl_secs", "vary_by", "dir", "max_size", "purge_token_env"],
71        "route.middleware.auth" => vec!["type", "token_env", "secret_env", "htpasswd_file"],
72        "route.middleware.ip_filter" => vec!["allow", "deny"],
73        "route.middleware.mirror" => vec!["upstream", "backends", "percent"],
74        "route.middleware.authz" => vec!["relation", "object"],
75        "authz" => vec!["store", "tuples"],
76        "route.middleware.wasm" => vec!["module", "fuel", "memory_mb", "config"],
77        "route.middleware.rewrite.request" | "route.middleware.rewrite.response" => REWRITE_RULE_KEYS.to_vec(),
78        "tcp_proxy" => vec!["name", "listen", "backends", "connect_timeout_ms"],
79        "udp_proxy" => vec!["name", "listen", "backends", "reply_timeout_ms", "buffer_size"],
80        "ws_proxy" => vec!["name", "listen", "backends", "connect_timeout_ms", "read_timeout_ms"],
81        _ => return None,
82    };
83    Some(keys)
84}
85
86/// `route[2].middleware.rewrite.request[0]` → `route.middleware.rewrite.request`.
87fn strip_indices(section: &str) -> String {
88    let mut out = String::with_capacity(section.len());
89    let mut in_index = false;
90    for c in section.chars() {
91        match c {
92            '[' => in_index = true,
93            ']' => in_index = false,
94            _ if !in_index => out.push(c),
95            _ => {}
96        }
97    }
98    out
99}
100
101/// Report keys and tables in the proxy sections that the parser ignores.
102pub fn check_unknown_keys(toml: &str, report: &mut ConfigReport) {
103    let map = parser::parse(toml);
104    let mut sections: Vec<&String> = map.keys().collect();
105    sections.sort();
106    for section in sections {
107        let root = section.split(['.', '[']).next().unwrap_or("");
108        if !["route", "upstream", "tcp_proxy", "udp_proxy", "ws_proxy", "middleware", "authz"].contains(&root) {
109            continue;
110        }
111        let shape = strip_indices(section);
112        // Header names, relation names: any key.
113        if shape == "route.action.mcp.upstream.headers_env" || shape == "route.action.a2a.headers_env" || shape.starts_with("authz.type.") {
114            continue;
115        }
116        match known_keys(&shape) {
117            None => report.error(format!("[{}]: unknown table — ignored", shape)),
118            Some(keys) => {
119                for (key, _) in &map[section] {
120                    if !keys.contains(&key.as_str()) {
121                        report.error(format!("[{}] {}: unknown key — ignored", shape, key));
122                    }
123                }
124            }
125        }
126    }
127}
128
129/// `host:port`, or a URL with an `http://`, `https://`, `h2://`, `ws://` or
130/// `wss://` scheme, whose port may be left to the scheme's default.
131fn is_host_port(backend: &str) -> bool {
132    let (rest, has_scheme) = match ["http://", "https://", "h2://", "h2s://", "grpc://", "grpcs://", "ws://", "wss://"]
133        .iter()
134        .find_map(|scheme| backend.strip_prefix(scheme))
135    {
136        Some(rest) => (rest, true),
137        None => (backend, false),
138    };
139    let rest = rest.trim_end_matches('/');
140    if rest.is_empty() || rest.contains('/') || rest.contains(char::is_whitespace) {
141        return false;
142    }
143    match rest.rsplit_once(':') {
144        Some((host, port)) => !host.is_empty() && port.parse::<u16>().is_ok_and(|p| p > 0),
145        None => has_scheme,
146    }
147}
148
149impl ProxyConfig {
150    /// Check the configuration for mistakes the parser lets through. Reads
151    /// the auth secrets' environment variables and htpasswd files, so run it
152    /// in the environment the server will run in.
153    pub fn validate(&self, report: &mut ConfigReport) {
154        // [authz], built over a throwaway store (nothing is written).
155        let authz = super::builder::config_authorizer_with(self, Some(std::sync::Arc::new(crate::authz::MemoryStore::new())));
156        if self.authz.as_ref().is_some_and(|a| a.store == "sql")
157            && !cfg!(any(feature = "model-sqlite", feature = "model-postgres", feature = "model-mysql"))
158        {
159            report.error("[authz]: store = \"sql\" needs a build with a model-sqlite / model-postgres / model-mysql feature".to_string());
160        }
161        if let Some(Err(e)) = &authz {
162            report.error(format!("[authz]: {e}"));
163        }
164        let mut names = HashSet::new();
165        for (i, upstream) in self.upstreams.iter().enumerate() {
166            let label = if upstream.name.is_empty() { format!("[[upstream]] #{}", i + 1) } else { format!("upstream '{}'", upstream.name) };
167            if upstream.name.is_empty() {
168                report.error(format!("{label}: missing `name` — no route can refer to it"));
169            } else if !names.insert(upstream.name.as_str()) {
170                report.error(format!("{label}: declared more than once"));
171            }
172            if upstream.backends.is_empty() {
173                report.error(format!("{label}: `backends` is empty"));
174            }
175            match upstream.protocol.to_ascii_lowercase().as_str() {
176                "" | "http1" => {}
177                "h3" => {
178                    if !cfg!(feature = "http3") {
179                        report.error(format!("{label}: protocol = \"h3\" needs a build with the http3 feature (the default)"));
180                    }
181                    if let Some(plain) = upstream.backends.iter().find(|b| !b.starts_with("https://")) {
182                        report.error(format!("{label}: protocol = \"h3\" needs https:// backends (QUIC is always TLS); '{plain}' isn't"));
183                    }
184                }
185                other => report.error(format!("{label}: protocol must be \"http1\" or \"h3\", not \"{other}\"")),
186            }
187            for backend in &upstream.backends {
188                if !is_host_port(backend) {
189                    report.error(format!("{label}: backend '{backend}' is not host:port"));
190                }
191            }
192            let client = match (&upstream.tls_client_cert_file, &upstream.tls_client_key_file) {
193                (Some(cert), Some(key)) => Some((cert.as_str(), key.as_str())),
194                (None, None) => None,
195                _ => {
196                    report.error(format!("{label}: tls_client_cert_file and tls_client_key_file go together"));
197                    None
198                }
199            };
200            if upstream.tls_ca_file.is_some() || client.is_some() {
201                if !crate::config_check::offline() {
202                    if let Err(e) = crate::proxy::UpstreamTls::new(upstream.tls_ca_file.as_deref(), client) {
203                        report.error(format!("{label}: {e}; its TLS backends would answer 502"));
204                    }
205                }
206                if !upstream.tls {
207                    report.warn(format!("{label}: TLS settings are set but no backend is https://, h2s:// or grpcs://, so they aren't used"));
208                }
209            }
210            if !STRATEGIES.contains(&upstream.strategy.as_str()) {
211                report.error(format!(
212                    "{label}: unknown strategy '{}' (expected one of {})",
213                    upstream.strategy,
214                    STRATEGIES.join(", ")
215                ));
216            }
217            if !upstream.weights.is_empty() {
218                if upstream.weights.len() != upstream.backends.len() {
219                    report.error(format!("{label}: `weights` has {} entries for {} backends (one each, in order)", upstream.weights.len(), upstream.backends.len()));
220                }
221                if upstream.weights.contains(&0) {
222                    report.error(format!("{label}: `weights` must be whole numbers of 1 or more"));
223                }
224                if upstream.strategy == "ip_hash" {
225                    report.warn(format!("{label}: `weights` don't apply to strategy ip_hash"));
226                }
227            }
228            if let Some(sticky) = &upstream.sticky {
229                let token = |c: char| c.is_ascii_alphanumeric() || "!#$%&'*+-.^_`|~".contains(c);
230                if sticky.cookie.is_empty() || !sticky.cookie.chars().all(token) {
231                    report.error(format!("{label}: sticky cookie name '{}' isn't a valid cookie name", sticky.cookie));
232                }
233            }
234            if let Some(breaker) = &upstream.circuit_breaker {
235                if breaker.failure_threshold == 0 {
236                    report.error(format!("{label}: circuit_breaker.failure_threshold must be 1 or more"));
237                }
238                if breaker.recovery_secs == 0 {
239                    report.warn(format!("{label}: circuit_breaker.recovery_secs = 0 probes an open backend on the next request"));
240                }
241            }
242            if let Some(retry) = &upstream.retry {
243                if retry.attempts == 0 {
244                    report.warn(format!("{label}: retry.attempts = 0 never retries"));
245                } else if retry.attempts as usize >= upstream.backends.len() {
246                    report.warn(format!(
247                        "{label}: retry.attempts = {} but there are {} backends — a request goes to each at most once",
248                        retry.attempts,
249                        upstream.backends.len()
250                    ));
251                }
252                if let Some(status) = retry.status.iter().find(|s| !(400..=599).contains(*s)) {
253                    report.error(format!("{label}: retry.status {status} isn't an error status (400–599)"));
254                }
255            }
256            #[cfg(not(any(feature = "http-client", feature = "http2")))]
257            if upstream.tls {
258                report.error(format!("{label}: https:// backends need the `http2` or `http-client` feature, which this build doesn't include"));
259            }
260        }
261
262        for (i, route) in self.routes.iter().enumerate() {
263            let label = if route.name.is_empty() { format!("route #{}", i + 1) } else { format!("route '{}'", route.name) };
264            match &route.action {
265                ActionConfig::Proxy { upstream, .. } | ActionConfig::Grpc { upstream, .. } => {
266                    if upstream.is_empty() {
267                        report.error(format!("{label}: proxy action has no `upstream`"));
268                    } else if !names.contains(upstream.as_str()) {
269                        if is_host_port(upstream) {
270                            report.warn(format!("{label}: upstream '{upstream}' is not a declared [[upstream]]; using it as a backend address (no health checks)"));
271                        } else {
272                            report.error(format!("{label}: upstream '{upstream}' is not a declared [[upstream]]"));
273                        }
274                    }
275                }
276                ActionConfig::Static { root, .. } => {
277                    if root.is_empty() {
278                        report.error(format!("{label}: static action has no `root`"));
279                    } else if !crate::config_check::offline() && !std::path::Path::new(root).is_dir() {
280                        report.warn(format!("{label}: static root '{root}' is not a directory (yet)"));
281                    }
282                }
283                ActionConfig::Redirect { location, status } => {
284                    if location.is_empty() {
285                        report.error(format!("{label}: redirect action has no `location`"));
286                    }
287                    if !(300..=399).contains(status) {
288                        report.error(format!("{label}: redirect status {status} is not a 3xx code"));
289                    }
290                }
291                ActionConfig::Respond { status, .. } => {
292                    if !(100..=599).contains(status) {
293                        report.error(format!("{label}: respond status {status} is not an HTTP status code"));
294                    }
295                }
296                ActionConfig::Mcp(gateway) => {
297                    super::mcp_gateway::validate(gateway, route.match_.path.as_deref(), &label, report);
298                }
299                ActionConfig::Llm(llm) => {
300                    super::llm::validate(llm, &label, report);
301                }
302                ActionConfig::A2a(gateway) => {
303                    super::a2a_gateway::validate(gateway, route.match_.path.as_deref(), &label, report);
304                }
305                ActionConfig::Unknown(kind) if kind.is_empty() => {
306                    report.error(format!("{label}: [route.action] has no `type`"));
307                }
308                ActionConfig::Unknown(kind) => {
309                    report.error(format!("{label}: unknown action type '{kind}' (expected proxy, grpc, static, redirect, respond, mcp, llm or a2a)"));
310                }
311            }
312            let has_auth = route.middleware.auth.is_some() || self.global_middleware.auth.is_some();
313            validate_middleware(&label, &route.middleware, authz.as_ref(), has_auth, report);
314
315            let m = &route.match_;
316            if m.host.is_none() && m.path.is_none() && m.method.is_none() && m.content_type.is_none() && i + 1 < self.routes.len() {
317                report.warn(format!("{label}: matches every request, so the routes after it are never reached"));
318            }
319        }
320
321        validate_middleware("[middleware]", &self.global_middleware, authz.as_ref(), self.global_middleware.auth.is_some(), report);
322        if self.global_middleware.authz.is_some() {
323            report.warn("[middleware.authz]: applies to every request, /healthz, /readyz and /metrics included — probes without a caller get 401".to_string());
324        }
325
326        let listeners = self.tcp_proxies.iter().map(|p| ("tcp_proxy", &p.name, &p.listen, &p.backends))
327            .chain(self.udp_proxies.iter().map(|p| ("udp_proxy", &p.name, &p.listen, &p.backends)))
328            .chain(self.ws_proxies.iter().map(|p| ("ws_proxy", &p.name, &p.listen, &p.backends)));
329        for (kind, name, listen, backends) in listeners {
330            let label = format!("[[{kind}]] '{name}'");
331            if listen.parse::<std::net::SocketAddr>().is_err() {
332                report.error(format!("{label}: listen '{listen}' is not an address like 0.0.0.0:5432"));
333            }
334            if backends.is_empty() {
335                report.error(format!("{label}: `backends` is empty"));
336            }
337            for backend in backends {
338                if !is_host_port(backend) {
339                    report.error(format!("{label}: backend '{backend}' is not host:port"));
340                }
341            }
342        }
343    }
344}
345
346fn validate_middleware(
347    label: &str,
348    mw: &MiddlewareConfig,
349    authz: Option<&Result<crate::authz::Authorizer, String>>,
350    has_auth: bool,
351    report: &mut ConfigReport,
352) {
353    for link in &mw.early_hints {
354        if !crate::early_hints::valid(link) {
355            report.error(format!("{label}: early_hints value {link:?} is empty or holds a line break"));
356        } else if !link.trim_start().starts_with('<') {
357            report.warn(format!("{label}: early_hints value {link:?} doesn't start with <URL>; browsers will ignore it"));
358        }
359    }
360    if let Some(rule) = &mw.authz {
361        let schema = authz.and_then(|a| a.as_ref().ok()).map(|a| a.schema());
362        match (authz, crate::authz::ObjectTemplate::parse(&rule.object)) {
363            (None, _) => report.error(format!("{label}: [middleware.authz] needs an [authz] section")),
364            (_, Err(e)) => report.error(format!("{label}: [middleware.authz] {e}")),
365            (Some(_), Ok(template)) => {
366                let kind = template.object_type().unwrap_or_default();
367                if rule.relation.is_empty() {
368                    report.error(format!("{label}: [middleware.authz] needs `relation`"));
369                } else if let Some(schema) = schema {
370                    if !schema.has_relation(kind, &rule.relation) {
371                        report.error(format!("{label}: [middleware.authz] {kind}#{} isn't defined in [authz]", rule.relation));
372                    }
373                }
374            }
375        }
376        if !has_auth {
377            report.warn(format!("{label}: [middleware.authz] without auth here or in [middleware]: no caller is known, every request gets 401"));
378        }
379    }
380    if let Some(m) = &mw.mirror {
381        match (m.upstream.is_empty(), m.backends.is_empty()) {
382            (true, true) => report.error(format!("{label}: [middleware.mirror] needs `upstream` or `backends`")),
383            (false, false) => report.error(format!("{label}: [middleware.mirror] has both `upstream` and `backends`; use one")),
384            _ => {}
385        }
386        for b in &m.backends {
387            if crate::proxy_config::health::parse_backend_url(b).is_none() {
388                report.error(format!("{label}: mirror backend '{b}' is not a backend address"));
389            }
390        }
391        if !(m.percent.is_finite() && (0.0..=100.0).contains(&m.percent)) {
392            report.error(format!("{label}: mirror percent must be a number from 0 to 100"));
393        } else if m.percent == 0.0 {
394            report.warn(format!("{label}: mirror percent is 0: nothing is mirrored"));
395        }
396    }
397    if let Some(wasm) = &mw.wasm {
398        if wasm.module.is_empty() {
399            report.error(format!("{label}: [middleware.wasm] has no `module`; the route answers 503"));
400        } else if cfg!(not(feature = "wasm-plugins")) {
401            report.error(format!("{label}: [middleware.wasm] needs the wasm-plugins feature, which this build doesn't include; the route answers 503"));
402        } else if !crate::config_check::offline() {
403            #[cfg(feature = "wasm-plugins")]
404            if let Err(e) = crate::wasm_plugin::WasmLayer::from_file(&wasm.module) {
405                report.error(format!("{label}: {e}; the route answers 503"));
406            }
407        }
408        if wasm.fuel == 0 || wasm.memory_mb == 0 {
409            report.error(format!("{label}: [middleware.wasm] fuel and memory_mb must be above 0"));
410        }
411    }
412    match &mw.auth {
413        Some(AuthConfig::Bearer { token_env }) | Some(AuthConfig::Jwt { secret_env: token_env }) => {
414            if token_env.is_empty() {
415                report.error(format!("{label}: auth has no `token_env` / `secret_env`; the route answers 503"));
416            } else if !crate::config_check::offline() && std::env::var(token_env).unwrap_or_default().is_empty() {
417                report.error(format!("{label}: auth secret env var '{token_env}' is unset or empty; the route answers 503 until it is set"));
418            }
419        }
420        Some(AuthConfig::Basic { htpasswd_file }) => {
421            #[cfg(feature = "auth")]
422            if !crate::config_check::offline() {
423                if let Err(e) = crate::auth::BasicAuthLayer::from_htpasswd_file(htpasswd_file) {
424                    report.error(format!("{label}: basic auth: {e}; the route answers 503"));
425                }
426            }
427            #[cfg(not(feature = "auth"))]
428            let _ = htpasswd_file;
429        }
430        None => {}
431    }
432    #[cfg(not(feature = "auth"))]
433    if matches!(mw.auth, Some(AuthConfig::Jwt { .. }) | Some(AuthConfig::Basic { .. })) {
434        report.error(format!("{label}: jwt and basic auth need the `auth` feature, which this build doesn't include; the route answers 503"));
435    }
436
437    for entry in mw.ip_allow.iter().chain(&mw.ip_deny) {
438        if !crate::ip_filter::is_valid_entry(entry) {
439            report.error(format!("{label}: ip_filter entry '{entry}' is not an IP address or CIDR range — ignored"));
440        }
441    }
442    if !mw.ip_allow.is_empty() && !mw.ip_deny.is_empty() {
443        report.warn(format!("{label}: ip_filter has both `allow` and `deny`; only `allow` is used"));
444    }
445    if let Some(cache) = &mw.cache {
446        if crate::proxy_config::cache_max_bytes(&cache.max_size).is_none() {
447            report.error(format!("{label}: cache max_size {:?} is not a size (e.g. \"512M\")", cache.max_size));
448        }
449        if !cache.purge_token_env.is_empty() && !crate::config_check::offline() && std::env::var(&cache.purge_token_env).unwrap_or_default().trim().is_empty() {
450            report.error(format!("{label}: cache purge_token_env {} is unset or empty; PURGE is refused", cache.purge_token_env));
451        }
452        if !cache.max_size.is_empty() && cache.dir.is_empty() {
453            report.warn(format!("{label}: cache max_size only applies with `dir` (the memory cache is bounded by entries)"));
454        }
455        if !cache.dir.is_empty() && !crate::config_check::offline() {
456            let probe = std::path::Path::new(&cache.dir).join(format!(".rws-check-{}", std::process::id()));
457            let writable = std::fs::create_dir_all(&cache.dir).and_then(|_| std::fs::write(&probe, b"")).is_ok();
458            let _ = std::fs::remove_file(&probe);
459            if !writable {
460                report.error(format!("{label}: cache dir {:?} isn't writable; the route caches in memory instead", cache.dir));
461            }
462        }
463    }
464    if let Some(rl) = &mw.rate_limit {
465        if rl.max_requests == 0 || rl.window_secs == 0 {
466            report.error(format!("{label}: rate_limit needs max_requests and window_secs above 0"));
467        }
468    }
469    for rule in mw.rewrite_request.iter().chain(&mw.rewrite_response) {
470        let known = ["header_set", "header_remove", "uri_set", "uri_strip_prefix", "strip_prefix",
471                     "uri_add_prefix", "add_prefix", "status", "body_replace"];
472        if !known.contains(&rule.type_.as_str()) {
473            report.error(format!("{label}: unknown rewrite rule type '{}' — ignored", rule.type_));
474        }
475    }
476}