Add local resolve and SSA - #46

Merged

jecisc merged 152 commits into

mainfrom

Aug 21, 2026

Commits on Jun 25, 2026

Init local resolver
jecisc
committed
7577f6f
Manage multiple assignments to the same variable
jecisc
committed
c9e9201

Commits on Jun 29, 2026

Rename test
jecisc
committed
44ab647
Set tree sitter version to the last release
jecisc
committed
ad72c3f
Merge branch 'main' into local-resolver
jecisc
committed
41ddf78
Declaration should count in local uses + add skipped tests
jecisc
committed
92f930b
Fix wrong parent name for entities in left and right side of a for statement
jecisc
committed
9fdf72f
Merge branch 'main' into local-resolver
jecisc
committed
79ff1e2
Manage for statement left and right
jecisc
committed
4233076

Commits on Jun 30, 2026

Start to manage local variables
jecisc
committed
2a25f4b
Implement a visitor specific to python because it is too different from other languages
jecisc
committed
4836c42
Add tests on edge cases of loops
jecisc
committed
73f5979

Commits on Jul 3, 2026

Manage variables declared in while or for
jecisc
committed
169ce55

Commits on Jul 15, 2026

Mannage globals accessed in lambdas
jecisc
committed
6792292
Manage lambda parameters
jecisc
committed
4b8ab0a
Begin to manage function parameters
jecisc
committed
6790e5e
Manage collection initializers
jecisc
committed
34761a3

Commits on Jul 16, 2026

Get further in the analysis of the notebooks by ignoring variables not declared
jecisc
committed
a1200fd
Add doc
jecisc
committed
6f57fed
Manage unbinding of variables if an import alias has the same name
jecisc
committed
7e3e75f

Commits on Jul 17, 2026

Refactoring to support more resolution than just variables
jecisc
committed
3ee2a2a
Commit some tests I'll need to rework
jecisc
committed
3f0981f
Begin to manage resolution of imports
jecisc
committed
ed832f6
Manage aliases of imports
jecisc
committed
16d8d1c
Start shadowing management
jecisc
committed
9f65882

Commits on Jul 20, 2026

Ensure from imports are working as imports
jecisc
committed
b7a5153
Update documentation
jecisc
committed
ae685e1
Support shadowing of parameters
jecisc
committed
1dced69
Fix import shadowed by other imports
jecisc
committed
f72a1d6
Start to manage non local declarations
jecisc
committed
63e2aa7

Commits on Jul 21, 2026

Add doc
jecisc
committed
7403461
Begin to manage attribute accesses by creating non local declarations for the fields
jecisc
committed
0eead1e
Add doc on limitations of the local resolver
jecisc
committed
4536897
Add testing method on Tuples
jecisc
committed
8f6bbe1
Ensure we can resolve multiple times a model without clashing
jecisc
committed
f2a044c
Manage basic assignment in tuples
jecisc
committed
5f0ccee
Simplify scoping because it does not seems I need it for now and I prefer to keep the code simple
jecisc
committed
fa6996d
Begin to manage comprehensions
jecisc
committed
6103fbf
Manage scoping of list comprehensions
jecisc
committed
2d1db57

Commits on Jul 29, 2026

Add a method to know if a local declaration is a variable assignment. It will be used for the SSA
jecisc
committed
df60c21
Group some classes in the same package tag
jecisc
committed
082b78b
Add API for SSA building (This will probably move to FAST)
jecisc
committed
7492ac6
Init SSA Visitor
jecisc
committed
6e5f51e
Init tests for SSA
jecisc
committed
0c477d2
Move some methods to FAST + rearrange tags
jecisc
committed
41c1ed8
Start to manage usage of assigned variables when there is no condition
jecisc
committed
12431b7
Manage undeclared var usage
jecisc
committed
36ec065
Avoid names that can be confusing
jecisc
committed
8f0ee70
Fix bug causing too many creation of SSAVariable
jecisc
committed
099637d
Begin to manage parameters
jecisc
committed
c230c7c

