Predicate objectToStringCall

Holds if ma is an Object.toString() call taking possibly improved type bounds into account.

Import path

import semmle.code.java.dispatch.ObjFlow

predicate objectToStringCall(VirtualMethodCall ma)