Repository navigation

Fix small executor bugs: entry start in <clinit>, nested mains, constructor exceptions, reflection, multiarray rows, fp toString - #86

Closed

nils-loose wants to merge 10 commits into

svcomp27/integrationfrom

fix/executor-small-bugs

Closed

Fix small executor bugs: entry start in <clinit>, nested mains, constructor exceptions, reflection, multiarray rows, fp toString#86
nils-loose wants to merge 10 commits into
svcomp27/integrationfrom
fix/executor-small-bugs

Commits on Oct 18, 2026
- Make the class name check descriptor-aware
  
  nils-loose
  and
  claude
  committed
  e9ae9b0
- Continue the running symbolic execution in nested endpoints
  
  nils-loose
  and
  claude
  committed
  eaeb2d9
- Start the symbolic execution in the entry class's static initializer
  
  nils-loose
  and
  claude
  committed
  b09b432
- Stop growing ClassDepot's cached hierarchy lists on every allocation
  
  nils-loose
  and
  claude
  committed
  ccd0536
- Look up the reflected field by its name in Field.get
  
  nils-loose
  and
  claude
  committed
  1624541
- Store String[] rows created by ANEWARRAY into multi-dimensional arrays
  
  nils-loose
  and
  claude
  committed
  81f8042
- Close constructor invokes left by an exception inside a constructor
  
  nils-loose
  and
  claude
  committed
  30be08f
- Resync a diverged primitive value with a context loss instead of halting
  
  nils-loose
  and
  claude
  committed
  519c375
- Convert floats and doubles to strings concretely
  
  nils-loose
  and
  claude
  committed
  3ee3cb4
- Add agent tests for entry-method start, nested mains and constructor exceptions
  
  nils-loose
  and
  claude
  committed
  f6c0a51