String signature = invokeInstruction.getSignature(cpg);
if (methodName.equals("equals") && signature.equals("(Ljava/lang/Object;)Z")) return;
	private void examineCallSite(			Location location,			ConstantPoolGen cpg,			TypeDataflow typeDataflow)			throws DataflowAnalysisException, CFGBuilderException, ClassNotFoundException {				InvokeInstruction invokeInstruction = (InvokeInstruction)			location.getHandle().getInstruction();				if (DEBUG_NULLARG) {			System.out.println("Examining call site: " + location.getHandle());		}				String signature = invokeInstruction.getSignature(cpg); 		int returnTypeStart = signature.indexOf(')');		if (returnTypeStart < 0)			return;		String paramList = signature.substring(0, returnTypeStart + 1);				if (paramList.equals("()") ||				(paramList.indexOf("L") < 0 && paramList.indexOf('[') < 0))			// Method takes no arguments, or takes no reference arguments			return;		// See if any null arguments are passed		IsNullValueFrame frame =			classContext.getIsNullValueDataflow(method).getFactAtLocation(location);		if (!frame.isValid())			return;		BitSet nullArgSet = frame.getArgumentSet(invokeInstruction, cpg, new DataflowValueChooser<IsNullValue>() {			public boolean choose(IsNullValue value) {				// Only choose non-exception values.				// Values null on an exception path might be due to				// infeasible control flow.				return value.mightBeNull() && !value.isException();			}		});		BitSet definitelyNullArgSet = frame.getArgumentSet(invokeInstruction, cpg, new DataflowValueChooser<IsNullValue>() {			public boolean choose(IsNullValue value) {				return value.isDefinitelyNull();			}		});		if (nullArgSet.isEmpty())			return;		if (DEBUG_NULLARG) {			System.out.println("Null arguments passed: " + nullArgSet);		}				if (unconditionalDerefParamDatabase != null) {			checkUnconditionallyDereferencedParam(location, cpg, typeDataflow, invokeInstruction, nullArgSet, definitelyNullArgSet);		}				if (nonNullParamDatabase != null && possiblyNullParamDatabase != null) {			if (DEBUG_NULLARG) {				System.out.println("Checking nonnull params");			}			checkNonNullParam(location, cpg, typeDataflow, invokeInstruction, nullArgSet, definitelyNullArgSet);		}	}