Repository navigation

Account for stored pointer offsets in dereference checks - #2024

Draft

karoliineh wants to merge 4 commits into

memsafety-ptr-deref

Commits on May 7, 2026
- Check for warn if pointer is dereferenced past end
  
  karoliineh
  and
  michael-schwarz
  committed
  c1149df
- Account for stored pointer offsets in deref checks
  karoliineh
  committed
  e14c553
- Refactor: extract pointer arithmetic offset helpers
  karoliineh
  committed
  1948593
- Refactor: inline pointer-arithmetic checks and simplify binop handling
  karoliineh
  committed
  2132d73