mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
8a0355720a
Previosly, we returned only the body belonging to "the most likely" implementation, based on a CFG size heuristics. However, now that more callables are mapped to the same entity, it makes more sense to treat such callables (to some extent) like partial methods. This means, for instance, that data flow will branch out to all possible implementations, much like we do for virtual dispatch.
5 lines
260 B
Plaintext
5 lines
260 B
Plaintext
| A.cs:14:16:14:19 | Item | A.cs:14:31:14:31 | access to parameter i |
|
|
| A.cs:14:16:14:19 | Item | B.cs:14:31:14:40 | throw ... |
|
|
| B.cs:14:16:14:19 | Item | A.cs:14:31:14:31 | access to parameter i |
|
|
| B.cs:14:16:14:19 | Item | B.cs:14:31:14:40 | throw ... |
|