server: reserve measurement addresses; serve the UI on both families
fmr keeps .151/::151 for measurement. Their diagnostic value is entirely in their listening state being known: a TLS handshake that completes on a port nothing listens on proves interception, with no competing explanation. One stray bind turns that proof into a shrug, and nothing about the failure is visible — the run still says the network is clean. CheckReserved refuses to start when a listener would take one. Wildcards are refused outright, because that is how this actually happens: every listener defaults to ":port" and the next one added gets copied from an existing default, claiming every address without anyone deciding to. Reserved is not silent, though. The first version of the guard would have refused the live config's UDP and canary-DNS binds on .151, which are deliberate — as is STUN's RFC 5780 alternate. Reserving an address and then forbidding the measurements that need it defeats the purpose. The rule is narrower: no services, and never ports 80 or 443. The adb-beacon receiver was wildcard-bound to 0.0.0.0:443, holding port 443 on every IPv4 address including the reserved one, so the IPv4 interception test had been compromised for as long as it had run. It is disabled; restore with systemctl enable --now echolot-adb-beacon. This also marks the guard's limit: it governs this server's listeners, and a process outside its config can still pollute a reserved address. The admin UI and ACME responder were single-address, which is why the UI could only live on ::2 and why the server was reachable over IPv6 alone — the thing that made it look nonexistent from a phone without working IPv6. Both now take address lists like every other listener. Verified from outside: .150/::150/::2 answer on 443 with a valid cert for fmr.echo-lot.app, .151/::151 are closed on 80 and 443, and canary DNS is still up on .151. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
co-authored by
Claude Opus 5
parent
d9ee8bc2ae
commit
5b5a54db7d
@@ -41,6 +41,11 @@ type Config struct {
|
||||
// Admin UI / health listener (spec §7: localhost-only by default)
|
||||
AdminListen string // ECHOLOT_ADMIN_LISTEN / --admin-listen
|
||||
|
||||
// ReservedAddrs are IPs reserved for measurement: addresses whose listening state must stay
|
||||
// known, so that "nothing answered on port 443" is a fact about the network rather than a
|
||||
// fact about this server's configuration. Enforced by CheckReserved.
|
||||
ReservedAddrs string // ECHOLOT_RESERVED_ADDRS / --reserved-addrs
|
||||
|
||||
// State directory: device store, generated TLS material.
|
||||
StateDir string // ECHOLOT_STATE_DIR / --state-dir
|
||||
|
||||
@@ -162,6 +167,7 @@ func Load(args []string) (*Config, *Actions, error) {
|
||||
fs.StringVar(&c.HTTPEchoListen, "http-echo-listen", envOr("HTTP_ECHO_LISTEN", ""), "optional CLEARTEXT http-echo listen address(es); empty disables (spec §4)")
|
||||
fs.StringVar(&c.MTUProbeTargets, "mtu-probe-targets", envOr("MTU_PROBE_TARGETS", "1.1.1.1,2606:4700:4700::1111"), "egress-MTU self-proof anchors, comma-separated")
|
||||
fs.StringVar(&c.AdminListen, "admin-listen", envOr("ADMIN_LISTEN", "127.0.0.1:8444"), "admin/health listen address (keep localhost)")
|
||||
fs.StringVar(&c.ReservedAddrs, "reserved-addrs", envOr("RESERVED_ADDRS", ""), "comma-separated IPs reserved for measurement; no listener but the STUN alternate may bind them")
|
||||
fs.StringVar(&c.StateDir, "state-dir", envOr("STATE_DIR", defaultStateDir()), "state directory (device store, generated TLS)")
|
||||
fs.StringVar(&c.Name, "name", envOr("NAME", "echolot"), "server profile name")
|
||||
fs.StringVar(&c.SelfUpdateAPI, "self-update-api", envOr("SELF_UPDATE_API", ""), "Gitea repo API base for self-update; empty disables")
|
||||
@@ -216,6 +222,9 @@ func Load(args []string) (*Config, *Actions, error) {
|
||||
if err := c.checkAdminExposure(); err != nil {
|
||||
return nil, nil, err
|
||||
}
|
||||
if err := c.CheckReserved(c.Listeners()); err != nil {
|
||||
return nil, nil, err
|
||||
}
|
||||
}
|
||||
if c.Docker && (a.InstallSystemd || a.UninstallSystemd || a.SelfUpdate) {
|
||||
return nil, nil, fmt.Errorf("systemd/self-update actions are native-mode only (container detected; override with ECHOLOT_DOCKER=0 if this is wrong)")
|
||||
@@ -276,6 +285,28 @@ func (c *Config) checkAdminExposure() error {
|
||||
return nil
|
||||
}
|
||||
|
||||
// Listeners enumerates every configured listen spec, for CheckReserved.
|
||||
//
|
||||
// Kept as one list here rather than checked at each call site, so a listener added later is
|
||||
// caught by the compiler when this function is updated — and, more to the point, so that the
|
||||
// person adding one sees the reserved-address rule exists at all.
|
||||
func (c *Config) Listeners() []Listener {
|
||||
return []Listener{
|
||||
// The instrument: these belong on the reserved addresses as much as anywhere.
|
||||
{Name: "control-listen", Spec: c.ControlListen, Measurement: true},
|
||||
{Name: "udp-listen", Spec: c.UDPListen, Measurement: true},
|
||||
{Name: "tcp-listen", Spec: c.TCPListen, Measurement: true},
|
||||
{Name: "dns-listen", Spec: c.DNSListen, Measurement: true},
|
||||
{Name: "stun-listen", Spec: c.StunListen, Measurement: true},
|
||||
// http-echo is deliberately not marked as measurement: it is cleartext HTTP, so on a
|
||||
// reserved address it would be the very listener that ruins the port-80 test.
|
||||
{Name: "http-echo-listen", Spec: c.HTTPEchoListen},
|
||||
// Services. These have no business on an address kept for measuring.
|
||||
{Name: "admin-listen", Spec: c.AdminListen},
|
||||
{Name: "acme-http-listen", Spec: c.ACMEHTTPListen},
|
||||
}
|
||||
}
|
||||
|
||||
// Addrs splits a comma-separated listen spec into individual addresses.
|
||||
// Explicit per-address binds matter on multi-IP hosts: a wildcard bind
|
||||
// (":8443") would also claim addresses reserved for other purposes (e.g. an
|
||||
|
||||
@@ -0,0 +1,123 @@
|
||||
// SPDX-FileCopyrightText: 2026 Echolot contributors
|
||||
// SPDX-License-Identifier: GPL-3.0-or-later
|
||||
|
||||
package config
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"net"
|
||||
"sort"
|
||||
"strings"
|
||||
)
|
||||
|
||||
// Listener is one configured listen spec, named for the error message.
|
||||
type Listener struct {
|
||||
Name string // the flag/env this came from, e.g. "control-listen"
|
||||
Spec string // comma-separated listen addresses
|
||||
// Measurement marks a listener that is part of the instrument rather than a service on the
|
||||
// host. Those belong on the reserved addresses — STUN's RFC 5780 alternate, the UDP data
|
||||
// plane, the canary DNS — and reserving an address only to forbid the measurements that need
|
||||
// it would defeat the purpose.
|
||||
Measurement bool
|
||||
}
|
||||
|
||||
// webPorts are the ports whose closed state on a reserved address is itself the measurement.
|
||||
//
|
||||
// A TLS handshake that completes on a port known not to be listening proves interception, with no
|
||||
// competing explanation. That proof is the whole reason for reserving an address, and it survives
|
||||
// exactly as long as nothing binds these two ports there.
|
||||
var webPorts = map[string]bool{"80": true, "443": true}
|
||||
|
||||
// CheckReserved refuses to start when a listener would occupy an address reserved for measurement.
|
||||
//
|
||||
// The reserved addresses are the instrument, not the service. Their diagnostic value comes from
|
||||
// their listening state being *known*: if nothing listens on port 443 there, then a TLS handshake
|
||||
// that completes proves something on the path intercepted it, with no other explanation available.
|
||||
// One stray listener silently converts that proof into an ambiguity.
|
||||
//
|
||||
// This is a hard stop rather than a warning for the same reason as [Config.checkAdminExposure]: the
|
||||
// failure is invisible. A polluted reserved address does not crash, log, or behave oddly — it just
|
||||
// quietly turns a conclusive test into an inconclusive one, and the first symptom is a measurement
|
||||
// that says the network is clean when it is not. Nobody reads a warning for that.
|
||||
//
|
||||
// Wildcard binds are the realistic way this happens. Every listener defaults to ":port", and the
|
||||
// next one added will be copied from an existing default; that binds every address on the host,
|
||||
// reserved ones included, without anyone deciding to.
|
||||
func (c *Config) CheckReserved(listeners []Listener) error {
|
||||
reserved := c.ReservedIPs()
|
||||
if len(reserved) == 0 {
|
||||
return nil
|
||||
}
|
||||
var problems []string
|
||||
for _, l := range listeners {
|
||||
for _, addr := range Addrs(l.Spec) {
|
||||
host, port, err := net.SplitHostPort(addr)
|
||||
if err != nil {
|
||||
// Not host:port — a bare port or something malformed. Leave it to the listener
|
||||
// itself to complain; guessing here would produce a confusing error about the
|
||||
// wrong problem.
|
||||
continue
|
||||
}
|
||||
host = strings.Trim(host, "[]")
|
||||
if host == "" || host == "0.0.0.0" || host == "::" {
|
||||
problems = append(problems, fmt.Sprintf(
|
||||
" --%s=%q binds every address on this host, including the reserved ones",
|
||||
l.Name, addr))
|
||||
continue
|
||||
}
|
||||
ip := net.ParseIP(host)
|
||||
if ip == nil {
|
||||
continue // a hostname; cannot resolve it here without lying about what we checked
|
||||
}
|
||||
for _, r := range reserved {
|
||||
if !ip.Equal(r) {
|
||||
continue
|
||||
}
|
||||
switch {
|
||||
case webPorts[port]:
|
||||
problems = append(problems, fmt.Sprintf(
|
||||
" --%s=%q puts port %s on reserved address %s, which is the one thing "+
|
||||
"that address exists to keep closed", l.Name, addr, port, r))
|
||||
case !l.Measurement:
|
||||
problems = append(problems, fmt.Sprintf(
|
||||
" --%s=%q binds reserved address %s; only measurement listeners belong there",
|
||||
l.Name, addr, r))
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
if len(problems) == 0 {
|
||||
return nil
|
||||
}
|
||||
sort.Strings(problems)
|
||||
return fmt.Errorf(
|
||||
"refusing to start: these listeners would occupy addresses reserved for measurement\n%s\n"+
|
||||
"\nReserved: %s\n"+
|
||||
"Those addresses are the instrument. A test can only prove interception on a port that\n"+
|
||||
"is known not to be listening, so anything bound there destroys the conclusion rather\n"+
|
||||
"than merely sharing the address.\n"+
|
||||
" Fix it one of three ways:\n"+
|
||||
" - bind each listener to explicit service addresses instead of a wildcard\n"+
|
||||
" - remove the address from ECHOLOT_RESERVED_ADDRS if it is no longer reserved\n"+
|
||||
" - unset ECHOLOT_RESERVED_ADDRS if this host has no reserved addresses",
|
||||
strings.Join(problems, "\n"), joinIPs(reserved))
|
||||
}
|
||||
|
||||
// ReservedIPs parses the configured reserved addresses, ignoring anything unparseable.
|
||||
func (c *Config) ReservedIPs() []net.IP {
|
||||
var out []net.IP
|
||||
for _, s := range Addrs(c.ReservedAddrs) {
|
||||
if ip := net.ParseIP(strings.Trim(s, "[]")); ip != nil {
|
||||
out = append(out, ip)
|
||||
}
|
||||
}
|
||||
return out
|
||||
}
|
||||
|
||||
func joinIPs(ips []net.IP) string {
|
||||
s := make([]string, 0, len(ips))
|
||||
for _, ip := range ips {
|
||||
s = append(s, ip.String())
|
||||
}
|
||||
return strings.Join(s, ", ")
|
||||
}
|
||||
@@ -0,0 +1,151 @@
|
||||
// SPDX-FileCopyrightText: 2026 Echolot contributors
|
||||
// SPDX-License-Identifier: GPL-3.0-or-later
|
||||
|
||||
package config
|
||||
|
||||
import (
|
||||
"strings"
|
||||
"testing"
|
||||
)
|
||||
|
||||
const (
|
||||
svc4 = "89.185.109.150"
|
||||
res4 = "89.185.109.151"
|
||||
res6 = "2001:1ad0:c4fe:6767::151"
|
||||
)
|
||||
|
||||
func withReserved(l ...Listener) error {
|
||||
c := &Config{ReservedAddrs: res4 + "," + res6}
|
||||
return c.CheckReserved(l)
|
||||
}
|
||||
|
||||
func TestWildcardBindIsRefused(t *testing.T) {
|
||||
// The realistic failure: every listener defaults to ":port", and the next one added gets
|
||||
// copied from an existing default. Nobody decides to claim the reserved address; it just
|
||||
// happens, and nothing looks wrong afterwards.
|
||||
err := withReserved(Listener{Name: "control-listen", Spec: ":8443"})
|
||||
if err == nil {
|
||||
t.Fatal("a wildcard bind was allowed while addresses were reserved")
|
||||
}
|
||||
if !strings.Contains(err.Error(), "binds every address") {
|
||||
t.Fatalf("the error should say why a wildcard is the problem, got: %v", err)
|
||||
}
|
||||
}
|
||||
|
||||
func TestWebPortsOnReservedAreRefusedEvenForMeasurement(t *testing.T) {
|
||||
// The strictest rule, and the one carrying the diagnostic value: 80 and 443 must stay closed
|
||||
// on a reserved address whatever wants them, because their closed state *is* the measurement.
|
||||
for _, spec := range []string{res4 + ":443", "[" + res6 + "]:80"} {
|
||||
err := withReserved(Listener{Name: "control-listen", Spec: spec, Measurement: true})
|
||||
if err == nil {
|
||||
t.Fatalf("port 80/443 on a reserved address was allowed: %q", spec)
|
||||
}
|
||||
if !strings.Contains(err.Error(), "keep closed") {
|
||||
t.Errorf("the error should explain what is lost, got: %v", err)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
func TestServiceOnReservedIsRefused(t *testing.T) {
|
||||
if err := withReserved(Listener{Name: "admin-listen", Spec: res4 + ":8444"}); err == nil {
|
||||
t.Fatal("a service was allowed onto a reserved address")
|
||||
}
|
||||
}
|
||||
|
||||
func TestMeasurementListenersBelongOnReserved(t *testing.T) {
|
||||
// The live fmr config: the UDP data plane, canary DNS and STUN all bind the reserved pair on
|
||||
// purpose. A guard that refused this would be describing a rule nobody wants.
|
||||
err := withReserved(
|
||||
Listener{Name: "udp-listen", Spec: res4 + ":8442,[" + res6 + "]:8442", Measurement: true},
|
||||
Listener{Name: "dns-listen", Spec: res4 + ":53,[" + res6 + "]:53", Measurement: true},
|
||||
Listener{Name: "stun-listen", Spec: res4 + ":3478", Measurement: true},
|
||||
)
|
||||
if err != nil {
|
||||
t.Fatalf("measurement listeners must be allowed on reserved addresses: %v", err)
|
||||
}
|
||||
}
|
||||
|
||||
func TestServiceAddressesAreFine(t *testing.T) {
|
||||
err := withReserved(
|
||||
Listener{Name: "control-listen", Spec: svc4 + ":8443,[2001:1ad0:c4fe:6767::150]:8443"},
|
||||
Listener{Name: "admin-listen", Spec: "127.0.0.1:8444"},
|
||||
)
|
||||
if err != nil {
|
||||
t.Fatalf("service addresses should be allowed: %v", err)
|
||||
}
|
||||
}
|
||||
|
||||
func TestHttpEchoIsNotTreatedAsMeasurement(t *testing.T) {
|
||||
// http-echo is cleartext HTTP. On a reserved address it is precisely the listener that would
|
||||
// ruin the port-80 test, so it does not get the measurement exemption.
|
||||
if err := withReserved(Listener{Name: "http-echo-listen", Spec: res4 + ":8080"}); err == nil {
|
||||
t.Fatal("http-echo was allowed onto a reserved address")
|
||||
}
|
||||
}
|
||||
|
||||
func TestNoReservationMeansNoOpinion(t *testing.T) {
|
||||
// A host with nothing reserved must keep working exactly as before, wildcards included.
|
||||
c := &Config{}
|
||||
if err := c.CheckReserved([]Listener{{Name: "control-listen", Spec: ":8443"}}); err != nil {
|
||||
t.Fatalf("with no reserved addresses this must not interfere: %v", err)
|
||||
}
|
||||
}
|
||||
|
||||
func TestEveryOffenderIsNamed(t *testing.T) {
|
||||
// Reporting one problem at a time turns a config fix into several restart cycles, and on a
|
||||
// remote host each cycle is a chance to lock yourself out.
|
||||
err := withReserved(
|
||||
Listener{Name: "control-listen", Spec: ":8443"},
|
||||
Listener{Name: "tcp-listen", Spec: res4 + ":8441"},
|
||||
)
|
||||
if err == nil {
|
||||
t.Fatal("expected a refusal")
|
||||
}
|
||||
for _, want := range []string{"control-listen", "tcp-listen"} {
|
||||
if !strings.Contains(err.Error(), want) {
|
||||
t.Errorf("the error should name %s; got: %v", want, err)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
func TestHostnamesAreNotGuessedAt(t *testing.T) {
|
||||
// Resolving here would check a name against whatever DNS says at startup, which is not
|
||||
// necessarily what it will say later — and a guard that is sometimes right is worse than one
|
||||
// with a stated limit.
|
||||
if err := withReserved(Listener{Name: "control-listen", Spec: "fmr-1.echo-lot.app:8443"}); err != nil {
|
||||
t.Fatalf("a hostname must be left alone, not resolved: %v", err)
|
||||
}
|
||||
}
|
||||
|
||||
func TestListenersCoversEverySpec(t *testing.T) {
|
||||
// A listener missing from Listeners() is invisible to the guard, which is the one way this
|
||||
// protection fails silently. Fill every spec with the reserved address: each one that is
|
||||
// actually enumerated produces a complaint naming it.
|
||||
// Every spec on port 443 of the reserved address: the web-port rule applies to measurement
|
||||
// listeners too, so each one that is genuinely enumerated must produce a complaint.
|
||||
c := &Config{
|
||||
ReservedAddrs: res4,
|
||||
ControlListen: res4 + ":443",
|
||||
UDPListen: res4 + ":443",
|
||||
TCPListen: res4 + ":443",
|
||||
DNSListen: res4 + ":443",
|
||||
HTTPEchoListen: res4 + ":443",
|
||||
AdminListen: res4 + ":443",
|
||||
ACMEHTTPListen: res4 + ":443",
|
||||
StunListen: res4 + ":443",
|
||||
}
|
||||
err := c.CheckReserved(c.Listeners())
|
||||
if err == nil {
|
||||
t.Fatal("expected a refusal")
|
||||
}
|
||||
// Every spec is on the reserved address; the web-port rule catches even the measurement ones,
|
||||
// so anything missing from Listeners() is invisible here and that is what this asserts.
|
||||
for _, want := range []string{
|
||||
"control-listen", "udp-listen", "tcp-listen", "dns-listen",
|
||||
"http-echo-listen", "admin-listen", "acme-http-listen", "stun-listen",
|
||||
} {
|
||||
if !strings.Contains(err.Error(), want) {
|
||||
t.Errorf("%s is not enumerated in Listeners(), so the guard cannot see it", want)
|
||||
}
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user