Rework field assignability analysis - #348

Draft

maximilianruesch wants to merge 43 commits into

rework/field-assignability

Commits on Oct 29, 2025

Rework field assignability
maximilianruesch
committed
71a8486
Disable simple string model test for now
maximilianruesch
committed
dfd7647
Correctly refresh assignability on new TAC
maximilianruesch
committed
7024efe
Perform soundness check
maximilianruesch
committed
09d026e
Fix call to lazy initializer pattern
maximilianruesch
committed
0890e33
Enable more lazy initialization tests
maximilianruesch
committed
30b8e01

Commits on Nov 12, 2025

Disable failing test
maximilianruesch
committed
b7ca155
Slightly more efficient lazy init check
maximilianruesch
committed
de44137
Extract lazy init and clone pattern functions
maximilianruesch
committed
6f4f303
Make analysis of non-initializer reads in clone pattern symmetric inside handler
maximilianruesch
committed
676989d
Allow initializer writes for lazy init pattern
maximilianruesch
committed
f75f910
Remove L1 from reference conf for now
maximilianruesch
committed
ec3d93a
Fix support for reading static fields in constructors
maximilianruesch
committed
18d664b
Merge branch 'develop' into rework/field-assignability
maximilianruesch
committed
2890d77
Fix formatting
maximilianruesch
committed
4adf80c

Commits on Nov 13, 2025

Fix immutability values
maximilianruesch
committed
45ebe3e
Extract read to write path analysis part
maximilianruesch
committed
67c58da
Completely rely on part system
maximilianruesch
committed
2de90e2
Initialize L0 with simple read write path analysis
maximilianruesch
committed
7c226f3
Reenable L1 assignability analysis
maximilianruesch
committed
b6755d2
Fix formatting
maximilianruesch
committed
9ba7688
Fix documentation of clone pattern analysis
maximilianruesch
committed
b8f72f9
Add more elaborate documentation
maximilianruesch
committed
1a402dc
Merge branch 'develop' into rework/field-assignability
maximilianruesch
committed
91b8289
Refine support for interprocedural read -> write path analysis
maximilianruesch
committed
b8555c3
Collate read write path analysis into single trait
maximilianruesch
committed
14ea7d2

Commits on Nov 14, 2025

Add class constant lazy init tests
maximilianruesch
committed
03099b3
Add test for multiple writes
maximilianruesch
committed
1a5755a

Commits on Nov 17, 2025

Clarify read write path analysis
maximilianruesch
committed
d6ff13f
Rework the test framework
maximilianruesch
committed
eeb2bec
Check precision of tested values strictly increases
maximilianruesch
committed
177feae
Remove unused property
maximilianruesch
committed
f5dbfe4
Remove L0 from lazy init tests
maximilianruesch
committed
0d78235
Refactor analysis part framework to be inheritance based
maximilianruesch
committed
8a83fa4
Fix mixed up field assignability schedulers
maximilianruesch
committed
1859d08
Make L0 use the slightly more sophisticated read write path analysis part
maximilianruesch
committed
214562a
Rename test
maximilianruesch
committed
eaeb9e6

Commits on Nov 18, 2025

Fix formatting
maximilianruesch
committed
d46ca5b
Support side by side constructors via call graphs
maximilianruesch
committed
35b1c89

Commits on Nov 29, 2025