class PotentialValueTracker extends BasicInjectionDetector implements TaintFrameAdditionalVisitor {

    private static final InvokeMatcherBuilder PROPERTIES_GET_WITH_DEFAULT = invokeInstruction()
            .atClass("java/util/Properties")
            .atMethod("getProperty")
            .withArgs("(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;");

    private static final InvokeMatcherBuilder OPTIONAL_OR = invokeInstruction()
            .atClass("com/google/common/base/Optional")
            .atMethod("or")
            .withArgs("(Ljava/lang/Object;)Ljava/lang/Object;");

    private static final InvokeMatcherBuilder HASHMAP_GET_WITH_DEFAULT = invokeInstruction()
            .atClass("java/util/HashMap")
            .atMethod("getOrDefault")
            .withArgs("(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;");

    public PotentialValueTracker(BugReporter bugReporter) {
        super(bugReporter);
        registerVisitor(this);
    }


    @Override
    public void visitInvoke(InvokeInstruction invoke, MethodGen methodGen, TaintFrame frameType, List<Taint> parameters, ConstantPoolGen cpg) throws DataflowAnalysisException{<FILL_FUNCTION_BODY>}

    @Override
    public void visitLoad(LoadInstruction load, MethodGen methodGen, TaintFrame frameType, int numProduced, ConstantPoolGen cpg) {

    }

    @Override
    public void visitField(FieldInstruction put, MethodGen methodGen, TaintFrame frameType, Taint taintFrame, int numProduced, ConstantPoolGen cpg) throws Exception {

    }

    @Override
    public void visitReturn(MethodGen methodGen, Taint returnValue, ConstantPoolGen cpg) throws Exception {

    }


}


        if(PROPERTIES_GET_WITH_DEFAULT.matches(invoke,cpg) || OPTIONAL_OR.matches(invoke,cpg) || HASHMAP_GET_WITH_DEFAULT.matches(invoke,cpg)) {
            Taint defaultVal = parameters.get(0); //Top of the stack last arguments
            if(defaultVal.getConstantValue() != null) {
                Taint value = frameType.getTopValue();
                value.setPotentialValue(defaultVal.getConstantValue());
            }
        }

        //ByteCode.printOpCode(invoke,cpg);
    
<methods>public void registerVisitor(com.h3xstream.findsecbugs.taintanalysis.TaintFrameAdditionalVisitor) <variables>static com.h3xstream.findsecbugs.injection.ClassMethodSignature OBJECT,private static final com.h3xstream.findsecbugs.injection.SinksLoader SINKS_LOADER,private final Map<com.h3xstream.findsecbugs.injection.ClassMethodSignature,com.h3xstream.findsecbugs.injection.InjectionPoint> injectionMap