Commits on Jul 30, 2026

Add tests to ensure parameters knows they are declarations
jecisc
committed
8ddacd7
Fix bug in local resolutions of method parameters
jecisc
committed
39ba4e0
Add rule to avoid inconsistant classification violations since I categorize visit methods in different visit protocols for organization
jecisc
committed
9af81bf
Fix bug in method redefining another method
jecisc
committed
bf88294
Add test ensuring the variable of a for can be redeclared in the local resolver
jecisc
committed
27f7ed5
Cleanup dead code
jecisc
committed
d4c1efd
Variables declared in for should know they are a variable assignment
jecisc
committed
170add2
SSA: Fixing declaration of variables in for
jecisc
committed
56fe964
Rename method to make it more generic between LR and SSA
jecisc
committed
a50bce2
Improve implementation of #isVariableWriteAccess
jecisc
committed
491bcf7
LR: Manage tuple declaration in the left field of foreach
jecisc
committed
79f1293
Make identifier a TNamedEntity
jecisc
committed
0f30e13
Simplify code now that identifiers are named entities
jecisc
committed
03a534a
Update LocalResolver to make it easier to implement the SSA with Python
jecisc
committed
44d3f26
Clean dead code
jecisc
committed
228eb50
SSA: Begin to handle Tuples in for declaration
jecisc
committed
aa675c3

Commits on Jul 31, 2026

Commits on Aug 3, 2026

Test reassignment of variables
jecisc
committed
73b1b63
Begin to manage phi versions (WIP)
jecisc
committed
61eb236

Commits on Aug 4, 2026

Add broken code to save it while I work on another branch
jecisc
committed
f8a2479
Support merge block in CFG
jecisc
committed
2dd40e5
Merge branch 'cfg' into local-resolver
jecisc
committed
42c307a

Commits on Aug 5, 2026

Make new test pass by using the new CFG visit logic
jecisc
committed
edf51ed
Improve the logic of phi versions to work when we do not reassign a variable in a conditional (it should not produce any new phi version)
jecisc
committed
62934f1
Add some more tests on if and phi versions
jecisc
committed
7de8122
Do not create a phi version if we have only one variable as a choice
jecisc
committed
3ca992d
Ensure multiple phi are working + add more tests
jecisc
committed
1eedf2e
Add tests on match statements
jecisc
committed
5cb628a
SSA: Add tests on for each
jecisc
committed
f814ae2
Fix bug in Python CFG
jecisc
committed
53311e6
Simplify tests + start to fix some to match the new for handling (CFG)
jecisc
committed
e57df04

Commits on Aug 6, 2026

Fix CFG tests after fixing a bug un for management
jecisc
committed
2aa103c
Unskip test that now passes
jecisc
committed
6e1638b
LR: Begin to manage attribute access
jecisc
committed
0137be6
Simplify code by removing lines that cannot happen
jecisc
committed
6669a26
Manage SSA write access to attributes (WIP)
jecisc
committed
443a990
Finish the local resolution of attribute accesses (I think?)
jecisc
committed
cdadf14
SSA: Manage read access of attribute accesses
jecisc
committed
5bb3d5b
CFG: fix bug in gandling of lambdas
jecisc
committed
f77c8d3
SSA: Test lambda parameters
jecisc
committed
b6d5986
Fix SSA for method parameters
jecisc
committed
879b86a
LR: fix reassignment of parameters in functions
jecisc
committed
b00ab8f
SSA: Add visit of the CFG in definitions + fix a test
jecisc
committed
e4dd94e

Commits on Aug 7, 2026

Manage subscripts in LR (only if the indexes are exactly the same source code)
jecisc
committed
39554ec
Simplify visitors by adding TCanBeVariable
jecisc
committed
7fc901b
SSA: test subscript access and reference in default value of parameters
jecisc
committed
eefe218
SSA: Ensure separators are in the parameters
jecisc
committed
dcb9281
SSA: Ensure typed parameters are working
jecisc
committed
c6b2963
SSA: Manage splat parameters (*args or **kwargs as function parameters)
jecisc
committed
e43172d
SSA: Ensure phi version only gets last version of the branch
jecisc
committed
9c73a2e
LR: Simplify the code by inlining the scopes
jecisc
committed
2cc4ef6
SSA: Rename var to be more explicit
jecisc
committed
1f240e5

