Validation

Validation taxonomy generated by the site skill importer.

4 Skills
T
fuzzing-obstacles

von trailofbits

fuzzing-obstacles hilft dir dabei, ein Zielprogramm so zu patchen, dass Fuzzer Prüfungen wie Checksummen, globalen Zustand, Validierungs-Gates und andere Blocker umgehen können. Nutze diese fuzzer obstacles-Skill, um ein System Under Test fuzzing-freundlicher zu machen und gleichzeitig das Produktionsverhalten unverändert zu lassen. Das ist ein praktischer Leitfaden für Security-Audit-Workflows und tiefere Testabdeckung.

Security Audit
Favoriten 0GitHub 5k
T
semgrep-rule-variant-creator

von trailofbits

semgrep-rule-variant-creator hilft dabei, bestehende Semgrep-Regeln mit Applicability-Analyse, testfirst Validierung und getrennten Rule-/Test-Ausgaben auf Zielsprachen zu übertragen. Verwenden Sie die semgrep-rule-variant-creator Skill, wenn Sie einen verlässlichen Leitfaden für die Erweiterung von Semgrep-Regeln über polyglotte Codebasen hinweg benötigen und keine völlig neue Regel von Grund auf erstellen wollen.

Security Audit
Favoriten 0GitHub 5k
T
semgrep-rule-creator

von trailofbits

semgrep-rule-creator erstellt Semgrep-Regeln in Produktionsqualität für Sicherheitslücken, Bug-Muster, Taint-Flow-Erkennungen und Coding-Standards. Verwenden Sie den semgrep-rule-creator Skill für Security-Audit-Aufgaben, wenn Sie präzise Regeln, Testfälle und Validierung statt eines generischen Entwurfs brauchen.

Security Audit
Favoriten 0GitHub 5k
T
wycheproof

von trailofbits

Die wycheproof-Skill hilft dabei, kryptografische Implementierungen mit Wycheproof-Testvektoren zu validieren. Im Fokus stehen bekannte Angriffe, Edge Cases und klare Pass/Fail-Entscheidungen für Security-Audit-Workflows. Nutze sie, um AES-GCM, ECDSA, ECDH, RSA und verwandte Primitive zu prüfen – mit deutlich weniger Rätselraten als bei einem generischen Crypto-Prompt.

Security Audit
Favoriten 0GitHub 0