package generatedtest; import org.apache.tools.zip.ZipEntry; // Test case generated by GenerateFlowTestCase.ql public class Test { Object source() { return null; } void sink(Object o) {} public void test() throws Exception { { // "org.apache.tools.zip;ZipEntry;true;ZipEntry;(String);;Argument[0];Argument[this];taint;ai-generated" ZipEntry out = null; String in = (String) source(); out = new ZipEntry(in); sink(out); // $ hasTaintFlow } } }