C++

Purpose

Write C++ where resources are owned by objects, ownership is visible in the type, and undefined behavior is actively hunted with tooling rather than hoped away.

When to Use

• Writing or reviewing C++17 and later.
• Modernizing code that uses raw new/delete or manual resource cleanup.
• Diagnosing memory corruption, leaks, or data races.
• Designing value types with correct copy/move semantics.
• Optimizing hot paths where allocation or copying dominates.

Capabilities