Open
Description
Consider the following code:
from tensorflow import Tensor
def f(a):
assert isinstance(a, Tensor)
I am seeing this in the tensor analysis:
[Node: synthetic < PythonLoader, Lwala/builtin/isinstance, do()LRoot; > Context: CallStringContext: [ script src.tf2_test_module3a.py.f.do()LRoot;@2 ], v2][{[D:Symbolic,n, D:Compound,[D:Constant,28, D:Constant,28]] of pixel}]
Here is the corresponding summary:
ML/com.ibm.wala.cast.python.ml/data/tensorflow.xml
Lines 233 to 235 in d9a3d6b
ML/com.ibm.wala.cast.python.ml/data/tensorflow.xml
Lines 502 to 511 in d9a3d6b
That looks right. I'm unsure why it's being picked up as function, though.