Predicate objectToStringCall
Holds if ma is an Object.toString() call taking possibly improved type
bounds into account.
Import path
import semmle.code.java.dispatch.ObjFlowpredicate objectToStringCall(VirtualMethodCall ma)Holds if ma is an Object.toString() call taking possibly improved type
bounds into account.
import semmle.code.java.dispatch.ObjFlowpredicate objectToStringCall(VirtualMethodCall ma)