Docs/Overview/Documentation

LANGUAGE · VERIFIED

Memory & Pointers

let x = 10;
let p = &mut x;
*p = 20;
return *p;

Verified

  • *mut T
  • &mut
  • Dereference
  • Pointer read/write
  • Pointer assignment
  • Pointer-to-local scenarios
  • arena
  • Arena escape protection
  • Pointer-safety diagnostics

Not established

Complete lifetime semantics, aliasing rules, pointer arithmetic, null-pointer semantics, and a complete ownership/borrow model are not established by this audit.

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

  • tests/backend/pointer_assign.avs
  • tests/backend/Pointer_Safety.avs
  • tests/examples/test_arena_simple.avs
  • tests/examples/test_arena_escape.avs
  • tests/integration/Pointer_Not_Safety_E212.avs