5 posts
CHERIs hybride ABI ermöglicht die schrittweise Portierung von C-Code auf Capability-Hardware. So kompilieren Sie ihn, was dabei kaputt geht und wie Sie es beheben – ohne Ihre gesamte codebase zu rewrite.
Sie haben eine C-codebase, die zu groß ist, um sie in Rust zu rewrite, und zu kritisch, um sie Buffer-Overflows auszusetzen. CHERI-Capability-Hardware…
Memory Safety auf Hardware-Ebene war seit den 1970ern möglich. Hier ist, warum Capability-Architekturen immer gegen flache Speichermodelle verloren haben – und warum CHERI die Rechnung endlich ändert.
Siebzig Prozent aller CVEs sind Memory-Safety-Bugs. Buffer Overflows, Use-after-free, Double Frees. Die Art von Schwachstellen, die einem Angreifer erlauben,…
Container sind overkill, um eine einzelne C-Bibliothek zu isolieren. Kompilieren Sie sie zu WebAssembly und führen Sie sie in einer WASI-Sandbox aus – für Memory Safety, capability-basierten Dateisystemzugriff und Crash-Containment ohne Docker.
Ein einzelner Null-Pointer-Dereference innerhalb einer C-Bibliothek kann Ihre gesamte Anwendung zum Absturz bringen. Wenn diese Bibliothek Benutzereingaben…
ARM Memory Tagging Extension und GWP-ASan ermöglichen die Erkennung von Speichersicherheitsproblemen in der Produktion auf modernen mobilen Geräten. So funktionieren sie und welche Kompromisse sie erfordern.
Dein Telefon kann Speicherverfälschungen in der Produktion erkennen. Nicht mit der vollständigen Instrumentierung, die du in der CI ausführst, und nicht bei…
CHERI ist eine Hardware-Erweiterung, die jeden Pointer in eine bounded capability verwandelt. So stoppt es Buffer Overflows auf CPU-Ebene, was es kostet und wie man es auf echter Hardware ausprobieren kann.
Buffer overflows stehen seit zwanzig Jahren auf der CWE Top 25. Wir haben Stack Canaries, ASLR, DEP, Control-Flow Integrity und memory-safe Languages, und…