Commit 2f005fa
fix(parsers/python): resolve self/cls-aliased method calls in the call graph
`_resolve_call_node` matched a method-call receiver only when it was literally
named `self`/`cls`, so an aliased receiver — `obj = self; obj.method()` or
`alias = cls; alias.method()` in a classmethod — produced NO call-graph edge.
The inherited/self method then looked unreachable (a false negative in the
reachable set, the dangerous direction for reachability-based analysis).
Fix: in `_extract_calls_from_code`, collect local names single-bound to
`self`/`cls` (`_collect_self_aliases`) and pass them to `_resolve_call_node`,
which now routes any `<alias>.method()` through `_resolve_self_call`. Only
single, unconditional bindings count — a name reassigned to anything else is
not treated as an alias, so no spurious edge is created. The change only ADDS
previously-dropped edges; it never removes one (raises reachability, never
lowers it) and is local to the receiver-resolution branch (no architecture change).
Tests (tests/parsers/python/test_call_graph_self_calls.py): RED before / GREEN
after — `test_self_alias_method_call_edge`, `test_cls_alias_method_call_edge`,
plus `test_reassigned_alias_does_not_force_self_edge` (soundness guard).
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>1 parent ad17f3f commit 2f005fa
2 files changed
Lines changed: 98 additions & 11 deletions
File tree
- libs/openant-core
- parsers/python
- tests/parsers/python
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
186 | 186 | | |
187 | 187 | | |
188 | 188 | | |
| 189 | + | |
| 190 | + | |
| 191 | + | |
189 | 192 | | |
190 | 193 | | |
191 | 194 | | |
192 | | - | |
| 195 | + | |
193 | 196 | | |
194 | 197 | | |
195 | 198 | | |
| |||
248 | 251 | | |
249 | 252 | | |
250 | 253 | | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
| 257 | + | |
| 258 | + | |
| 259 | + | |
| 260 | + | |
| 261 | + | |
| 262 | + | |
| 263 | + | |
| 264 | + | |
| 265 | + | |
| 266 | + | |
| 267 | + | |
| 268 | + | |
| 269 | + | |
| 270 | + | |
| 271 | + | |
251 | 272 | | |
252 | | - | |
253 | | - | |
| 273 | + | |
| 274 | + | |
| 275 | + | |
| 276 | + | |
| 277 | + | |
| 278 | + | |
| 279 | + | |
| 280 | + | |
| 281 | + | |
254 | 282 | | |
255 | 283 | | |
| 284 | + | |
| 285 | + | |
256 | 286 | | |
257 | 287 | | |
258 | 288 | | |
| |||
266 | 296 | | |
267 | 297 | | |
268 | 298 | | |
269 | | - | |
270 | | - | |
271 | | - | |
272 | | - | |
273 | | - | |
274 | | - | |
275 | | - | |
276 | | - | |
| 299 | + | |
| 300 | + | |
| 301 | + | |
277 | 302 | | |
278 | 303 | | |
279 | 304 | | |
| |||
Lines changed: 62 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
138 | 138 | | |
139 | 139 | | |
140 | 140 | | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
| 165 | + | |
| 166 | + | |
| 167 | + | |
| 168 | + | |
| 169 | + | |
| 170 | + | |
| 171 | + | |
| 172 | + | |
| 173 | + | |
| 174 | + | |
| 175 | + | |
| 176 | + | |
| 177 | + | |
| 178 | + | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
| 183 | + | |
| 184 | + | |
| 185 | + | |
| 186 | + | |
| 187 | + | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
| 191 | + | |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
| 198 | + | |
| 199 | + | |
| 200 | + | |
| 201 | + | |
| 202 | + | |
0 commit comments