Files
RichardandClaude Opus 5 f74e49ba35 Freigabe-Hygiene (#631, #579, #609, #610) und JSON-Filter fuer WebFetch (#632)
#631: Derselbe Vorschlag (gleicher Agent, gleiches Werkzeug, gleiche Argumente unabhaengig
von Schluesselreihenfolge) wird nicht erneut angelegt - der Agent erfaehrt die bestehende
Nummer. Offene Vorschlaege verfallen nach 24 h (Status Expired).

#609: Werkzeuge koennen den Freigabeschluessel aus dem Inhalt bestimmen
(IAgentTool.StagingAktion). Database: SELECT/SHOW/DESCRIBE -> query, INSERT/UPDATE/DELETE
-> write, DDL -> schema; write und schema sind freigabepflichtig. Ausgefuehrt wird nach
Statement-Art, schreibende Statements melden die Zeilenzahl.

#579: Database-Vorpruefung (Zugriffsebene, Tabellenfreigabe, SqlGuard) - was das Werkzeug
ablehnen wuerde, kommt nicht mehr in die Freigabeliste.

#610: SqlGuard ueberspringt IF [NOT] EXISTS und erkennt DESCRIBE/DESC <tabelle>.

#632: WebFetch fetch mit filter liefert aus JSON/JSONP nur passende Eintraege; beim
Blaettern durch grosses JSON empfiehlt der Hinweis den filter.

Version 0.1.10.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-18 18:51:06 +02:00

183 lines
7.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
// ═══════════════════════════════════════════════════════════
// ─── #610: wiederholbares Anlegen und Strukturabfragen ───
[Theory]
[InlineData("CREATE TABLE IF NOT EXISTS prices (id INT)", SqlOperation.Schema)]
[InlineData("DROP TABLE IF EXISTS prices", SqlOperation.Schema)]
[InlineData("DESCRIBE prices", SqlOperation.Read)]
[InlineData("DESC prices", SqlOperation.Read)]
[InlineData("SHOW COLUMNS FROM prices", SqlOperation.Read)]
public void IF_NOT_EXISTS_und_Strukturabfragen_nennen_die_richtige_Tabelle(string sql, SqlOperation operation)
{
var result = Inspect(sql);
result.IsValid.ShouldBeTrue(result.Error);
result.Operation.ShouldBe(operation);
result.Tables.ShouldBe(["prices"]);
}
[Theory]
[InlineData("CREATE TABLE IF NOT EXISTS users (id INT)")]
[InlineData("DROP TABLE IF EXISTS users")]
[InlineData("DESCRIBE users")]
public void IF_EXISTS_und_DESCRIBE_oeffnen_keine_fremde_Tabelle(string sql)
=> Inspect(sql).IsValid.ShouldBeFalse();
[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);
}
}