anthropics / anthropics/defending-code-reference-harness
Add more languages
- Lingua principale
- Python
- Stelle
- 7.5k
- Fork
- 605
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Agentic security review for Rust. An autonomous recon → find → grade → find→fuzz → report → patch loop for the bugs that actually bite Rust: memory-safety in unsafe/FFI, panic-DoS from untrusted input, deserialization trust (an integrity check is not a bounds check), and Send/Sync + panic-safety soundness. Static analysis drives the dynamic stage — the threat model routes which sanitizer, fuzz rung, and vote budget each finding gets. Detectors: Miri (undefined behavior), AddressSanitizer, panic/abort, hang-timeout, and cargo-fuzz for execution-verified reproduction.
https://github.com/scadastrangelove/rust-in-peace
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Direzione di ricerca
No repository files or tests are named; start by reading the Python scanning harness and the linked rust-in-peace project to locate the language-integration entry points. Define how the recon, finding, grading, fuzzing, reporting, and patching stages support Rust, including Miri, AddressSanitizer, panic/abort, hang-timeout, and cargo-fuzz; done means the loop can produce execution-verified Rust findings.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python, rust
- Ambito
- devtools, security
- Tipo di issue
- Funzionalità
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Stato di attività
- Tranquilla
- Chiarezza
- Da chiarire
- Idoneità per principianti
- 30/100