Repository navigation

Fix crashes on unresolved types and on empty for bodies - #432

Merged

CatarinaGamboa merged 3 commits into

mainfrom

fix/unresolved-type-crashes

Oct 29, 2026

Merged

Fix crashes on unresolved types and on empty for bodies#432
CatarinaGamboa merged 3 commits into
mainfrom
fix/unresolved-type-crashes

Commits on Oct 27, 2026
- Type variables of unresolved types as Object
  
  CatarinaGamboa
  and
  claude
  committed
  3be1b60
- Check writes to fields declared outside the analyzed sources
  
  CatarinaGamboa
  and
  claude
  committed
  dd7ca3d
- Check for loops whose body is an empty statement
  
  CatarinaGamboa
  and
  claude
  committed
  f80754b