Commits on Aug 10, 2026

Ensure identifier and attributes do not clash
jecisc
committed
c67ebc2
Assignment in assignment
jecisc
committed
7000912
LR: Support assignment to lists
jecisc
committed
2fe44b8
SSA: Support assignment to lists
jecisc
committed
c9b0fb6
Ignore DS_STORE file on mac
jecisc
committed
b949b23

Commits on Aug 11, 2026

Start to add info on instance variables
jecisc
committed
b97f421
Allow to know if an ivar is a write or read access
jecisc
committed
eee18a2
Add #isAbstract to methods
jecisc
committed
2cafff3
Factorize code
jecisc
committed
e7a70e7

Commits on Aug 12, 2026

Move some methods in the right location + add metadescriptions
jecisc
committed
aa080f8
Add more doc (WIP)
jecisc
committed
2c76e47
Add utility methods forn parsing and resolving in one step
jecisc
committed
e8a8c9d
Update documentation
jecisc
committed
95f4c13
Add test
jecisc
committed
2c7c1d8

Commits on Aug 13, 2026

Fix shadowing of attribute accesses
jecisc
committed
3f92180
Add test on new query API of FAST
jecisc
committed
d6ec1fd
Update documentation
jecisc
committed
be5642a
Begin to implement the assigned expressions
jecisc
committed
fda1137

Commits on Aug 14, 2026

Test assigned expressions map (basic test)
jecisc
committed
7dcf0f7
Ensure the assigned variable map works on loops
jecisc
committed
ece306f
Update documentation
jecisc
committed
99fe668
FIxes #142
jecisc
committed
5b3929a
Fix bug of impornt shadowing an attribute access global declaration
jecisc
committed
783f4f7
Fix skipped tests
jecisc
committed
32b0274

Commits on Aug 17, 2026

Finish to test shadowing of attributes
jecisc
committed
c3a7478
Manages variables used as call receivers
jecisc
committed
b482919
Test that imports in function do not shadow variables outside of the scope of the function
jecisc
committed
629a4a9
Fix bug in shadowing of variables from functions
jecisc
committed
077a8f4
Add support for shadowing information in the LocalResolver
jecisc
committed
c91c112
Manage linking of SSA version even if the variable got shadowed in the middle
jecisc
committed
daef98b

Commits on Aug 20, 2026

Add agents file
jecisc
committed
75cdd4b
Fix tests
jecisc
committed
5a1d46d
LR/SSA: Manage augmented assignments
jecisc
committed
9625e31
LR/SSA: Test else clause in for loop
jecisc
committed
609152b
Ensure nested for loops are working
jecisc
committed
73a5223
LR/SSA: Test reassignemnts in while loop
jecisc
committed
91076bb
LR/SSA: Fix bug when a while has an else block
jecisc
committed
c69b5ba
SSA: Test redefinition of var in a for loop (should produce a phi version)
jecisc
committed
a663972
LR/SSA: Fix bug in nested ifs + add tests
jecisc
committed
e1a516b

Commits on Aug 21, 2026

Importer: Fix list splat in left side of assignment + test
jecisc
committed
34422bc
LR/SSA: Add tests on elif (I mostly did if/then/else until now)
jecisc
committed
4500e8b
LR/SSA: Begin to manage ternary epressions but it's a WIP
jecisc
committed
9c18280
LR/SSA: Tests assignemnts in try/catch
jecisc
committed
fae596c
LR/SSA: Manage except in try
jecisc
committed
c999cbd
LR/SSA: Fix problem with assignemnt to an unpacking
jecisc
committed
b3ab0be
Merge branch 'main' into local-resolver
jecisc
committed
8a02917