Alle Behebungen auf der Linux-Test-VM gegengeprueft (Ubuntu, .NET 10.0.111): Build 0 Warnungen / 0 Fehler, 637 Tests gruen, 1 uebersprungen (WindowsFact). Sicherheit und Zielplattform #373 PathBoundary.Canonicalize fiel offen aus. File.ResolveLinkTarget wirft fuer einen fehlenden Abschnitt FileNotFoundException; der catch(IOException) verliess daraufhin die GANZE Aufloesung mit dem unaufgeloesten Pfad - und der besteht jede Praefixpruefung. Der Symlink-Schutz war damit bei jedem Schreibvorgang wirkungslos. Jetzt ueber FileSystemInfo.LinkTarget, und TryCanonicalize meldet "nicht bestimmbar", statt fail-open durchzureichen. #374 WorkspacePath weist den Backslash rundheraus ab, wie den Doppelpunkt. Eine Schreibweise statt einer Sonderregel je Windows-Form. #375 Log-Verzeichnis: leer heisst "Anwendungseinstellung"; ein relativer Wert zaehlt gegen das Instanzverzeichnis, nicht gegen das Arbeitsverzeichnis des Prozesses. Ein systemd-Dienst landet nicht mehr auf /Logs. Agentenkommunikation #206 Delegationskette gegen A->B->A (Test A13). Zyklusfrei per Bauart, dazu MaxDelegationDepth gegen die Staffel, die niemand beauftragt hat. #461 Zwei unabhaengige Ketten ueber Kreuz - beim Beheben von #206 gefunden und reproduziert. Ein delegierter Lauf wartet nur noch begrenzt auf ein fremdes Gate; ein Chat vom Menschen reiht sich weiter unbegrenzt ein. #234 Instanz-Id wird durchgereicht statt aus einem nur beilaeufig gesetzten Feld gelesen. Betrieb und Oberflaeche #376 Log-Ansicht chronologisch statt gruppiert je Moduldatei, mit Stacktraces an ihrer Meldung - auch ueber Taktgrenzen hinweg. #377 Info-Tabelle: feste Spaltenbreiten, damit ein langer Aenderungstext den anderen Spalten nicht den Platz nimmt. #378 Sicherung: Mindestabstand zwischen Ueberschrift und Schaltflaechenleiste. #379 Hellmodus: drei von vier gedaempften Textpinseln lagen unter 4,5:1. Die helle Palette ist als Ganzes verschoben, damit die Staffelung sichtbar bleibt statt auf einen Wert zusammenzufallen. Hygiene #233 stock_add: der Indexstand wird innerhalb der Sperre festgehalten. #235 Zeitumstellung: eine nicht existierende Ortszeit wird auf den ersten Zeitpunkt nach der Luecke verschoben statt uebersprungen (R4, R5). #236 45 Nullable-Warnungen und eine CA1416 - nicht unterdrueckt, sondern die Stellen so umgebaut, dass die Zusage nachvollziehbar wird. Mail meldet jetzt, WELCHER Zugangsschluessel fehlt, statt an einer KeyNotFoundException zu scheitern. #203 Kompaktiert wird vor dem API-Aufruf statt danach; die gemessenen Prompt-Groessen kalibrieren die Schaetzung je Modell. Neu: tests/ClawdDotNet.App.Tests - fuer #375 und #376 gab es keinen Ort fuer Tests. Dazu Regressionstests fuer jede Behebung; jeder wurde gegen den alten Stand geprueft, damit belegt ist, dass er den Fehler faengt. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
159 lines
6.2 KiB
C#
159 lines
6.2 KiB
C#
using ClawdDotNet.Tools.Database;
|
|
using Shouldly;
|
|
|
|
namespace ClawdDotNet.Tools.Tests.Database;
|
|
|
|
/// <summary>
|
|
/// S1 aus der Bestandsaufnahme: Die Tabellen-Whitelist suchte den erlaubten Namen als
|
|
/// Teilzeichenkette irgendwo im Statement — auch in einem Kommentar. Bei
|
|
/// allowedTables ["prices"] genügte deshalb "DELETE FROM users -- prices", um eine
|
|
/// beliebige andere Tabelle zu löschen.
|
|
///
|
|
/// Die Gegenproben sind genauso wichtig wie die Angriffe: Ein zu strenger Filter, der
|
|
/// legitime Abfragen blockiert, wäre im Betrieb genauso unbrauchbar.
|
|
/// </summary>
|
|
public sealed class SqlGuardTests
|
|
{
|
|
private static readonly string[] Allowed = ["prices", "signals", "portfolio"];
|
|
|
|
private static SqlInspection Inspect(string sql) => SqlGuard.Inspect(sql, Allowed);
|
|
|
|
// ═══════════════════════════════════════════════════════════
|
|
// Angriffe — alle müssen abgelehnt werden
|
|
// ═══════════════════════════════════════════════════════════
|
|
|
|
[Theory]
|
|
[InlineData("DELETE FROM users -- prices")]
|
|
[InlineData("DELETE FROM users /* prices */")]
|
|
[InlineData("DROP TABLE users -- prices")]
|
|
[InlineData("UPDATE users SET admin=1 -- prices")]
|
|
[InlineData("SELECT * FROM users # prices")]
|
|
public void Kommentare_koennen_keine_erlaubte_Tabelle_vortaeuschen(string sql)
|
|
{
|
|
var result = Inspect(sql);
|
|
|
|
result.IsValid.ShouldBeFalse($"'{sql}' muss abgelehnt werden");
|
|
}
|
|
|
|
[Theory]
|
|
[InlineData("SELECT * FROM users WHERE note = 'prices'")]
|
|
[InlineData("INSERT INTO users (name) VALUES ('prices')")]
|
|
[InlineData("SELECT * FROM users WHERE a = \"prices\"")]
|
|
public void String_Literale_koennen_keine_erlaubte_Tabelle_vortaeuschen(string sql)
|
|
{
|
|
Inspect(sql).IsValid.ShouldBeFalse();
|
|
}
|
|
|
|
[Theory]
|
|
[InlineData("SELECT * FROM prices; DROP TABLE users")]
|
|
[InlineData("SELECT * FROM prices; DELETE FROM users")]
|
|
[InlineData("SELECT 1; SELECT 2")]
|
|
public void Mehrere_Statements_werden_abgelehnt(string sql)
|
|
{
|
|
var result = Inspect(sql);
|
|
|
|
result.IsValid.ShouldBeFalse();
|
|
result.Error.ShouldNotBeNull().ShouldContain("Mehrere Statements");
|
|
}
|
|
|
|
[Theory]
|
|
[InlineData("SELECT * FROM prices JOIN users ON users.id = prices.uid")]
|
|
[InlineData("SELECT * FROM prices, users")]
|
|
[InlineData("INSERT INTO users SELECT * FROM prices")]
|
|
public void Ein_einziger_unerlaubter_Join_reicht_zur_Ablehnung(string sql)
|
|
{
|
|
// Entscheidend: JEDE referenzierte Tabelle muss erlaubt sein, nicht irgendeine.
|
|
var result = Inspect(sql);
|
|
|
|
result.IsValid.ShouldBeFalse();
|
|
result.Error.ShouldNotBeNull().ShouldContain("users");
|
|
}
|
|
|
|
[Fact]
|
|
public void Ohne_Whitelist_wird_nichts_durchgelassen()
|
|
{
|
|
SqlGuard.Inspect("SELECT * FROM prices", []).IsValid.ShouldBeFalse();
|
|
}
|
|
|
|
[Theory]
|
|
[InlineData(null)]
|
|
[InlineData("")]
|
|
[InlineData(" ")]
|
|
public void Leere_Statements_werden_abgelehnt(string? sql)
|
|
{
|
|
SqlGuard.Inspect(sql, Allowed).IsValid.ShouldBeFalse();
|
|
}
|
|
|
|
// ═══════════════════════════════════════════════════════════
|
|
// Gegenproben — legitime Abfragen müssen durchgehen
|
|
// ═══════════════════════════════════════════════════════════
|
|
|
|
[Theory]
|
|
[InlineData("SELECT * FROM prices")]
|
|
[InlineData("SELECT ticker, close FROM prices WHERE ticker = 'NVDA' ORDER BY ts DESC LIMIT 10")]
|
|
[InlineData("SELECT * FROM prices JOIN signals ON signals.ticker = prices.ticker")]
|
|
[InlineData("select * from PRICES")]
|
|
[InlineData("SELECT * FROM prices;")]
|
|
public void Erlaubte_Leseabfragen_gehen_durch(string sql)
|
|
{
|
|
var result = Inspect(sql);
|
|
|
|
result.IsValid.ShouldBeTrue(result.Error);
|
|
result.Operation.ShouldBe(SqlOperation.Read);
|
|
}
|
|
|
|
[Theory]
|
|
[InlineData("SELECT * FROM prices WHERE note = 'update'")]
|
|
[InlineData("SELECT * FROM prices WHERE kommentar = 'bitte delete beachten'")]
|
|
[InlineData("SELECT * FROM prices WHERE aktion = 'drop'")]
|
|
public void Harmlose_Schluesselwoerter_in_Werten_gelten_nicht_als_Schreibzugriff(string sql)
|
|
{
|
|
// Der alte Substring-Test stufte diese Abfragen fälschlich als Schreib- bzw.
|
|
// Strukturzugriff ein und blockierte sie für ReadOnly-Agenten.
|
|
var result = Inspect(sql);
|
|
|
|
result.IsValid.ShouldBeTrue(result.Error);
|
|
result.Operation.ShouldBe(SqlOperation.Read);
|
|
}
|
|
|
|
[Theory]
|
|
[InlineData("UPDATE prices SET close = 1 WHERE id = 2", SqlOperation.Write)]
|
|
[InlineData("INSERT INTO signals (ticker) VALUES ('NVDA')", SqlOperation.Write)]
|
|
[InlineData("DELETE FROM portfolio WHERE id = 5", SqlOperation.Write)]
|
|
[InlineData("DROP TABLE prices", SqlOperation.Schema)]
|
|
[InlineData("ALTER TABLE prices ADD COLUMN x INT", SqlOperation.Schema)]
|
|
[InlineData("TRUNCATE TABLE prices", SqlOperation.Schema)]
|
|
public void Die_Operation_wird_am_ersten_Schluesselwort_bestimmt(string sql, SqlOperation expected)
|
|
{
|
|
var result = Inspect(sql);
|
|
|
|
result.Operation.ShouldBe(expected);
|
|
result.IsValid.ShouldBeTrue(result.Error);
|
|
}
|
|
|
|
[Fact]
|
|
public void Schema_qualifizierte_Namen_werden_erkannt()
|
|
{
|
|
var result = Inspect("SELECT * FROM crypto.prices WHERE id = 1");
|
|
|
|
result.IsValid.ShouldBeTrue(result.Error);
|
|
}
|
|
|
|
[Fact]
|
|
public void Der_Fehlertext_nennt_die_abgelehnte_Tabelle_und_die_erlaubten()
|
|
{
|
|
var result = Inspect("SELECT * FROM geheim");
|
|
|
|
result.Error.ShouldNotBeNull().ShouldContain("geheim");
|
|
result.Error.ShouldNotBeNull().ShouldContain("prices");
|
|
}
|
|
|
|
[Fact]
|
|
public void Escaptes_Apostroph_im_Literal_bricht_die_Erkennung_nicht()
|
|
{
|
|
var result = Inspect("SELECT * FROM prices WHERE name = 'O''Brien'");
|
|
|
|
result.IsValid.ShouldBeTrue(result.Error);
|
|
}
|
|
}
|