Ideen & Einblicke · Seite 3

AI-First-Entwicklung, Coding-Leitplanken und die Architektur der Entsorgbarkeit erkunden.

5. Aug. 2026

Meta fand 100.000 Bugs im Produktivcode mit einem Static Analyzer, der das Programm nie ausführt

Metas Infer nutzt Abstract Interpretation und Bi-Abduction, um Null-Dereferenzierungen, Memory Leaks und Race Conditions durch Schlussfolgerungen über die Code-Struktur zu finden – nicht durch Ausführung. So funktioniert es und so setzen Sie es in Ihrer eigenen Codebase ein.

4. Aug. 2026

Statische Analyse kann nicht beweisen, dass Ihr Flugzeug nicht abstürzt. Sie kann etwas Nützlicheres beweisen.

Die abstrakte Interpretation überapproximiert jeden möglichen Programmzustand. Wenn eine Division durch Null in der Abstraktion unerreichbar ist, ist sie im echten Code unerreichbar. So funktioniert sie – und hier zeigen sich ihre Grenzen.

abstract-interpretation static-analysis safety-critical aviation

3. Aug. 2026

Wie man beweist, dass Code keine Laufzeitfehler enthält (und warum man wahrscheinlich aufgibt, es zu versuchen)

Abstrakte Interpretation ermöglicht es, Laufzeitfehler vor der Ausführung als unmöglich zu beweisen. So funktioniert es wirklich, warum es schwierig ist und wo es in die Toolchain passt.

abstract-interpretation static-analysis runtime-errors verification

2. Aug. 2026

Ihr C-Code kann auf Capability-Hardware laufen, ohne ein vollständiges rewrite

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.

hardware-assisted-safety cheri c porting

1. Aug. 2026

Capability-Hardware ist nicht gescheitert. Es kam 40 Jahre zu früh.

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.

hardware-assisted-safety capability-hardware cheri software-history

31. Juli 2026

Ihre C-dependency kann Ihren gesamten Prozess zum Absturz bringen. WebAssembly kann das verhindern.

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.

hardware-assisted-safety sandboxing c webassembly

30. Juli 2026

Dein Telefon hat bereits Hardware, die Speicherverfälschung erkennt

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.

hardware-assisted-safety memory-corruption mobile asan

29. Juli 2026

Buffer Overflows passieren weiterhin, weil wir sie in Software beheben

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.

hardware-assisted-safety buffer-overflow memory-safety cheri

28. Juli 2026

LLMs können nicht beweisen, dass Ihr Code korrekt ist, aber sie können das Boilerplate dafür schreiben

Die Cleanroom-Verifikation erfordert die Erzeugung und Erfüllung von Proof Obligations. So automatisieren LLMs die Annotation und die VC-Generierung, damit Sie sich auf die eigentlich schwierigen Beweise konzentrieren können.

cleanroom-correctness llm formal-proofs automation

27. Juli 2026

Cleanroom liefert 0,1 Defekte pro KLOC. Du brauchst nicht den vollen Overhead, um das zu erreichen.

Cleanroom Software Engineering senkt die Defektrate um das 100-fache, aber die vollständige Einführung erfordert separate Testteams und formale Beweise. Hier ist eine pragmatische Teilmenge, die den Großteil des Nutzens ohne den Overhead einfängt.

cleanroom-correctness process efficiency pragmatism