class FormatStringManipulationDetector extends BasicInjectionDetector {

    public FormatStringManipulationDetector(BugReporter bugReporter) {
        super(bugReporter);
        loadConfiguredSinks("formatter.txt", "FORMAT_STRING_MANIPULATION");
    }

    @Override
    protected int getPriority(Taint taint) {<FILL_FUNCTION_BODY>}
}

        if (taint.isTainted()) {
            return Priorities.NORMAL_PRIORITY;
        }
        else if (!taint.isSafe()) {
            return Priorities.LOW_PRIORITY;
        }
        else {
            return Priorities.IGNORE_PRIORITY;
        }
    
<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