Fix duplicated test

This commit is contained in:
Tony Torralba
2022-09-01 11:44:47 +02:00
parent 264d6db9d7
commit b8fa9433be

View File

@@ -258,10 +258,10 @@ public class Test {
}
{
String source = (String) source();
if (!source.startsWith("/data") && source.indexOf("..") == -1)
sink(source); // Safe
else
if (source.startsWith("/data") || source.indexOf("..") != -1)
sink(source); // $ hasTaintFlow
else
sink(source); // Safe
}
{
String source = (String) source();