codeanalyzer-python 1.5.0__tar.gz → 1.5.1__tar.gz

{codeanalyzer_python-1.5.0 → codeanalyzer_python-1.5.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: codeanalyzer-python
-Version: 1.5.0
+Version: 1.5.1
 Summary: Static analysis for Python — canonical schema v2 (symbol table, call graph, and native CFG/PDG/SDG dataflow) as analysis.json or a Neo4j property graph.
 Author-email: Rahul Krishna <i.m.ralk@gmail.com>
 License-File: LICENSE
@@ -535,7 +535,8 @@ just populate more of the same tree:
         { "id": "can://<app>/@external/os/getcwd", "kind": "external",
           "name": "getcwd", "module": "os" }
     },
-    "param_in":  [ { "src": "can://…/main(a)@6:4/actual_in:0", "dst": "can://…/helper(x)@formal_in:0" } ],
+    "param_in":  [ { "src": "can://…/main(a)@6:4/actual_in:0", "dst": "can://…/helper(x)@formal_in:0",
+                     "var": "x" } ],                                    // var = the callee formal
     "param_out": [ { "src": "can://…/helper(x)@formal_out",   "dst": "can://…/main(a)@6:4/actual_out" } ]
   }
 }

{codeanalyzer_python-1.5.0 → codeanalyzer_python-1.5.1}/README.md

@@ -502,7 +502,8 @@ just populate more of the same tree:
         { "id": "can://<app>/@external/os/getcwd", "kind": "external",
           "name": "getcwd", "module": "os" }
     },
-    "param_in":  [ { "src": "can://…/main(a)@6:4/actual_in:0", "dst": "can://…/helper(x)@formal_in:0" } ],
+    "param_in":  [ { "src": "can://…/main(a)@6:4/actual_in:0", "dst": "can://…/helper(x)@formal_in:0",
+                     "var": "x" } ],                                    // var = the callee formal
     "param_out": [ { "src": "can://…/helper(x)@formal_out",   "dst": "can://…/main(a)@6:4/actual_out" } ]
   }
 }

{codeanalyzer_python-1.5.0 → codeanalyzer_python-1.5.1}/codeanalyzer/dataflow/builder.py

@@ -565,6 +565,7 @@ def emit_l4(
             edge = ParamEdge(
                 src=src_im.global_id(e.source_node),
                 dst=dst_im.global_id(e.target_node),
+                var=e.var,
             )
             (app.param_in if e.type == "PARAM_IN" else app.param_out).append(edge)
 

{codeanalyzer_python-1.5.0 → codeanalyzer_python-1.5.1}/codeanalyzer/neo4j/project.py

@@ -257,17 +257,23 @@ def _project_program_graphs(
     # endpoint functions' identity maps), so they land on the very PyBodyNode ids
     # projected above — a formal_in global id equals _global_ordinal(callee.id,
     # "@formal_in:0"). No dangling references.
+    # `var` (#195): the callee-side formal's variable, set on every edge by the
+    # SDG assembler and carried on `ParamEdge.var`. The catalog declared it and
+    # nothing wrote it, so `r.var` predicates went three-valued across every
+    # call boundary.
     for e in app.param_in or []:
         b.edge(
             "PY_PARAM_IN",
             NodeRef("PyBodyNode", "id", e.src),
             NodeRef("PyBodyNode", "id", e.dst),
+            prune({"var": e.var}),
         )
     for e in app.param_out or []:
         b.edge(
             "PY_PARAM_OUT",
             NodeRef("PyBodyNode", "id", e.src),
             NodeRef("PyBodyNode", "id", e.dst),
+            prune({"var": e.var}),
         )
 
 

{codeanalyzer_python-1.5.0 → codeanalyzer_python-1.5.1}/codeanalyzer/schema/py_schema.py

@@ -171,7 +171,12 @@ class SummaryEdge(BaseModel):
 
 @builder
 class ParamEdge(BaseModel):
+    """A `param_in` (actual_in → formal_in) or `param_out` (formal_out → actual_out)
+    edge at application scope. `var` is the callee-side formal's variable — the
+    parameter name, or `<return>` for the return port — always set (#195), the
+    same value codeanalyzer-typescript carries on its `param_in[].var`."""
     src: str; dst: str
+    var: Optional[str] = None
 
 
 @builder

{codeanalyzer_python-1.5.0 → codeanalyzer_python-1.5.1}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "codeanalyzer-python"
-version = "1.5.0"
+version = "1.5.1"
 description = "Static analysis for Python — canonical schema v2 (symbol table, call graph, and native CFG/PDG/SDG dataflow) as analysis.json or a Neo4j property graph."
 readme = "README.md"
 authors = [