René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Java member calls lose receiver type information","articleBody":"### Context\n\nOn `v8`, Java `method_invocation` entries drop receiver and type information. With same-named methods in multiple classes, resolution is ambiguous and no call edges are emitted.\n\n### Reproducer\n\n`Services.java`\n```java\nclass PaymentGateway { static void ping() {} void charge() {} }\nclass AuditLog { static void ping() {} void charge() {} }\n```\n\n`Checkout.java`\n```java\nclass Checkout {\n    PaymentGateway gateway;\n\n    void run(PaymentGateway parameter) {\n        PaymentGateway.ping();\n        gateway.charge();\n        this.gateway.charge();\n        parameter.charge();\n    }\n}\n```\n\n### Current behavior\n\nRepresentative cache shapes (paths, locations, and repeated call sites omitted):\n\n```json\n[\n  {\"callee\": \"ping\", \"is_member_call\": false, \"receiver\": null},\n  {\"callee\": \"charge\", \"is_member_call\": false, \"receiver\": null}\n]\n```\n\nAll four call sites are stored without receiver information.\n\n### Expected\n\nPreserve the receiver and static receiver type per call site, then resolve only unambiguous owners:\n\n```text\nrun -\u003e PaymentGateway.ping [EXTRACTED]\nrun -\u003e PaymentGateway.charge [INFERRED]\n```\n\nThe three `charge()` calls remain separate in the cache but deduplicate to one graph edge. No edge should target the same-named `AuditLog` methods.\n\n### Scope\n\nCover explicit type receivers, current-class fields, parameters, and explicitly typed locals. Defer inherited fields, chained receivers, interface/runtime dispatch, and target overload selection.","author":{"url":"https://github.com/oleksii-tumanov","@type":"Person","name":"oleksii-tumanov"},"datePublished":"2026-07-06T08:19:43.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1696/graphify/issues/1696"}