wala
Trampolines not created for Python summarized methods
Referring to self in a Python summarized function, as far as I can tell, doesn't quite work, because there is no way to refer to the implicit parameter when there's no trampoline for the function. AFAIK, trampolines aren't created for summarized methods, and that's the only way in the IR implicit parameters can be referenced.
In the XML summaries, e.g., in tensorflow.xml, it is my feeling that self actually refers to the function object and not the object for which the function is invoked.
Maybe we need a new XML tag; something like create_trampoline=true. That tag could be attached to the class or the ctor?
I wonder if this creates a trampoline:
https://github.com/wala/ML/blob/ddba21e7881f2a9cc825f1857aea5a5ea89f1bc3/com.ibm.wala.cast.python.ml/data/tensorflow.xml#L492-L493