Python: ObjectAPI.qll: Adds getOrigin predicate

This commit is contained in:
Rebecca Valentine
2020-03-16 11:24:22 -07:00
parent f4f8c6e1e5
commit 787b80f9ae

View File

@@ -44,6 +44,12 @@ class Value extends TObject {
PointsToInternal::pointsTo(result, _, this, _)
}
/** Gets the origin AST node for this value. */
AstNode getOrigin() {
result = this.(ObjectInternal).getOrigin().getNode()
}
/** Gets the class of this object.
* Strictly, the `Value` representing the class of the objects
* represented by this Value.