Method stringAdd

src/test/resources/pta/taint/StringAppend.java:9–13

()

    }

    static void stringAdd() {
        String taint = SourceSink.source();
        String s = "abc" + taint + "xyz";
        SourceSink.sink(s); // taint
    }

    static void stringBuffer() {
        String taint = SourceSink.source();