Python: ObjectAPI.qll: getOrigin now returns a CFG

BekaValentine · BekaValentine · commit 34ab4efeda79 · 2020-03-16T14:52:23.000-07:00
diff --git a/python/ql/src/semmle/python/objects/ObjectAPI.qll b/python/ql/src/semmle/python/objects/ObjectAPI.qll
@@ -45,8 +45,8 @@ class Value extends TObject {
     }
 
     /** Gets the origin AST node for this value. */
-    AstNode getOrigin() {
-        result = this.(ObjectInternal).getOrigin().getNode()
+    ControlFlowNode getOrigin() {
+        result = this.(ObjectInternal).getOrigin()
     }
 
 

Original file line number	Diff line number	Diff line change
`@@ -45,8 +45,8 @@ class Value extends TObject {`
`45`	`45`	`}`
`46`	`46`
`47`	`47`	`/** Gets the origin AST node for this value. */`
`48`		`- AstNode getOrigin() {`
`49`		`- result = this.(ObjectInternal).getOrigin().getNode()`
	`48`	`+ ControlFlowNode getOrigin() {`
	`49`	`+ result = this.(ObjectInternal).getOrigin()`
`50`	`50`	`}`
`51`	`51`
`52`	`52`