Compare commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
54c5f74778 |
@@ -0,0 +1,78 @@
|
||||
# ING-01 – Prüfprotokoll: IMAP-Server-Grundgerüst
|
||||
|
||||
Keine Vorbedingungen im Mail-Board (sofort startbar).
|
||||
|
||||
## Umsetzung
|
||||
|
||||
- `mail/internal/imap/state.go` — `State` (`NotAuthenticated`,
|
||||
`Authenticated`, `Selected`, RFC 3501 §3).
|
||||
- `mail/internal/imap/parser.go` — `parseCommandLine`/`tokenize`: Tag +
|
||||
Kommando + Argumente (Atome und doppelt zitierte Zeichenketten), keine
|
||||
IMAP-Literalsyntax (`{n}CRLF...` — bewusst nicht Bestandteil der
|
||||
kleinsten Lösung, LOGIN/SELECT/FETCH kommen ohne Literale aus).
|
||||
- `mail/internal/imap/response.go` — `sanitizeResponseText`: Bekannten
|
||||
Fehler vermieden (archivmail: Header-/Zeilen-Injection durch
|
||||
Stringkonkatenation ohne CRLF-Prüfung) — jede Antwortzeile entfernt
|
||||
eingebettete CR/LF, bevor sie geschrieben wird, keine direkte
|
||||
Interpolation von Nutzereingaben in eine Rohantwort.
|
||||
- `mail/internal/imap/session.go`/`commands.go` — Session-
|
||||
Zustandsmaschine mit `CAPABILITY`/`LOGIN`/`SELECT`/`FETCH`/`LOGOUT`,
|
||||
strikte Zustandsprüfung je Kommando (Akzeptanzkriterium 1), fehlerhafte
|
||||
Zeilen/unbekannte Kommandos/verbotene Zustandsübergänge liefern eine
|
||||
`BAD`/`NO`-Antwort statt eines Verbindungsabbruchs (Akzeptanzkriterium
|
||||
3). `maxCommandLineBytes` begrenzt die Puffergröße defensiv (Vorbild
|
||||
Dovecot: defensive Fehlerbehandlung statt optimistischem Parsing).
|
||||
- `mail/internal/imap/server.go` — `Server.Serve`: TCP-Accept-Schleife,
|
||||
eine Goroutine je Verbindung.
|
||||
- `Authenticator`/`MailboxStore` sind schmale Schnittstellen — echte
|
||||
Benutzerverwaltungs-/Postfach-Anbindung ist Sache von IMP-01 u. a.
|
||||
(„Nicht Bestandteil dieser Kachel"), dieses Paket kennt weder Core-IAM
|
||||
noch `mail/internal/storage`.
|
||||
- Kein Umbau: alle bestehenden Pakete unverändert — ING-01 fügt
|
||||
ausschließlich das neue `mail/internal/imap`-Paket hinzu.
|
||||
|
||||
## Prüfungen
|
||||
|
||||
| # | Prüfung | Ergebnis |
|
||||
|---|---|---|
|
||||
| 1 | Manuelle Session mit Standard-IMAP-Client durchgespielt und protokolliert | **bestanden** – echte Session mit Pythons Standardbibliothek `imaplib` gegen den real laufenden Server auf 192.168.1.131 (Port 14300): CAPABILITY→OK, LOGIN→OK, SELECT INBOX→OK (`2` Nachrichten), FETCH 1:2 (FLAGS)→OK mit realen Flags, SELECT eines nicht existierenden Postfachs→NO OHNE Verbindungsabbruch, danach CAPABILITY erneut→OK, LOGOUT→BYE. Vollständiges Protokoll siehe unten |
|
||||
| 2 | Automatisierter Test deckt alle drei Zustandsübergänge und deren verbotene Übergänge ab | **bestanden** – `TestSession_StateTransitionsAndForbiddenTransitions`: SELECT/FETCH in NotAuthenticated→BAD, LOGIN→Authenticated, erneutes LOGIN/FETCH in Authenticated→BAD, SELECT→Selected, FETCH in Selected→OK — alle real über echte TCP-Verbindung gegen den echten Server geprüft |
|
||||
| 3 | Lasttest mit 50 parallelen Sessions ohne Ressourcenleck | **bestanden** – `TestServer_50ParallelSessionsNoLeak`: 50 reale, gleichzeitige TCP-Verbindungen, je vollständiger LOGIN→SELECT→FETCH→LOGOUT-Durchlauf, 0 Fehler |
|
||||
|
||||
### Manuelles Sitzungsprotokoll (Pflichtprüfung 1, real erzeugt)
|
||||
|
||||
```
|
||||
CAPABILITY -> OK [b'IMAP4rev1']
|
||||
LOGIN -> OK [b'LOGIN completed']
|
||||
SELECT INBOX -> OK [b'2']
|
||||
FETCH 1:2 (FLAGS) -> OK [b'1 (FLAGS (\\Seen))', b'2 (FLAGS ())']
|
||||
SELECT NICHT_VORHANDEN (erwartet NO) -> NO [b'SELECT failed: no such mailbox']
|
||||
CAPABILITY nach Fehler (Verbindung noch offen) -> OK [b'IMAP4rev1']
|
||||
LOGOUT -> BYE [b'IMAP4rev1 Server logging out']
|
||||
```
|
||||
|
||||
Testserver und Testskript wurden nach der Prüfung wieder entfernt
|
||||
(Wegwerf-`cmd/imap-manual-test`, nicht Teil des Produktcodes).
|
||||
|
||||
Zusätzlich (AC2/AC3, ergänzend real geprüft):
|
||||
`TestCommands_AllBaseCommandsAnswered` (alle fünf Grundbefehle real
|
||||
beantwortet) und `TestSession_MalformedLineDoesNotDisconnect`
|
||||
(syntaktisch fehlerhafte Zeile → `* BAD`, Verbindung bleibt real
|
||||
funktionsfähig).
|
||||
|
||||
## Build/Test-Ergebnis (192.168.1.131)
|
||||
|
||||
```
|
||||
go build ./... -> clean
|
||||
go vet ./... -> clean
|
||||
golangci-lint run ./... -> 0 issues
|
||||
go test ./internal/imap/... -v -timeout 60s -> 5/5 bestanden
|
||||
TEST_TENANT_DSN=... TEST_MANTICORE_URL=... go test ./... -p 1
|
||||
-> alle 12 Pakete bestanden, keine Regression
|
||||
```
|
||||
|
||||
## Gesamtergebnis
|
||||
|
||||
**Bestanden.** Alle drei Akzeptanzkriterien und alle drei Pflichtprüfungen
|
||||
real erfüllt. Entsperrt IMP-01, ING-02, ING-05, ING-06, ING-07, ING-08,
|
||||
ING-10, QA-07.
|
||||
@@ -0,0 +1,148 @@
|
||||
package imap
|
||||
|
||||
import (
|
||||
"context"
|
||||
"fmt"
|
||||
"strconv"
|
||||
"strings"
|
||||
)
|
||||
|
||||
// handleCapability ist in jedem Zustand erlaubt (RFC 3501 §6.1.1).
|
||||
func (s *Session) handleCapability(cmd command) bool {
|
||||
if err := writeUntagged(s.writer, "CAPABILITY IMAP4rev1"); err != nil {
|
||||
return false
|
||||
}
|
||||
return s.writeErr(cmd.Tag, "OK", "CAPABILITY completed")
|
||||
}
|
||||
|
||||
// handleLogin ist nur im Zustand NotAuthenticated erlaubt
|
||||
// (Akzeptanzkriterium 1/3).
|
||||
func (s *Session) handleLogin(ctx context.Context, cmd command) bool {
|
||||
if s.state != NotAuthenticated {
|
||||
return s.writeErr(cmd.Tag, "BAD", "LOGIN not allowed in "+s.state.String()+" state")
|
||||
}
|
||||
if len(cmd.Args) != 2 {
|
||||
return s.writeErr(cmd.Tag, "BAD", "LOGIN requires username and password")
|
||||
}
|
||||
if s.auth == nil {
|
||||
return s.writeErr(cmd.Tag, "NO", "LOGIN not available")
|
||||
}
|
||||
|
||||
ok, err := s.auth.Authenticate(ctx, cmd.Args[0], cmd.Args[1])
|
||||
if err != nil {
|
||||
return s.writeErr(cmd.Tag, "NO", "LOGIN failed")
|
||||
}
|
||||
if !ok {
|
||||
return s.writeErr(cmd.Tag, "NO", "LOGIN failed")
|
||||
}
|
||||
s.state = Authenticated
|
||||
return s.writeErr(cmd.Tag, "OK", "LOGIN completed")
|
||||
}
|
||||
|
||||
// handleSelect ist in Authenticated und Selected erlaubt (ein erneutes
|
||||
// SELECT wechselt das gewählte Postfach).
|
||||
func (s *Session) handleSelect(ctx context.Context, cmd command) bool {
|
||||
if s.state == NotAuthenticated {
|
||||
return s.writeErr(cmd.Tag, "BAD", "SELECT not allowed in "+s.state.String()+" state")
|
||||
}
|
||||
if len(cmd.Args) != 1 {
|
||||
return s.writeErr(cmd.Tag, "BAD", "SELECT requires a mailbox name")
|
||||
}
|
||||
if s.store == nil {
|
||||
return s.writeErr(cmd.Tag, "NO", "SELECT not available")
|
||||
}
|
||||
|
||||
mailboxName := cmd.Args[0]
|
||||
exists, ok, err := s.store.Select(ctx, mailboxName)
|
||||
if err != nil || !ok {
|
||||
// Fehlgeschlagenes SELECT lässt den Zustand laut RFC 3501 §6.3.1
|
||||
// auf Authenticated zurückfallen, nie in Selected mit ungültigem
|
||||
// Postfach hängen bleiben.
|
||||
s.state = Authenticated
|
||||
return s.writeErr(cmd.Tag, "NO", "SELECT failed: no such mailbox")
|
||||
}
|
||||
|
||||
if err := writeUntagged(s.writer, fmt.Sprintf("%d EXISTS", exists)); err != nil {
|
||||
return false
|
||||
}
|
||||
s.state = Selected
|
||||
s.mailbox = mailboxName
|
||||
s.mailboxSize = uint32(exists)
|
||||
return s.writeErr(cmd.Tag, "OK", "[READ-WRITE] SELECT completed")
|
||||
}
|
||||
|
||||
// handleFetch ist ausschließlich im Zustand Selected erlaubt
|
||||
// (Akzeptanzkriterium 1/2).
|
||||
func (s *Session) handleFetch(ctx context.Context, cmd command) bool {
|
||||
if s.state != Selected {
|
||||
return s.writeErr(cmd.Tag, "BAD", "FETCH not allowed in "+s.state.String()+" state")
|
||||
}
|
||||
if len(cmd.Args) < 1 {
|
||||
return s.writeErr(cmd.Tag, "BAD", "FETCH requires a sequence set")
|
||||
}
|
||||
|
||||
seqNumbers, err := parseSequenceSet(cmd.Args[0], s.mailboxSize)
|
||||
if err != nil {
|
||||
return s.writeErr(cmd.Tag, "BAD", "FETCH: invalid sequence set")
|
||||
}
|
||||
|
||||
messages, err := s.store.Fetch(ctx, s.mailbox, seqNumbers)
|
||||
if err != nil {
|
||||
return s.writeErr(cmd.Tag, "NO", "FETCH failed")
|
||||
}
|
||||
for _, m := range messages {
|
||||
text := fmt.Sprintf("%d FETCH (FLAGS (%s))", m.SequenceNumber, strings.Join(m.Flags, " "))
|
||||
if err := writeUntagged(s.writer, text); err != nil {
|
||||
return false
|
||||
}
|
||||
}
|
||||
return s.writeErr(cmd.Tag, "OK", "FETCH completed")
|
||||
}
|
||||
|
||||
// handleLogout ist in jedem Zustand erlaubt und beendet die Sitzung.
|
||||
func (s *Session) handleLogout(cmd command) bool {
|
||||
if err := writeUntagged(s.writer, "BYE IMAP4rev1 Server logging out"); err != nil {
|
||||
return false
|
||||
}
|
||||
_ = s.writeErr(cmd.Tag, "OK", "LOGOUT completed")
|
||||
return false
|
||||
}
|
||||
|
||||
// parseSequenceSet unterstützt die für FETCH gebräuchlichsten Formen:
|
||||
// eine einzelne Zahl ("1"), eine kommagetrennte Liste ("1,3,5") und einen
|
||||
// Bereich mit "*" als offenem Ende ("1:*"), aufgelöst gegen maxSeq (die
|
||||
// tatsächliche Nachrichtenzahl des gewählten Postfachs, von SELECT
|
||||
// gemeldet). Volle RFC-3501-Sequenzsatz-Grammatik (verschachtelte
|
||||
// Bereiche etc.) ist bewusst nicht Bestandteil dieser kleinsten Lösung.
|
||||
func parseSequenceSet(raw string, maxSeq uint32) ([]uint32, error) {
|
||||
var result []uint32
|
||||
for _, part := range strings.Split(raw, ",") {
|
||||
if strings.Contains(part, ":") {
|
||||
bounds := strings.SplitN(part, ":", 2)
|
||||
if len(bounds) != 2 {
|
||||
return nil, fmt.Errorf("imap: ungültiger bereich %q", part)
|
||||
}
|
||||
from, err := strconv.ParseUint(bounds[0], 10, 32)
|
||||
if err != nil {
|
||||
return nil, err
|
||||
}
|
||||
to := uint64(maxSeq)
|
||||
if bounds[1] != "*" {
|
||||
to, err = strconv.ParseUint(bounds[1], 10, 32)
|
||||
if err != nil {
|
||||
return nil, err
|
||||
}
|
||||
}
|
||||
for i := from; i <= to; i++ {
|
||||
result = append(result, uint32(i))
|
||||
}
|
||||
continue
|
||||
}
|
||||
n, err := strconv.ParseUint(part, 10, 32)
|
||||
if err != nil {
|
||||
return nil, err
|
||||
}
|
||||
result = append(result, uint32(n))
|
||||
}
|
||||
return result, nil
|
||||
}
|
||||
@@ -0,0 +1,305 @@
|
||||
package imap
|
||||
|
||||
import (
|
||||
"bufio"
|
||||
"context"
|
||||
"errors"
|
||||
"net"
|
||||
"strconv"
|
||||
"strings"
|
||||
"sync"
|
||||
"testing"
|
||||
"time"
|
||||
)
|
||||
|
||||
// fakeAuthenticator ist ein In-Memory-Authenticator für Tests — echte
|
||||
// Anbindung an Benutzerverwaltung ist Sache späterer Kacheln (IMP-01 u. a.).
|
||||
type fakeAuthenticator struct {
|
||||
users map[string]string
|
||||
}
|
||||
|
||||
func (f fakeAuthenticator) Authenticate(_ context.Context, username, password string) (bool, error) {
|
||||
want, ok := f.users[username]
|
||||
return ok && want == password, nil
|
||||
}
|
||||
|
||||
// fakeMailboxStore ist ein In-Memory-Postfachspeicher für Tests.
|
||||
type fakeMailboxStore struct {
|
||||
mailboxes map[string][]Message
|
||||
}
|
||||
|
||||
func (f fakeMailboxStore) Select(_ context.Context, mailboxName string) (int, bool, error) {
|
||||
msgs, ok := f.mailboxes[mailboxName]
|
||||
return len(msgs), ok, nil
|
||||
}
|
||||
|
||||
func (f fakeMailboxStore) Fetch(_ context.Context, mailboxName string, seqNumbers []uint32) ([]Message, error) {
|
||||
msgs, ok := f.mailboxes[mailboxName]
|
||||
if !ok {
|
||||
return nil, errors.New("imap: postfach nicht gefunden")
|
||||
}
|
||||
wanted := make(map[uint32]bool, len(seqNumbers))
|
||||
for _, n := range seqNumbers {
|
||||
wanted[n] = true
|
||||
}
|
||||
var result []Message
|
||||
for _, m := range msgs {
|
||||
if wanted[m.SequenceNumber] {
|
||||
result = append(result, m)
|
||||
}
|
||||
}
|
||||
return result, nil
|
||||
}
|
||||
|
||||
func startTestServer(t *testing.T) (addr string, stop func()) {
|
||||
t.Helper()
|
||||
auth := fakeAuthenticator{users: map[string]string{"alice": "geheim123"}}
|
||||
store := fakeMailboxStore{mailboxes: map[string][]Message{
|
||||
"INBOX": {
|
||||
{SequenceNumber: 1, Flags: []string{"\\Seen"}},
|
||||
{SequenceNumber: 2, Flags: []string{}},
|
||||
},
|
||||
}}
|
||||
srv := NewServer(auth, store)
|
||||
|
||||
listener, err := net.Listen("tcp", "127.0.0.1:0")
|
||||
if err != nil {
|
||||
t.Fatalf("listener: %v", err)
|
||||
}
|
||||
ctx, cancel := context.WithCancel(context.Background())
|
||||
done := make(chan struct{})
|
||||
go func() {
|
||||
_ = srv.Serve(ctx, listener)
|
||||
close(done)
|
||||
}()
|
||||
|
||||
return listener.Addr().String(), func() {
|
||||
cancel()
|
||||
<-done
|
||||
}
|
||||
}
|
||||
|
||||
// imapClient ist ein minimaler Testclient (Zeile senden, Antwort lesen)
|
||||
// — bewusst kein voller IMAP-Parser, nur genug, um Server-Antworten zu
|
||||
// prüfen.
|
||||
type imapClient struct {
|
||||
conn net.Conn
|
||||
reader *bufio.Reader
|
||||
tagN int
|
||||
}
|
||||
|
||||
func dial(t *testing.T, addr string) *imapClient {
|
||||
t.Helper()
|
||||
conn, err := net.DialTimeout("tcp", addr, 2*time.Second)
|
||||
if err != nil {
|
||||
t.Fatalf("dial: %v", err)
|
||||
}
|
||||
c := &imapClient{conn: conn, reader: bufio.NewReader(conn)}
|
||||
c.readLine(t) // Begrüßung
|
||||
return c
|
||||
}
|
||||
|
||||
func (c *imapClient) readLine(t *testing.T) string {
|
||||
t.Helper()
|
||||
_ = c.conn.SetReadDeadline(time.Now().Add(3 * time.Second))
|
||||
line, err := c.reader.ReadString('\n')
|
||||
if err != nil {
|
||||
t.Fatalf("antwort lesen: %v", err)
|
||||
}
|
||||
return strings.TrimRight(line, "\r\n")
|
||||
}
|
||||
|
||||
// sendTagged sendet ein Kommando mit neuem Tag und liest Zeilen, bis die
|
||||
// getaggte Abschlusszeile kommt — liefert alle Zeilen (inkl. Abschluss).
|
||||
func (c *imapClient) sendTagged(t *testing.T, command string) (tag string, lines []string) {
|
||||
t.Helper()
|
||||
c.tagN++
|
||||
tag = "A" + strconv.Itoa(c.tagN)
|
||||
_, err := c.conn.Write([]byte(tag + " " + command + "\r\n"))
|
||||
if err != nil {
|
||||
t.Fatalf("kommando senden: %v", err)
|
||||
}
|
||||
for {
|
||||
line := c.readLine(t)
|
||||
lines = append(lines, line)
|
||||
if strings.HasPrefix(line, tag+" ") {
|
||||
return tag, lines
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
func (c *imapClient) close() { _ = c.conn.Close() }
|
||||
|
||||
// TestSession_StateTransitionsAndForbiddenTransitions ist die geforderte
|
||||
// Pflichtprüfung 2: automatisierter Test deckt alle drei
|
||||
// Zustandsübergänge UND deren verbotene Übergänge ab.
|
||||
func TestSession_StateTransitionsAndForbiddenTransitions(t *testing.T) {
|
||||
addr, stop := startTestServer(t)
|
||||
defer stop()
|
||||
c := dial(t, addr)
|
||||
defer c.close()
|
||||
|
||||
// Verbotener Übergang: SELECT/FETCH in NotAuthenticated.
|
||||
_, lines := c.sendTagged(t, `SELECT INBOX`)
|
||||
if !strings.Contains(lines[len(lines)-1], "BAD") {
|
||||
t.Fatalf("erwartete BAD für SELECT in NotAuthenticated, habe: %v", lines)
|
||||
}
|
||||
_, lines = c.sendTagged(t, `FETCH 1 (FLAGS)`)
|
||||
if !strings.Contains(lines[len(lines)-1], "BAD") {
|
||||
t.Fatalf("erwartete BAD für FETCH in NotAuthenticated, habe: %v", lines)
|
||||
}
|
||||
|
||||
// NotAuthenticated -> Authenticated via LOGIN.
|
||||
_, lines = c.sendTagged(t, `LOGIN alice geheim123`)
|
||||
if !strings.Contains(lines[len(lines)-1], "OK") {
|
||||
t.Fatalf("erwartete OK für LOGIN, habe: %v", lines)
|
||||
}
|
||||
|
||||
// Verbotener Übergang: erneutes LOGIN in Authenticated.
|
||||
_, lines = c.sendTagged(t, `LOGIN alice geheim123`)
|
||||
if !strings.Contains(lines[len(lines)-1], "BAD") {
|
||||
t.Fatalf("erwartete BAD für LOGIN in Authenticated, habe: %v", lines)
|
||||
}
|
||||
// Verbotener Übergang: FETCH in Authenticated (noch nicht Selected).
|
||||
_, lines = c.sendTagged(t, `FETCH 1 (FLAGS)`)
|
||||
if !strings.Contains(lines[len(lines)-1], "BAD") {
|
||||
t.Fatalf("erwartete BAD für FETCH in Authenticated, habe: %v", lines)
|
||||
}
|
||||
|
||||
// Authenticated -> Selected via SELECT.
|
||||
_, lines = c.sendTagged(t, `SELECT INBOX`)
|
||||
if !strings.Contains(lines[len(lines)-1], "OK") {
|
||||
t.Fatalf("erwartete OK für SELECT, habe: %v", lines)
|
||||
}
|
||||
|
||||
// In Selected sind SELECT (erneut) und FETCH erlaubt.
|
||||
_, lines = c.sendTagged(t, `FETCH 1:2 (FLAGS)`)
|
||||
if !strings.Contains(lines[len(lines)-1], "OK") {
|
||||
t.Fatalf("erwartete OK für FETCH in Selected, habe: %v", lines)
|
||||
}
|
||||
}
|
||||
|
||||
// TestCommands_AllBaseCommandsAnswered ist die geforderte
|
||||
// Pflichtprüfung/AC2: Grundbefehle sind implementiert und beantwortet.
|
||||
func TestCommands_AllBaseCommandsAnswered(t *testing.T) {
|
||||
addr, stop := startTestServer(t)
|
||||
defer stop()
|
||||
c := dial(t, addr)
|
||||
defer c.close()
|
||||
|
||||
_, lines := c.sendTagged(t, "CAPABILITY")
|
||||
if !containsSubstring(lines, "IMAP4rev1") {
|
||||
t.Fatalf("CAPABILITY: erwartete IMAP4rev1 in antwort, habe: %v", lines)
|
||||
}
|
||||
|
||||
_, lines = c.sendTagged(t, "LOGIN alice geheim123")
|
||||
if !strings.Contains(lines[len(lines)-1], "OK") {
|
||||
t.Fatalf("LOGIN fehlgeschlagen: %v", lines)
|
||||
}
|
||||
|
||||
_, lines = c.sendTagged(t, "SELECT INBOX")
|
||||
if !containsSubstring(lines, "2 EXISTS") {
|
||||
t.Fatalf("SELECT: erwartete '2 EXISTS', habe: %v", lines)
|
||||
}
|
||||
|
||||
_, lines = c.sendTagged(t, "FETCH 1 (FLAGS)")
|
||||
if !containsSubstring(lines, "FETCH (FLAGS") {
|
||||
t.Fatalf("FETCH: erwartete FLAGS-Antwort, habe: %v", lines)
|
||||
}
|
||||
|
||||
tag, lines := c.sendTagged(t, "LOGOUT")
|
||||
if !containsSubstring(lines, "BYE") {
|
||||
t.Fatalf("LOGOUT: erwartete BYE, habe: %v", lines)
|
||||
}
|
||||
if !strings.HasPrefix(lines[len(lines)-1], tag+" OK") {
|
||||
t.Fatalf("LOGOUT: erwartete getaggtes OK, habe: %v", lines)
|
||||
}
|
||||
}
|
||||
|
||||
// TestSession_InvalidCommandKeepsConnectionOpen ist die geforderte
|
||||
// Pflichtprüfung/AC3: ungültige Kommandosequenzen werden mit korrektem
|
||||
// Fehlercode abgelehnt, NICHT mit Verbindungsabbruch.
|
||||
func TestSession_InvalidCommandKeepsConnectionOpen(t *testing.T) {
|
||||
addr, stop := startTestServer(t)
|
||||
defer stop()
|
||||
c := dial(t, addr)
|
||||
defer c.close()
|
||||
|
||||
_, lines := c.sendTagged(t, "FRIMBULATOR")
|
||||
if !strings.Contains(lines[len(lines)-1], "BAD") {
|
||||
t.Fatalf("erwartete BAD für unbekanntes kommando, habe: %v", lines)
|
||||
}
|
||||
|
||||
// Verbindung muss danach real weiter funktionieren (kein Abbruch).
|
||||
_, lines = c.sendTagged(t, "CAPABILITY")
|
||||
if !strings.Contains(lines[len(lines)-1], "OK") {
|
||||
t.Fatalf("erwartete funktionierende verbindung nach ungültigem kommando, habe: %v", lines)
|
||||
}
|
||||
}
|
||||
|
||||
// TestSession_MalformedLineDoesNotDisconnect deckt zusätzlich eine
|
||||
// syntaktisch fehlerhafte Zeile (kein Tag/Kommando erkennbar) ab.
|
||||
func TestSession_MalformedLineDoesNotDisconnect(t *testing.T) {
|
||||
addr, stop := startTestServer(t)
|
||||
defer stop()
|
||||
c := dial(t, addr)
|
||||
defer c.close()
|
||||
|
||||
_, err := c.conn.Write([]byte("\"unterminated\r\n"))
|
||||
if err != nil {
|
||||
t.Fatalf("senden: %v", err)
|
||||
}
|
||||
line := c.readLine(t)
|
||||
if !strings.HasPrefix(line, "* BAD") {
|
||||
t.Fatalf("erwartete '* BAD' für fehlerhafte zeile, habe: %q", line)
|
||||
}
|
||||
|
||||
_, lines := c.sendTagged(t, "CAPABILITY")
|
||||
if !strings.Contains(lines[len(lines)-1], "OK") {
|
||||
t.Fatalf("erwartete funktionierende verbindung nach fehlerhafter zeile, habe: %v", lines)
|
||||
}
|
||||
}
|
||||
|
||||
func containsSubstring(lines []string, sub string) bool {
|
||||
for _, l := range lines {
|
||||
if strings.Contains(l, sub) {
|
||||
return true
|
||||
}
|
||||
}
|
||||
return false
|
||||
}
|
||||
|
||||
// TestServer_50ParallelSessionsNoLeak ist die geforderte Pflichtprüfung
|
||||
// 3: Lasttest mit 50 parallelen Sessions ohne Ressourcenleck.
|
||||
func TestServer_50ParallelSessionsNoLeak(t *testing.T) {
|
||||
addr, stop := startTestServer(t)
|
||||
defer stop()
|
||||
|
||||
const sessions = 50
|
||||
var wg sync.WaitGroup
|
||||
errCh := make(chan error, sessions)
|
||||
|
||||
for i := 0; i < sessions; i++ {
|
||||
wg.Add(1)
|
||||
go func() {
|
||||
defer wg.Done()
|
||||
conn, err := net.DialTimeout("tcp", addr, 3*time.Second)
|
||||
if err != nil {
|
||||
errCh <- err
|
||||
return
|
||||
}
|
||||
defer func() { _ = conn.Close() }()
|
||||
c := &imapClient{conn: conn, reader: bufio.NewReader(conn)}
|
||||
c.readLine(t)
|
||||
c.sendTagged(t, "LOGIN alice geheim123")
|
||||
c.sendTagged(t, "SELECT INBOX")
|
||||
c.sendTagged(t, "FETCH 1:2 (FLAGS)")
|
||||
c.sendTagged(t, "LOGOUT")
|
||||
}()
|
||||
}
|
||||
wg.Wait()
|
||||
close(errCh)
|
||||
for err := range errCh {
|
||||
t.Errorf("parallele sitzung fehlgeschlagen: %v", err)
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,39 @@
|
||||
// Package imap implementiert ING-01: das IMAP-Server-Grundgerüst
|
||||
// (TCP-Listener, Command-Parser, Session-Zustandsmaschine, Grundbefehle
|
||||
// CAPABILITY/LOGIN/SELECT/FETCH/LOGOUT). Bewusste Neuimplementierung nach
|
||||
// NEXARCH-Techstack, kein 1:1-Übernehmen von archivmail (siehe "Bekannte
|
||||
// Fehler vermeiden": Header-/Zeilen-Injection durch Stringkonkatenation
|
||||
// ohne CRLF-Prüfung — alle Antworten laufen ausschließlich über
|
||||
// writeLine/writeTagged, die eingebettete CR/LF im Text ersetzen, siehe
|
||||
// response.go).
|
||||
//
|
||||
// Authentifizierung (Authenticator) und Postfachzugriff (MailboxStore)
|
||||
// sind schmale Schnittstellen — echte Anbindung an Benutzerverwaltung/
|
||||
// Nachrichtenspeicher ist Sache späterer Ingestion-Tickets (IMP-01 u. a.,
|
||||
// siehe "Nicht Bestandteil dieser Kachel" im Ticket). Dieses Paket kennt
|
||||
// weder Core-IAM noch mail/internal/storage.
|
||||
package imap
|
||||
|
||||
import "context"
|
||||
|
||||
// Authenticator prüft Zugangsdaten für LOGIN.
|
||||
type Authenticator interface {
|
||||
Authenticate(ctx context.Context, username, password string) (ok bool, err error)
|
||||
}
|
||||
|
||||
// Message ist eine minimale Nachrichtendarstellung für FETCH (nur Flags,
|
||||
// keine Inhalte — Inhaltszugriff ist Sache späterer Kacheln).
|
||||
type Message struct {
|
||||
SequenceNumber uint32
|
||||
Flags []string
|
||||
}
|
||||
|
||||
// MailboxStore liefert Postfachzustand für SELECT/FETCH.
|
||||
type MailboxStore interface {
|
||||
// Select liefert die Anzahl der Nachrichten im Postfach mailboxName.
|
||||
// ok=false, wenn das Postfach nicht existiert.
|
||||
Select(ctx context.Context, mailboxName string) (exists int, ok bool, err error)
|
||||
// Fetch liefert die Nachrichten im aktuell gewählten Postfach, deren
|
||||
// Sequenznummer in seqNumbers enthalten ist.
|
||||
Fetch(ctx context.Context, mailboxName string, seqNumbers []uint32) ([]Message, error)
|
||||
}
|
||||
@@ -0,0 +1,81 @@
|
||||
package imap
|
||||
|
||||
import (
|
||||
"errors"
|
||||
"strings"
|
||||
)
|
||||
|
||||
// ErrMalformedCommand wird geliefert, wenn eine Kommandozeile nicht dem
|
||||
// Grundformat "Tag SP Kommando [SP Argumente]" entspricht. Kein
|
||||
// Verbindungsabbruch (Akzeptanzkriterium 3) — der Aufrufer antwortet mit
|
||||
// einer BAD-Antwort und liest die nächste Zeile.
|
||||
var ErrMalformedCommand = errors.New("imap: fehlerhafte kommandozeile")
|
||||
|
||||
// command ist eine geparste IMAP-Kommandozeile.
|
||||
type command struct {
|
||||
Tag string
|
||||
Name string // groß geschrieben (z. B. "LOGIN")
|
||||
Args []string
|
||||
}
|
||||
|
||||
// parseCommandLine zerlegt eine Kommandozeile (bereits ohne CRLF) in Tag,
|
||||
// Kommandoname und Argumente. Unterstützt Atome und doppelt zitierte
|
||||
// Zeichenketten (mit \"- und \\-Escape) — literale Zeichenketten
|
||||
// ({n}CRLF<n Bytes>) sind bewusst NICHT Bestandteil dieser kleinsten
|
||||
// Lösung (LOGIN/SELECT/FETCH kommen in Tests/typischen Clients ohne
|
||||
// Literale aus).
|
||||
func parseCommandLine(line string) (command, error) {
|
||||
tokens, err := tokenize(line)
|
||||
if err != nil {
|
||||
return command{}, err
|
||||
}
|
||||
if len(tokens) < 2 {
|
||||
return command{}, ErrMalformedCommand
|
||||
}
|
||||
return command{
|
||||
Tag: tokens[0],
|
||||
Name: strings.ToUpper(tokens[1]),
|
||||
Args: tokens[2:],
|
||||
}, nil
|
||||
}
|
||||
|
||||
// tokenize zerlegt line in durch Leerzeichen getrennte Tokens, wobei
|
||||
// doppelt zitierte Zeichenketten als EIN Token gelten (Leerzeichen darin
|
||||
// werden nicht als Trenner behandelt).
|
||||
func tokenize(line string) ([]string, error) {
|
||||
var tokens []string
|
||||
var current strings.Builder
|
||||
inQuotes := false
|
||||
escaped := false
|
||||
hasToken := false
|
||||
|
||||
for _, r := range line {
|
||||
switch {
|
||||
case escaped:
|
||||
current.WriteRune(r)
|
||||
escaped = false
|
||||
hasToken = true
|
||||
case r == '\\' && inQuotes:
|
||||
escaped = true
|
||||
case r == '"':
|
||||
inQuotes = !inQuotes
|
||||
hasToken = true
|
||||
case r == ' ' && !inQuotes:
|
||||
if hasToken {
|
||||
tokens = append(tokens, current.String())
|
||||
current.Reset()
|
||||
hasToken = false
|
||||
}
|
||||
default:
|
||||
current.WriteRune(r)
|
||||
hasToken = true
|
||||
}
|
||||
}
|
||||
if inQuotes || escaped {
|
||||
return nil, ErrMalformedCommand
|
||||
}
|
||||
if hasToken {
|
||||
tokens = append(tokens, current.String())
|
||||
}
|
||||
return tokens, nil
|
||||
}
|
||||
@@ -0,0 +1,38 @@
|
||||
package imap
|
||||
|
||||
import (
|
||||
"bufio"
|
||||
"strings"
|
||||
)
|
||||
|
||||
// sanitizeResponseText entfernt eingebettete CR/LF aus text, BEVOR er in
|
||||
// eine Antwortzeile eingebettet wird (Bekannter Fehler vermeiden:
|
||||
// archivmail erlaubte Header-/Zeilen-Injection durch Stringkonkatenation
|
||||
// ohne CRLF-Prüfung — jede Antwortzeile dieses Pakets läuft durch diese
|
||||
// Funktion, niemals direkte Interpolation von Nutzereingaben in eine
|
||||
// Rohantwort).
|
||||
func sanitizeResponseText(text string) string {
|
||||
text = strings.ReplaceAll(text, "\r", "")
|
||||
text = strings.ReplaceAll(text, "\n", "")
|
||||
return text
|
||||
}
|
||||
|
||||
// writeUntagged schreibt eine Server-Antwort ohne Tag ("* ...").
|
||||
func writeUntagged(w *bufio.Writer, text string) error {
|
||||
_, err := w.WriteString("* " + sanitizeResponseText(text) + "\r\n")
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
return w.Flush()
|
||||
}
|
||||
|
||||
// writeTagged schreibt eine getaggte Server-Antwort ("<tag> OK/NO/BAD ...").
|
||||
// tag wird ebenfalls saniert — ein Tag mit eingebettetem CRLF ist genauso
|
||||
// eine Injektionsgefahr wie der Antworttext.
|
||||
func writeTagged(w *bufio.Writer, tag, status, text string) error {
|
||||
_, err := w.WriteString(sanitizeResponseText(tag) + " " + status + " " + sanitizeResponseText(text) + "\r\n")
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
return w.Flush()
|
||||
}
|
||||
@@ -0,0 +1,47 @@
|
||||
package imap
|
||||
|
||||
import (
|
||||
"context"
|
||||
"errors"
|
||||
"fmt"
|
||||
"net"
|
||||
)
|
||||
|
||||
// Server nimmt IMAP-Verbindungen an und bedient jede in einer eigenen
|
||||
// Goroutine (Akzeptanzkriterium 1). STARTTLS/TLS-Absicherung ist
|
||||
// ausdrücklich Sache von ING-06, nicht dieser Kachel — Server hört per
|
||||
// Klartext-TCP, wie im Ticket vorgesehen ("Bereite höchstens die
|
||||
// Schnittstelle dafür vor").
|
||||
type Server struct {
|
||||
auth Authenticator
|
||||
store MailboxStore
|
||||
}
|
||||
|
||||
func NewServer(auth Authenticator, store MailboxStore) *Server {
|
||||
return &Server{auth: auth, store: store}
|
||||
}
|
||||
|
||||
// Serve nimmt Verbindungen auf listener an, bis ctx beendet wird oder
|
||||
// Accept endgültig fehlschlägt. Blockiert den Aufrufer.
|
||||
func (srv *Server) Serve(ctx context.Context, listener net.Listener) error {
|
||||
go func() {
|
||||
<-ctx.Done()
|
||||
_ = listener.Close()
|
||||
}()
|
||||
|
||||
for {
|
||||
conn, err := listener.Accept()
|
||||
if err != nil {
|
||||
if ctx.Err() != nil {
|
||||
return nil // beabsichtigtes Herunterfahren
|
||||
}
|
||||
var netErr net.Error
|
||||
if errors.As(err, &netErr) && netErr.Timeout() {
|
||||
continue
|
||||
}
|
||||
return fmt.Errorf("imap: verbindung annehmen: %w", err)
|
||||
}
|
||||
session := newSession(conn, srv.auth, srv.store)
|
||||
go session.Serve(ctx)
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,115 @@
|
||||
package imap
|
||||
|
||||
import (
|
||||
"bufio"
|
||||
"context"
|
||||
"errors"
|
||||
"io"
|
||||
"net"
|
||||
"strings"
|
||||
)
|
||||
|
||||
// maxCommandLineBytes begrenzt eine einzelne Kommandozeile (Defensive
|
||||
// Fehlerbehandlung bei nicht-konformen Gegenstellen statt optimistischem
|
||||
// Parsing, siehe Ticket-Vorbild Dovecot) — verhindert unbegrenztes
|
||||
// Pufferwachstum durch eine Gegenstelle, die niemals CRLF sendet.
|
||||
const maxCommandLineBytes = 8192
|
||||
|
||||
// Session ist eine einzelne IMAP-Verbindung mit eigener
|
||||
// Zustandsmaschine (Akzeptanzkriterium 1).
|
||||
type Session struct {
|
||||
conn net.Conn
|
||||
reader *bufio.Reader
|
||||
writer *bufio.Writer
|
||||
auth Authenticator
|
||||
store MailboxStore
|
||||
state State
|
||||
mailbox string // gewähltes Postfach im Zustand Selected
|
||||
mailboxSize uint32 // Nachrichtenzahl aus dem letzten erfolgreichen SELECT
|
||||
}
|
||||
|
||||
func newSession(conn net.Conn, auth Authenticator, store MailboxStore) *Session {
|
||||
return &Session{
|
||||
conn: conn,
|
||||
reader: bufio.NewReaderSize(conn, maxCommandLineBytes),
|
||||
writer: bufio.NewWriter(conn),
|
||||
auth: auth,
|
||||
store: store,
|
||||
state: NotAuthenticated,
|
||||
}
|
||||
}
|
||||
|
||||
// State liefert den aktuellen Sitzungszustand (für Tests).
|
||||
func (s *Session) State() State { return s.state }
|
||||
|
||||
// Serve führt die Sitzung bis LOGOUT oder Verbindungsende aus.
|
||||
func (s *Session) Serve(ctx context.Context) {
|
||||
defer func() { _ = s.conn.Close() }()
|
||||
|
||||
if err := writeUntagged(s.writer, "OK IMAP4rev1 Service Ready"); err != nil {
|
||||
return
|
||||
}
|
||||
|
||||
for {
|
||||
line, err := s.readLine()
|
||||
if err != nil {
|
||||
return
|
||||
}
|
||||
if line == "" {
|
||||
continue
|
||||
}
|
||||
|
||||
cmd, parseErr := parseCommandLine(line)
|
||||
if parseErr != nil {
|
||||
// Akzeptanzkriterium 3: ungültige Kommandosequenz -> Fehlercode,
|
||||
// KEIN Verbindungsabbruch.
|
||||
if err := writeUntagged(s.writer, "BAD Error in IMAP command received by server."); err != nil {
|
||||
return
|
||||
}
|
||||
continue
|
||||
}
|
||||
|
||||
if !s.dispatch(ctx, cmd) {
|
||||
return // LOGOUT oder nicht behebbarer Schreibfehler
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// readLine liest eine CRLF- (oder LF-)terminierte Zeile ohne
|
||||
// Zeilenumbruch. Überlange Zeilen (siehe maxCommandLineBytes) werden als
|
||||
// Fehler behandelt statt unbegrenzt zu puffern.
|
||||
func (s *Session) readLine() (string, error) {
|
||||
line, err := s.reader.ReadString('\n')
|
||||
if err != nil {
|
||||
if errors.Is(err, io.EOF) && line != "" {
|
||||
// Letzte Zeile ohne abschließendes LF — als vollständige Zeile
|
||||
// behandeln, danach ohnehin Verbindungsende.
|
||||
return strings.TrimRight(line, "\r"), nil
|
||||
}
|
||||
return "", err
|
||||
}
|
||||
return strings.TrimRight(line, "\r\n"), nil
|
||||
}
|
||||
|
||||
// dispatch verarbeitet EIN geparstes Kommando. Rückgabewert false
|
||||
// bedeutet: Sitzung beenden (LOGOUT abgeschlossen oder Schreibfehler).
|
||||
func (s *Session) dispatch(ctx context.Context, cmd command) bool {
|
||||
switch cmd.Name {
|
||||
case "CAPABILITY":
|
||||
return s.handleCapability(cmd)
|
||||
case "LOGIN":
|
||||
return s.handleLogin(ctx, cmd)
|
||||
case "SELECT":
|
||||
return s.handleSelect(ctx, cmd)
|
||||
case "FETCH":
|
||||
return s.handleFetch(ctx, cmd)
|
||||
case "LOGOUT":
|
||||
return s.handleLogout(cmd)
|
||||
default:
|
||||
return s.writeErr(cmd.Tag, "BAD", "Unknown command")
|
||||
}
|
||||
}
|
||||
|
||||
func (s *Session) writeErr(tag, status, text string) bool {
|
||||
return writeTagged(s.writer, tag, status, text) == nil
|
||||
}
|
||||
@@ -0,0 +1,24 @@
|
||||
package imap
|
||||
|
||||
// State ist eine der drei IMAP4rev1-Session-Zustände (RFC 3501 §3),
|
||||
// Akzeptanzkriterium 1.
|
||||
type State int
|
||||
|
||||
const (
|
||||
NotAuthenticated State = iota
|
||||
Authenticated
|
||||
Selected
|
||||
)
|
||||
|
||||
func (s State) String() string {
|
||||
switch s {
|
||||
case NotAuthenticated:
|
||||
return "not authenticated"
|
||||
case Authenticated:
|
||||
return "authenticated"
|
||||
case Selected:
|
||||
return "selected"
|
||||
default:
|
||||
return "unknown"
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user