Findbugs: пользовательский детектор

Для простых случаев лучше расширить OpcodeStackDetector. Этот абстрактный класс поддерживает отслеживание значений стека и хранит информацию о них. Вам вообще не нужно заботиться об ASTORE, ALOAD и т. д. Просто проверьте INVOKEINTERFACE. Например, если вы хотите найти места, где последний параметр метода является возвращаемым значением другого метода, вы можете сделать следующее:

public void sawOpcode(int seen) {
    if(seen == INVOKEINTERFACE && getMethodDescriptorOperand().getSlashedClassName()
        .equals("com/ibm/itim/ws/services/WSSessionService") &&
        getMethodDescriptorOperand().getName().equals("getNumber'))
    Item topStackItem = getStack().getStackItem(0);
    XMethod returnOf = topStackItem.getReturnValueOf();
    if(returnOf != null && returnOf.getName().equals("getParameter"))
        // here we go
    }
}

Вы можете изменить 0 на другое число в вызове getStackItem, чтобы получить и другие операнды. К сожалению, таким образом вы можете знать, что значение является возвратом метода getParameter, но не знаете, какие аргументы использовались в этом методе.

Если вам нужно отслеживать более сложные ситуации, то лучше использовать ValueNumberAnalysis. Это простая, но мощная концепция: она просто присваивает один и тот же номер значениям, которые статически доказаны как одинаковые. Предположим, вы хотите отслеживать все параметры запроса. Подготовимся к входу в метод (например, в visitCode):

private ValueNumberDataflow vna;
private Map<ValueNumber, String> vnToParameterName;

@Override
public void visit(Code code) {
    try {
        this.vna = getClassContext().getValueNumberDataflow(getMethod());
    } catch (DataflowAnalysisException | CFGBuilderException e) {
        bugReporter.logError("Unable to get VNA for "+getMethodDescriptor(), e);
        return;
    }
    this.vnToParameterName = new HashMap<>();
    super.visit(code);
}

Map будет использоваться для хранения значений и соответствующих имен параметров. Это можно сделать в sawOpcode:

@Override
public void sawOpcode(int seen) {
    if(seen == INVOKEINTERFACE) {
        if(getNameConstantOperand().equals("getParameter") && 
                getSigConstantOperand().equals("(Ljava/lang/String;)Ljava/lang/String;")
                /* && check the class if necessary */) {
            Object topValue = getStack().getStackItem(0).getConstant();
            if(topValue instanceof String) { // known parameter name like "name"
                // Iterate over locations corresponding to current PC 
                // (usually only one such location exists)
                for(Location location : vna.getCFG()
                        .getLocationsContainingInstructionWithOffset(getPC())) {
                    try {
                        // This frame contains value numbers 
                        // right after the INVOKEINTERFACE execution
                        ValueNumberFrame frame = vna.getFactAfterLocation(location);
                        // ValueNumber corresponding to the top stack value: 
                        // the return value of getParameters() method 
                        ValueNumber vn = frame.getTopValue();
                        vnToParameterName.put(vn, (String) topValue);
                    } catch (DataflowAnalysisException e) {
                        return;
                    }
                }
            }
        }
    }
}

Итак, теперь вы можете использовать эту карту. Добавьте еще немного кода в sawOpcode:

if(seen == INVOKEINTERFACE && getMethodDescriptorOperand().getSlashedClassName()
        .equals("com/ibm/itim/ws/services/WSSessionService") &&
        getMethodDescriptorOperand().getName().equals("getNumber"))
    for(Location location : vna.getCFG()
            .getLocationsContainingInstructionWithOffset(getPC())) {
        try {
            // This frame contains value numbers 
            // right before the INVOKEINTERFACE execution
            ValueNumberFrame frame = vna.getFactAtLocation(location);
            // ValueNumber corresponding to the top stack value: 
            // the last parameter for getNumber method
            ValueNumber vn = frame.getStackValue(0);
            String parameterName = vnToParameterName.get(vn);
            if(parameterName != null) {
                // hurrah: this parameter is in fact 
                // the return value of getParameter(parameterName)
            }
        } catch (DataflowAnalysisException e) {
            return;
        }
    }

Я не тестировал этот код, поэтому возможны небольшие проблемы. Обратите внимание, что ValueNumberAnalysis довольно мощная штука. Он способен не только отслеживать ASTORE/ALOAD, но и сколько угодно пересохранять это значение в другую переменную и даже (с некоторыми ограничениями) сохранять в поле с последующей загрузкой. Конечно, это будет работать и в том случае, если вы вообще не используете локальные переменные (например, getNumber(request.getParameter("name"))).