diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/Config.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/Config.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/Config.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/Config.java index 896c16f9..cd0fa5ba 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/Config.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/Config.java @@ -22,9 +22,9 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.XMLUtil; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.XMLUtil; import java.io.IOException; import java.nio.file.Files; import java.nio.file.Path; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/FoundRequired.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/FoundRequired.java similarity index 98% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/FoundRequired.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/FoundRequired.java index 2f0358a0..4308cd23 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/FoundRequired.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/FoundRequired.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; import java.util.Objects; import javax.annotation.Nonnull; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/Log.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/Log.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/Log.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/Log.java index 6e737684..1e9ca25a 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/Log.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/Log.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; public class Log { diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperAnalysis.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperAnalysis.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperAnalysis.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperAnalysis.java index f65aad0f..e374aa72 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperAnalysis.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperAnalysis.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; import org.checkerframework.common.accumulation.AccumulationAnalysis; import org.checkerframework.common.basetype.BaseTypeChecker; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperAnnotatedTypeFactory.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperAnnotatedTypeFactory.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperAnnotatedTypeFactory.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperAnnotatedTypeFactory.java index ae46ae2e..8c388b12 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperAnnotatedTypeFactory.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperAnnotatedTypeFactory.java @@ -22,22 +22,22 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; -import static edu.ucr.cs.riple.taint.ucrtainting.Log.print; +import static edu.xxx.cs.yyyyy.taint.tainttyper.Log.print; import com.sun.source.tree.*; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.processing.JavacProcessingEnvironment; -import edu.ucr.cs.riple.taint.ucrtainting.handlers.CompositHandler; -import edu.ucr.cs.riple.taint.ucrtainting.handlers.Handler; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RPolyTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RPossiblyValidated; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.handlers.CompositHandler; +import edu.xxx.cs.yyyyy.taint.tainttyper.handlers.Handler; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RPolyTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RPossiblyValidated; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.lang.annotation.Annotation; import java.nio.file.Path; import java.util.*; @@ -490,12 +490,11 @@ public boolean hasPolyTaintedAnnotation(Type type) { } /** - * Checks if the given annotated type mirror has the {@link - * edu.ucr.cs.riple.taint.ucrtainting.qual.RPolyTainted} annotation. + * Checks if the given annotated type mirror has the {@link RPolyTainted} annotation. * * @param type The given annotated type mirror - * @return True if the given annotated type mirror has the {@link - * edu.ucr.cs.riple.taint.ucrtainting.qual.RPolyTainted} annotation, false otherwise. + * @return True if the given annotated type mirror has the {@link RPolyTainted} annotation, false + * otherwise. */ public boolean hasPolyTaintedAnnotation(AnnotatedTypeMirror type) { type = getTargetType(type); diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperChecker.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperChecker.java similarity index 98% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperChecker.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperChecker.java index d2ce8b32..ba906b5d 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperChecker.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperChecker.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; import static com.sun.source.tree.Tree.Kind.NULL_LITERAL; @@ -32,8 +32,8 @@ import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.tree.JCTree; -import edu.ucr.cs.riple.taint.ucrtainting.handlers.UnannotatedCodeHandler; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.SerializationService; +import edu.xxx.cs.yyyyy.taint.tainttyper.handlers.UnannotatedCodeHandler; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.SerializationService; import org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey; import org.checkerframework.common.accumulation.AccumulationChecker; import org.checkerframework.framework.qual.StubFiles; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTransfer.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTransfer.java similarity index 98% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTransfer.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTransfer.java index e93b286a..63a0bd45 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTransfer.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTransfer.java @@ -22,12 +22,12 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; import com.sun.source.tree.MethodInvocationTree; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RThis; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RThis; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.util.Collections; import java.util.List; import javax.lang.model.type.TypeKind; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTreeAnnotator.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTreeAnnotator.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTreeAnnotator.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTreeAnnotator.java index 120bfe4c..d5a4cd41 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTreeAnnotator.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTreeAnnotator.java @@ -22,15 +22,15 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; import com.sun.source.tree.*; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.tree.JCTree; -import edu.ucr.cs.riple.taint.ucrtainting.handlers.Handler; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.handlers.Handler; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.util.List; import javax.lang.model.element.ElementKind; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTypeAnnotator.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTypeAnnotator.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTypeAnnotator.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTypeAnnotator.java index b5da90e2..e94c8dcd 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperTypeAnnotator.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperTypeAnnotator.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; import org.checkerframework.framework.type.AnnotatedTypeFactory; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperVisitor.java similarity index 99% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperVisitor.java index 63fc5d71..0b317d44 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/TaintTyperVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/TaintTyperVisitor.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting; +package edu.xxx.cs.yyyyy.taint.tainttyper; import com.sun.source.tree.Tree; import com.sun.tools.javac.code.Symbol; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/AbstractHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/AbstractHandler.java similarity index 95% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/AbstractHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/AbstractHandler.java index 5ecbfe6d..b7857cb5 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/AbstractHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/AbstractHandler.java @@ -22,14 +22,14 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.sun.source.tree.LambdaExpressionTree; import com.sun.source.tree.MemberSelectTree; import com.sun.source.tree.MethodInvocationTree; import com.sun.source.tree.NewClassTree; import com.sun.source.tree.VariableTree; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; import javax.lang.model.element.Element; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/AnnotationMemberHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/AnnotationMemberHandler.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/AnnotationMemberHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/AnnotationMemberHandler.java index f71377d8..eae48875 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/AnnotationMemberHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/AnnotationMemberHandler.java @@ -22,12 +22,12 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.sun.source.tree.ExpressionTree; import com.sun.source.tree.MethodInvocationTree; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; import javax.lang.model.element.Element; import org.checkerframework.framework.type.AnnotatedTypeMirror; import org.checkerframework.javacutil.TreeUtils; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/CollectionHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/CollectionHandler.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/CollectionHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/CollectionHandler.java index 9e5122aa..e3a744be 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/CollectionHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/CollectionHandler.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.sun.source.tree.ExpressionTree; import com.sun.source.tree.MethodInvocationTree; @@ -32,9 +32,9 @@ import com.sun.tools.javac.code.Types; import com.sun.tools.javac.tree.JCTree; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; -import edu.ucr.cs.riple.taint.ucrtainting.util.TypeUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.TypeUtils; import javax.annotation.Nullable; import javax.lang.model.type.ArrayType; import javax.lang.model.type.TypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/CompositHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/CompositHandler.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/CompositHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/CompositHandler.java index 8bc4fa28..3d4a1c50 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/CompositHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/CompositHandler.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.google.common.collect.ImmutableSet; import com.sun.source.tree.LambdaExpressionTree; @@ -31,7 +31,7 @@ import com.sun.source.tree.NewClassTree; import com.sun.source.tree.VariableTree; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; import javax.lang.model.element.Element; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/EnumHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/EnumHandler.java similarity index 90% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/EnumHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/EnumHandler.java index b1b654e6..32512e62 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/EnumHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/EnumHandler.java @@ -22,10 +22,10 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import javax.lang.model.element.Element; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/Handler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/Handler.java similarity index 98% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/Handler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/Handler.java index ad6c3b68..23261082 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/Handler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/Handler.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.sun.source.tree.LambdaExpressionTree; import com.sun.source.tree.MemberSelectTree; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/LambdaHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/LambdaHandler.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/LambdaHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/LambdaHandler.java index 3bbd9ebf..481a420d 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/LambdaHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/LambdaHandler.java @@ -22,14 +22,14 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.sun.source.tree.LambdaExpressionTree; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Types; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.util.HashSet; import java.util.Set; import javax.lang.model.element.Element; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/SanitizerHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/SanitizerHandler.java similarity index 95% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/SanitizerHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/SanitizerHandler.java index 9fdf616f..32537c1f 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/SanitizerHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/SanitizerHandler.java @@ -22,11 +22,11 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.sun.source.tree.MethodInvocationTree; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; import javax.lang.model.element.Element; import org.checkerframework.framework.type.AnnotatedTypeMirror; import org.checkerframework.javacutil.TreeUtils; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/StaticFinalFieldHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/StaticFinalFieldHandler.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/StaticFinalFieldHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/StaticFinalFieldHandler.java index 8d736625..187ced7e 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/StaticFinalFieldHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/StaticFinalFieldHandler.java @@ -22,14 +22,14 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.sun.source.tree.ExpressionTree; import com.sun.source.tree.Tree; import com.sun.source.tree.VariableTree; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.util.HashMap; import java.util.HashSet; import java.util.Map; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/UnannotatedCodeHandler.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/UnannotatedCodeHandler.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/UnannotatedCodeHandler.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/UnannotatedCodeHandler.java index c653cfc2..c70adff6 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/handlers/UnannotatedCodeHandler.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/handlers/UnannotatedCodeHandler.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.handlers; +package edu.xxx.cs.yyyyy.taint.tainttyper.handlers; import com.google.common.collect.ImmutableSet; import com.sun.source.tree.ExpressionTree; @@ -31,10 +31,10 @@ import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.tree.JCTree; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Serializer; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; -import edu.ucr.cs.riple.taint.ucrtainting.util.TypeUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Serializer; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.TypeUtils; import java.util.Objects; import javax.lang.model.element.Element; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/README b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/README similarity index 100% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/README rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/README diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RPolyTainted.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RPolyTainted.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RPolyTainted.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RPolyTainted.java index e785af06..67940599 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RPolyTainted.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RPolyTainted.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.qual; +package edu.xxx.cs.yyyyy.taint.tainttyper.qual; import java.lang.annotation.Documented; import java.lang.annotation.ElementType; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RPossiblyValidated.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RPossiblyValidated.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RPossiblyValidated.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RPossiblyValidated.java index d8fcdcc0..f17f6865 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RPossiblyValidated.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RPossiblyValidated.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.qual; +package edu.xxx.cs.yyyyy.taint.tainttyper.qual; import java.lang.annotation.*; import org.checkerframework.framework.qual.SubtypeOf; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RTainted.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RTainted.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RTainted.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RTainted.java index c54d7653..44fe9c49 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RTainted.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RTainted.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.qual; +package edu.xxx.cs.yyyyy.taint.tainttyper.qual; import java.lang.annotation.*; import org.checkerframework.framework.qual.DefaultQualifierInHierarchy; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RThis.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RThis.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RThis.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RThis.java index 2cf92ded..15055159 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RThis.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RThis.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.qual; +package edu.xxx.cs.yyyyy.taint.tainttyper.qual; import java.lang.annotation.*; import org.checkerframework.framework.qual.SubtypeOf; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RUntainted.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RUntainted.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RUntainted.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RUntainted.java index e92325b2..313c4408 100755 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/qual/RUntainted.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/qual/RUntainted.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.qual; +package edu.xxx.cs.yyyyy.taint.tainttyper.qual; import java.lang.annotation.*; import org.checkerframework.framework.qual.LiteralKind; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Error.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Error.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Error.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Error.java index 2d67857c..142b8d00 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Error.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Error.java @@ -22,13 +22,13 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization; import com.google.common.collect.ImmutableSet; import com.sun.source.util.TreePath; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.tree.JCTree; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.nio.file.Path; import java.util.Set; import javax.annotation.Nullable; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Fix.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Fix.java similarity index 91% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Fix.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Fix.java index 816f74a9..bf82b3ed 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Fix.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Fix.java @@ -22,10 +22,10 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.SymbolLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.LocationToJsonVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.SymbolLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.LocationToJsonVisitor; import java.util.Objects; import org.json.JSONObject; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/JSONSerializable.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/JSONSerializable.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/JSONSerializable.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/JSONSerializable.java index 29a7d146..17363ce3 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/JSONSerializable.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/JSONSerializable.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization; import org.json.JSONObject; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/SerializationService.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/SerializationService.java similarity index 92% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/SerializationService.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/SerializationService.java index c8f5439f..88423bd0 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/SerializationService.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/SerializationService.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization; import com.google.common.collect.ImmutableSet; import com.sun.source.tree.AssignmentTree; @@ -36,18 +36,20 @@ import com.sun.tools.javac.code.Types; import com.sun.tools.javac.processing.JavacProcessingEnvironment; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperVisitor; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.MethodLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.MethodParameterLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.PolyMethodLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.SymbolLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.FixComputer; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.TypeMatchVisitor; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RPolyTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.MethodLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.MethodParameterLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.PolyMethodLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.SymbolLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.FixComputer; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.TypeMatchVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.util.HashSet; import java.util.List; import java.util.Set; @@ -73,15 +75,13 @@ public class SerializationService { /** Fix computer to generate the required fixes for the errors. */ private final FixComputer fixComputer; /** - * Type match visitor to compute the required {@link - * edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted} annotations to match the found type to - * required type. + * Type match visitor to compute the required {@link RUntainted} annotations to match the found + * type to required type. */ private final TypeMatchVisitor untaintedTypeMatchVisitor; /** - * Type match visitor to compute the required {@link - * edu.ucr.cs.riple.taint.ucrtainting.qual.RPolyTainted} annotations to match the found type to - * required type. + * Type match visitor to compute the required {@link RPolyTainted} annotations to match the found + * type to required type. */ private final TypeMatchVisitor polyTypeMatchVisitor; /** Javac types instance. */ diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Serializer.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Serializer.java similarity index 89% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Serializer.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Serializer.java index ac08b3f7..93737dbd 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/Serializer.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/Serializer.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization; import static java.util.stream.Collectors.joining; @@ -30,8 +30,8 @@ import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.util.Name; -import edu.ucr.cs.riple.taint.ucrtainting.Config; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.Config; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.FileOutputStream; import java.io.IOException; import java.io.OutputStream; @@ -211,21 +211,5 @@ public boolean isDisabled() { * * @param message The message to log. */ - public static void log(Object message) { - final Path LOG_PATH = Paths.get("/tmp/ucr_checker/log.txt"); - try { - if (!Files.exists(LOG_PATH.getParent())) { - Files.createDirectories(LOG_PATH.getParent()); - } - } catch (IOException e) { - throw new RuntimeException("Could not create directory at: " + LOG_PATH, e); - } - // append to file - try (OutputStream os = new FileOutputStream(LOG_PATH.toFile(), true)) { - os.write((message + "\n").getBytes(Charset.defaultCharset()), 0, (message + "\n").length()); - os.flush(); - } catch (IOException e) { - throw new RuntimeException("Error happened for writing at file: " + LOG_PATH, e); - } - } + public static void log(Object message) {} } diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/TypeIndex.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/TypeIndex.java similarity index 98% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/TypeIndex.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/TypeIndex.java index ed1635d3..fbc6d697 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/TypeIndex.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/TypeIndex.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization; import com.google.common.collect.ImmutableList; import java.util.ArrayList; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/XMLUtil.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/XMLUtil.java similarity index 98% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/XMLUtil.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/XMLUtil.java index 19796a31..cde963b2 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/XMLUtil.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/XMLUtil.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization; import javax.annotation.Nullable; import javax.xml.xpath.XPath; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/AbstractSymbolLocation.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/AbstractSymbolLocation.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/AbstractSymbolLocation.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/AbstractSymbolLocation.java index 912139d8..9d7541d8 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/AbstractSymbolLocation.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/AbstractSymbolLocation.java @@ -22,11 +22,11 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.nio.file.Path; import java.util.Objects; import java.util.Set; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/ClassDeclarationLocation.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/ClassDeclarationLocation.java similarity index 91% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/ClassDeclarationLocation.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/ClassDeclarationLocation.java index af4c1740..aa49fb51 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/ClassDeclarationLocation.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/ClassDeclarationLocation.java @@ -22,11 +22,11 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.LocationVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.LocationVisitor; public class ClassDeclarationLocation extends AbstractSymbolLocation { diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/FieldLocation.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/FieldLocation.java similarity index 93% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/FieldLocation.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/FieldLocation.java index a8d47c51..45c54b66 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/FieldLocation.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/FieldLocation.java @@ -22,10 +22,10 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.LocationVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.LocationVisitor; import java.util.Objects; /** subtype of {@link AbstractSymbolLocation} targeting class fields. */ diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/LocalVariableLocation.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/LocalVariableLocation.java similarity index 93% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/LocalVariableLocation.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/LocalVariableLocation.java index 9e2014d8..0828dd2e 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/LocalVariableLocation.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/LocalVariableLocation.java @@ -22,10 +22,10 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.LocationVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.LocationVisitor; import java.util.Objects; /** subtype of {@link AbstractSymbolLocation} targeting local variables. */ diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/LocationKind.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/LocationKind.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/LocationKind.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/LocationKind.java index 8ca2a305..a3f6011c 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/LocationKind.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/LocationKind.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; /** Enum representing the kind of location of a symbol. */ public enum LocationKind { diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/MethodLocation.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/MethodLocation.java similarity index 93% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/MethodLocation.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/MethodLocation.java index 6ea14bbb..2dedb8e1 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/MethodLocation.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/MethodLocation.java @@ -22,10 +22,10 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.LocationVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.LocationVisitor; import java.util.Objects; /** subtype of {@link AbstractSymbolLocation} targeting methods declarations */ diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/MethodParameterLocation.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/MethodParameterLocation.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/MethodParameterLocation.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/MethodParameterLocation.java index 7d170743..12cb5179 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/MethodParameterLocation.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/MethodParameterLocation.java @@ -22,10 +22,10 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.LocationVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.LocationVisitor; import java.util.Objects; /** subtype of {@link AbstractSymbolLocation} targeting a method parameter declaration */ diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/PolyMethodLocation.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/PolyMethodLocation.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/PolyMethodLocation.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/PolyMethodLocation.java index c5af4073..1b6567cb 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/PolyMethodLocation.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/PolyMethodLocation.java @@ -22,9 +22,9 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.LocationVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.LocationVisitor; import java.util.Objects; import java.util.Set; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/SymbolLocation.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/SymbolLocation.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/SymbolLocation.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/SymbolLocation.java index c1bdb8f6..2e364df1 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/location/SymbolLocation.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/location/SymbolLocation.java @@ -22,13 +22,13 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.location; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Serializer; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.LocationVisitor; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Serializer; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.LocationVisitor; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.nio.file.Path; import java.util.Set; import javax.annotation.Nullable; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/AccumulateScanner.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/AccumulateScanner.java similarity index 87% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/AccumulateScanner.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/AccumulateScanner.java index c5a4d99f..686fda7c 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/AccumulateScanner.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/AccumulateScanner.java @@ -22,12 +22,12 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.scanners; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.scanners; import com.sun.source.util.TreeScanner; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.FixComputer; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.FixComputer; import java.util.HashSet; import java.util.Set; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/AssignmentScanner.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/AssignmentScanner.java similarity index 92% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/AssignmentScanner.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/AssignmentScanner.java index 36ee200a..a190bc97 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/AssignmentScanner.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/AssignmentScanner.java @@ -22,17 +22,17 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.scanners; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.scanners; import com.sun.source.tree.AssignmentTree; import com.sun.source.tree.EnhancedForLoopTree; import com.sun.source.tree.Tree; import com.sun.source.tree.VariableTree; import com.sun.tools.javac.code.Symbol; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.FixComputer; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.FixComputer; import java.util.Set; import javax.lang.model.element.Element; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/ReturnStatementScanner.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/ReturnStatementScanner.java similarity index 85% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/ReturnStatementScanner.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/ReturnStatementScanner.java index e21c786f..bc16fd1f 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/scanners/ReturnStatementScanner.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/scanners/ReturnStatementScanner.java @@ -22,12 +22,12 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.scanners; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.scanners; import com.sun.source.tree.ReturnTree; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.FixComputer; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors.FixComputer; import java.util.Set; /** A scanner that accumulates the results of visiting a return statements a method. */ diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/CollectionFixVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/CollectionFixVisitor.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/CollectionFixVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/CollectionFixVisitor.java index eb8b1516..b3d4c81e 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/CollectionFixVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/CollectionFixVisitor.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.tree.ExpressionTree; import com.sun.source.tree.MethodInvocationTree; @@ -31,12 +31,12 @@ import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.handlers.CollectionHandler; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.util.TypeUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.handlers.CollectionHandler; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.TypeUtils; import java.util.Set; import java.util.stream.Collectors; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/DefaultTypeChangeVisitor.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/DefaultTypeChangeVisitor.java index 64f4884a..59b1c21b 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/DefaultTypeChangeVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/DefaultTypeChangeVisitor.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.tree.*; import com.sun.source.util.TreePath; @@ -30,13 +30,13 @@ import com.sun.tools.javac.code.Types; import com.sun.tools.javac.tree.JCTree; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.Config; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; -import edu.ucr.cs.riple.taint.ucrtainting.util.TypeUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.Config; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.TypeUtils; import java.util.HashSet; import java.util.List; import java.util.Set; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/FixComputer.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/FixComputer.java similarity index 93% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/FixComputer.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/FixComputer.java index c6caf3d3..0df6334d 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/FixComputer.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/FixComputer.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.tree.ExpressionTree; import com.sun.source.tree.MemberSelectTree; @@ -36,14 +36,15 @@ import com.sun.tools.javac.code.Types; import com.sun.tools.javac.tree.JCTree; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.Config; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.handlers.CollectionHandler; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Serializer; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; -import edu.ucr.cs.riple.taint.ucrtainting.util.TypeUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.Config; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.handlers.CollectionHandler; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Serializer; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.TypeUtils; import java.util.Set; import javax.lang.model.element.Element; import org.checkerframework.framework.type.AnnotatedTypeMirror; @@ -57,7 +58,7 @@ public class FixComputer extends SimpleTreeVisitor, FoundRequired> { /** * The type factory of the checker. Used to get the type of the tree and generate a fix only if is - * {@link edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted}. + * {@link RTainted}. */ protected final TaintTyperAnnotatedTypeFactory typeFactory; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/GenericMethodFixVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/GenericMethodFixVisitor.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/GenericMethodFixVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/GenericMethodFixVisitor.java index 0510943e..141ab4b7 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/GenericMethodFixVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/GenericMethodFixVisitor.java @@ -22,19 +22,19 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.tree.ExpressionTree; import com.sun.source.tree.MethodInvocationTree; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.ClassDeclarationLocation; -import edu.ucr.cs.riple.taint.ucrtainting.util.TypeUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.ClassDeclarationLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.TypeUtils; import java.util.HashSet; import java.util.List; import java.util.Set; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocalVariableFixVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocalVariableFixVisitor.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocalVariableFixVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocalVariableFixVisitor.java index f0b4548e..980bb86f 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocalVariableFixVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocalVariableFixVisitor.java @@ -22,18 +22,18 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.tree.IdentifierTree; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.tree.JCTree; import com.sun.tools.javac.util.Context; import com.sun.tools.javac.util.Pair; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.scanners.AssignmentScanner; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.scanners.AssignmentScanner; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.util.ArrayList; import java.util.HashMap; import java.util.HashSet; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocationToJsonVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocationToJsonVisitor.java similarity index 83% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocationToJsonVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocationToJsonVisitor.java index 3ea0ecfd..26967d31 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocationToJsonVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocationToJsonVisitor.java @@ -22,17 +22,17 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Serializer; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.AbstractSymbolLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.ClassDeclarationLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.FieldLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.LocalVariableLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.MethodLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.MethodParameterLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.PolyMethodLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Serializer; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.AbstractSymbolLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.ClassDeclarationLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.FieldLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.LocalVariableLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.MethodLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.MethodParameterLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.PolyMethodLocation; import java.util.stream.Collectors; import org.json.JSONArray; import org.json.JSONObject; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocationVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocationVisitor.java similarity index 82% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocationVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocationVisitor.java index 9917519d..30043f4d 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/LocationVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/LocationVisitor.java @@ -22,15 +22,15 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.ClassDeclarationLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.FieldLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.LocalVariableLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.MethodLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.MethodParameterLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.PolyMethodLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.SymbolLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.ClassDeclarationLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.FieldLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.LocalVariableLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.MethodLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.MethodParameterLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.PolyMethodLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.SymbolLocation; /** * A visitor of types, in the style of the visitor design pattern. When a visitor is passed to a diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/MethodReturnVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/MethodReturnVisitor.java similarity index 94% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/MethodReturnVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/MethodReturnVisitor.java index 89a5a1d3..b9636f45 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/MethodReturnVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/MethodReturnVisitor.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import static java.util.stream.Collectors.toSet; @@ -31,15 +31,15 @@ import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.tree.JCTree; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.MethodLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.MethodParameterLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.PolyMethodLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.scanners.AssignmentScanner; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.scanners.ReturnStatementScanner; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.MethodLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.MethodParameterLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.PolyMethodLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.scanners.AssignmentScanner; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.scanners.ReturnStatementScanner; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; import java.util.ArrayDeque; import java.util.Collections; import java.util.Deque; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/PolyMethodVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/PolyMethodVisitor.java similarity index 92% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/PolyMethodVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/PolyMethodVisitor.java index 4a225e8c..d1883d42 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/PolyMethodVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/PolyMethodVisitor.java @@ -22,14 +22,14 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.tree.MethodInvocationTree; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; import java.util.HashSet; import java.util.Set; import org.checkerframework.framework.type.AnnotatedTypeMirror; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/SpecializedFixComputer.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/SpecializedFixComputer.java similarity index 88% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/SpecializedFixComputer.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/SpecializedFixComputer.java index e8e27016..7a7d469f 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/SpecializedFixComputer.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/SpecializedFixComputer.java @@ -22,21 +22,20 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; - -import static edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors.GenericMethodFixVisitor.locateInheritedTypeOnExtendOrImplement; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.util.SimpleTreeVisitor; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.ClassDeclarationLocation; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.location.SymbolLocation; -import edu.ucr.cs.riple.taint.ucrtainting.util.TypeUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.ClassDeclarationLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.location.SymbolLocation; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.TypeUtils; import java.util.Set; import java.util.stream.Collectors; import javax.annotation.Nullable; @@ -48,7 +47,7 @@ public abstract class SpecializedFixComputer extends SimpleTreeVisitor, /** * The type factory of the checker. Used to get the type of the tree and generate a fix only if is - * {@link edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted}. + * {@link RTainted}. */ protected final TaintTyperAnnotatedTypeFactory typeFactory; @@ -94,7 +93,7 @@ public Fix buildFixForElement(Element element, FoundRequired pair) { // We intentionally limit the search to only the first level of inheritance. The type must // either extend or implement the required type explicitly at the declaration. Type.ClassType inheritedType = - locateInheritedTypeOnExtendOrImplement(classType, requiredType); + GenericMethodFixVisitor.locateInheritedTypeOnExtendOrImplement(classType, requiredType); if (inheritedType == null) { return null; } diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/TypeArgumentFixVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/TypeArgumentFixVisitor.java similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/TypeArgumentFixVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/TypeArgumentFixVisitor.java index 788eba8e..3f0bd933 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/TypeArgumentFixVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/TypeArgumentFixVisitor.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.tree.ExpressionTree; import com.sun.source.tree.IdentifierTree; @@ -32,12 +32,12 @@ import com.sun.tools.javac.code.Type; import com.sun.tools.javac.tree.JCTree; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; -import edu.ucr.cs.riple.taint.ucrtainting.util.SymbolUtils; -import edu.ucr.cs.riple.taint.ucrtainting.util.TypeUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.SymbolUtils; +import edu.xxx.cs.yyyyy.taint.tainttyper.util.TypeUtils; import java.util.ArrayList; import java.util.HashMap; import java.util.List; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/TypeMatchVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/TypeMatchVisitor.java similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/TypeMatchVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/TypeMatchVisitor.java index 3d397b5b..9c46ac7a 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/TypeMatchVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/TypeMatchVisitor.java @@ -22,10 +22,10 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; import java.util.Collections; import java.util.HashSet; import java.util.Set; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/UnannotatedCodeFixVisitor.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/UnannotatedCodeFixVisitor.java similarity index 95% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/UnannotatedCodeFixVisitor.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/UnannotatedCodeFixVisitor.java index ab2a576d..c6599aa6 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/serialization/visitors/UnannotatedCodeFixVisitor.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/serialization/visitors/UnannotatedCodeFixVisitor.java @@ -22,16 +22,16 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.serialization.visitors; +package edu.xxx.cs.yyyyy.taint.tainttyper.serialization.visitors; import com.sun.source.tree.ExpressionTree; import com.sun.source.tree.MemberSelectTree; import com.sun.source.tree.MethodInvocationTree; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.FoundRequired; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperAnnotatedTypeFactory; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Fix; +import edu.xxx.cs.yyyyy.taint.tainttyper.FoundRequired; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperAnnotatedTypeFactory; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Fix; import java.util.HashSet; import java.util.Set; import javax.lang.model.element.Element; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/Connection.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/Connection.astub similarity index 99% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/Connection.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/Connection.astub index dbd4ad84..7cd6fd9f 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/Connection.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/Connection.astub @@ -24,7 +24,7 @@ package java.sql; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; import java.util.Properties; import java.util.concurrent.Executor; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/Files.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/Files.astub similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/Files.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/Files.astub index 47ce6705..b7426f74 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/Files.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/Files.astub @@ -78,7 +78,7 @@ import java.util.stream.StreamSupport; import sun.nio.ch.FileChannelImpl; import sun.nio.fs.AbstractFileSystemProvider; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; public static void delete(@RUntainted Path path) throws IOException { provider(path).delete(path); diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/StringBuffer.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/StringBuffer.astub similarity index 99% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/StringBuffer.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/StringBuffer.astub index 570ffcf4..d9fd88d3 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/StringBuffer.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/StringBuffer.astub @@ -22,8 +22,8 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.qual.RThis; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RThis; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; package java.lang; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/apache.commons.io.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/apache.commons.io.astub similarity index 99% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/apache.commons.io.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/apache.commons.io.astub index 8609b325..0556346a 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/apache.commons.io.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/apache.commons.io.astub @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; package org.apache.commons.io.output; public class FileWriterWithEncoding { diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/apache.commons.lang.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/apache.commons.lang.astub similarity index 99% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/apache.commons.lang.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/apache.commons.lang.astub index 044afb4c..afe717e1 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/apache.commons.lang.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/apache.commons.lang.astub @@ -23,7 +23,7 @@ */ -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; package org.apache.commons.lang3; public class ClassUtils { diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/codeql.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/codeql.astub similarity index 98% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/codeql.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/codeql.astub index 33188a13..953373d0 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/codeql.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/codeql.astub @@ -22,9 +22,9 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RPolyTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RPolyTainted; import java.io.InputStream; import java.io.Reader; import java.io.File; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/find-sec-bugs-sanitizers.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/find-sec-bugs-sanitizers.astub similarity index 99% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/find-sec-bugs-sanitizers.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/find-sec-bugs-sanitizers.astub index 654ba2ac..7b340aa9 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/find-sec-bugs-sanitizers.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/find-sec-bugs-sanitizers.astub @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; package org.apache.commons.lang; public class StringEscapeUtils { diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/general.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/general.astub similarity index 99% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/general.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/general.astub index bd2f0d9f..96cc696a 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/general.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/general.astub @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; package javax.servlet; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/httpservletreq.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/httpservletreq.astub similarity index 100% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/httpservletreq.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/httpservletreq.astub diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/taintedMethods.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/taintedMethods.astub similarity index 96% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/taintedMethods.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/taintedMethods.astub index 8e357aae..f623e484 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/taintedMethods.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/taintedMethods.astub @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; package javax.servlet.http; public class HttpServletResponse { diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/tdmljp.astub b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/tdmljp.astub similarity index 97% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/tdmljp.astub rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/tdmljp.astub index ab1727c6..e2c45635 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/stubs/tdmljp.astub +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/stubs/tdmljp.astub @@ -22,8 +22,8 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; package java.awt; public class Desktop { diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/util/SymbolUtils.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/util/SymbolUtils.java similarity index 99% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/util/SymbolUtils.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/util/SymbolUtils.java index 7582012f..bf0f112d 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/util/SymbolUtils.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/util/SymbolUtils.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.util; +package edu.xxx.cs.yyyyy.taint.tainttyper.util; import com.sun.source.tree.ClassTree; import com.sun.source.tree.ExpressionTree; @@ -41,7 +41,7 @@ import com.sun.tools.javac.processing.JavacProcessingEnvironment; import com.sun.tools.javac.tree.JCTree; import com.sun.tools.javac.util.Context; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.Serializer; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.Serializer; import java.net.URI; import java.nio.file.Path; import java.util.ArrayList; diff --git a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/util/TypeUtils.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/util/TypeUtils.java similarity index 98% rename from src/main/java/edu/ucr/cs/riple/taint/ucrtainting/util/TypeUtils.java rename to src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/util/TypeUtils.java index 2ace12b5..16ddf050 100644 --- a/src/main/java/edu/ucr/cs/riple/taint/ucrtainting/util/TypeUtils.java +++ b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/util/TypeUtils.java @@ -22,13 +22,13 @@ * THE SOFTWARE. */ -package edu.ucr.cs.riple.taint.ucrtainting.util; +package edu.xxx.cs.yyyyy.taint.tainttyper.util; import com.sun.source.tree.ExpressionTree; import com.sun.tools.javac.code.Symbol; import com.sun.tools.javac.code.Type; import com.sun.tools.javac.tree.JCTree; -import edu.ucr.cs.riple.taint.ucrtainting.serialization.TypeIndex; +import edu.xxx.cs.yyyyy.taint.tainttyper.serialization.TypeIndex; import java.util.List; import java.util.stream.Collectors; import javax.lang.model.element.AnnotationMirror; diff --git a/src/test/java/tests/AccessPathTest.java b/src/test/java/tests/AccessPathTest.java index 3b4ba21d..5c3d0e25 100644 --- a/src/test/java/tests/AccessPathTest.java +++ b/src/test/java/tests/AccessPathTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/ArraySerializationTest.java b/src/test/java/tests/ArraySerializationTest.java index 265bcf49..a77f8e52 100644 --- a/src/test/java/tests/ArraySerializationTest.java +++ b/src/test/java/tests/ArraySerializationTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/CollectionHandlingTest.java b/src/test/java/tests/CollectionHandlingTest.java index c6dc8ad1..3c8857ec 100644 --- a/src/test/java/tests/CollectionHandlingTest.java +++ b/src/test/java/tests/CollectionHandlingTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/EnhancedForSerializationTest.java b/src/test/java/tests/EnhancedForSerializationTest.java index 85b8ead7..1d246f8b 100644 --- a/src/test/java/tests/EnhancedForSerializationTest.java +++ b/src/test/java/tests/EnhancedForSerializationTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized.Parameters; diff --git a/src/test/java/tests/EnumInterfaceSpecialCaseHandlingTest.java b/src/test/java/tests/EnumInterfaceSpecialCaseHandlingTest.java index 6f14a185..0db8dae2 100755 --- a/src/test/java/tests/EnumInterfaceSpecialCaseHandlingTest.java +++ b/src/test/java/tests/EnumInterfaceSpecialCaseHandlingTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized.Parameters; diff --git a/src/test/java/tests/FixVisitorSelectionTest.java b/src/test/java/tests/FixVisitorSelectionTest.java index 4fe6c450..1103d631 100644 --- a/src/test/java/tests/FixVisitorSelectionTest.java +++ b/src/test/java/tests/FixVisitorSelectionTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized.Parameters; diff --git a/src/test/java/tests/InheritanceViolationTests.java b/src/test/java/tests/InheritanceViolationTests.java index b57bb50b..f20492eb 100644 --- a/src/test/java/tests/InheritanceViolationTests.java +++ b/src/test/java/tests/InheritanceViolationTests.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized.Parameters; diff --git a/src/test/java/tests/LambdaInferenceTest.java b/src/test/java/tests/LambdaInferenceTest.java index bf34c10a..d463e8c4 100644 --- a/src/test/java/tests/LambdaInferenceTest.java +++ b/src/test/java/tests/LambdaInferenceTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized.Parameters; diff --git a/src/test/java/tests/NewTestTemplateTest.java b/src/test/java/tests/NewTestTemplateTest.java index f74f091d..e85e5d27 100644 --- a/src/test/java/tests/NewTestTemplateTest.java +++ b/src/test/java/tests/NewTestTemplateTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized.Parameters; diff --git a/src/test/java/tests/ParameterExpressionSerializationTest.java b/src/test/java/tests/ParameterExpressionSerializationTest.java index 8e6d5d02..9161ca25 100644 --- a/src/test/java/tests/ParameterExpressionSerializationTest.java +++ b/src/test/java/tests/ParameterExpressionSerializationTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/PolyTaintedSerializationTest.java b/src/test/java/tests/PolyTaintedSerializationTest.java index d957ab9e..34f14db9 100644 --- a/src/test/java/tests/PolyTaintedSerializationTest.java +++ b/src/test/java/tests/PolyTaintedSerializationTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest; diff --git a/src/test/java/tests/ReverseDirectionTypeSerializationTest.java b/src/test/java/tests/ReverseDirectionTypeSerializationTest.java index 4b86ca2e..085567c0 100644 --- a/src/test/java/tests/ReverseDirectionTypeSerializationTest.java +++ b/src/test/java/tests/ReverseDirectionTypeSerializationTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/SerializationTest.java b/src/test/java/tests/SerializationTest.java index 75e07f47..75f9ee60 100644 --- a/src/test/java/tests/SerializationTest.java +++ b/src/test/java/tests/SerializationTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/SpecialCaseFixSerializationTest.java b/src/test/java/tests/SpecialCaseFixSerializationTest.java index b5888f58..4ad0f928 100644 --- a/src/test/java/tests/SpecialCaseFixSerializationTest.java +++ b/src/test/java/tests/SpecialCaseFixSerializationTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/TaintingLibraryTest.java b/src/test/java/tests/TaintingLibraryTest.java index 6e3980dd..5ba7a514 100755 --- a/src/test/java/tests/TaintingLibraryTest.java +++ b/src/test/java/tests/TaintingLibraryTest.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest; diff --git a/src/test/java/tests/TaintingValidationTest.java b/src/test/java/tests/TaintingValidationTest.java index ed0f4a00..68d28c96 100755 --- a/src/test/java/tests/TaintingValidationTest.java +++ b/src/test/java/tests/TaintingValidationTest.java @@ -22,7 +22,7 @@ * THE SOFTWARE. */ -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest; diff --git a/src/test/java/tests/ThirdPartyHandlingSerializationTest.java b/src/test/java/tests/ThirdPartyHandlingSerializationTest.java index 179d3e65..582ff523 100644 --- a/src/test/java/tests/ThirdPartyHandlingSerializationTest.java +++ b/src/test/java/tests/ThirdPartyHandlingSerializationTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized.Parameters; diff --git a/src/test/java/tests/ThirdPartyTypeArgumentHandlingTest.java b/src/test/java/tests/ThirdPartyTypeArgumentHandlingTest.java index 710cddfe..abc9fd33 100644 --- a/src/test/java/tests/ThirdPartyTypeArgumentHandlingTest.java +++ b/src/test/java/tests/ThirdPartyTypeArgumentHandlingTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/TypeArgumentReceiverTest.java b/src/test/java/tests/TypeArgumentReceiverTest.java index 60018e9e..616a0917 100644 --- a/src/test/java/tests/TypeArgumentReceiverTest.java +++ b/src/test/java/tests/TypeArgumentReceiverTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/TypeArgumentSelectionTest.java b/src/test/java/tests/TypeArgumentSelectionTest.java index b9564952..02041542 100644 --- a/src/test/java/tests/TypeArgumentSelectionTest.java +++ b/src/test/java/tests/TypeArgumentSelectionTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/src/test/java/tests/TypeArgumentsTest.java b/src/test/java/tests/TypeArgumentsTest.java index 093661f5..e605a39f 100644 --- a/src/test/java/tests/TypeArgumentsTest.java +++ b/src/test/java/tests/TypeArgumentsTest.java @@ -24,7 +24,7 @@ package tests; -import edu.ucr.cs.riple.taint.ucrtainting.TaintTyperChecker; +import edu.xxx.cs.yyyyy.taint.tainttyper.TaintTyperChecker; import java.io.File; import java.util.List; import org.junit.runners.Parameterized; diff --git a/tests/accesspath/Foo.java b/tests/accesspath/Foo.java index ac33bb80..ba2d3948 100644 --- a/tests/accesspath/Foo.java +++ b/tests/accesspath/Foo.java @@ -1,4 +1,4 @@ -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; public class Foo { diff --git a/tests/accesspath/Test.java b/tests/accesspath/Test.java index bcbd9de2..4f98fb6b 100644 --- a/tests/accesspath/Test.java +++ b/tests/accesspath/Test.java @@ -1,4 +1,4 @@ -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.nio.file.*; import java.util.*; diff --git a/tests/arrayserialization/Foo.java b/tests/arrayserialization/Foo.java index 03519616..199882d9 100644 --- a/tests/arrayserialization/Foo.java +++ b/tests/arrayserialization/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.io.IOException; import java.lang.annotation.*; import java.lang.reflect.Method; diff --git a/tests/arrayserialization/NotPolyInference.java b/tests/arrayserialization/NotPolyInference.java index 4c3c21b8..1fea2118 100644 --- a/tests/arrayserialization/NotPolyInference.java +++ b/tests/arrayserialization/NotPolyInference.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.io.IOException; import java.io.Writer; diff --git a/tests/collectionhandling/foo/bar/Foo.java b/tests/collectionhandling/foo/bar/Foo.java index 39f69332..6ddb91fd 100644 --- a/tests/collectionhandling/foo/bar/Foo.java +++ b/tests/collectionhandling/foo/bar/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.ArrayList; import java.util.List; import java.util.Map; diff --git a/tests/enhancedforserialization/foo/bar/Foo.java b/tests/enhancedforserialization/foo/bar/Foo.java index 9dc82332..8d265597 100644 --- a/tests/enhancedforserialization/foo/bar/Foo.java +++ b/tests/enhancedforserialization/foo/bar/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.lang.annotation.*; import java.lang.reflect.Method; import java.util.*; diff --git a/tests/enuminterfacespecialcasehandling/Foo.java b/tests/enuminterfacespecialcasehandling/Foo.java index e1fd2ae0..f6dd2983 100644 --- a/tests/enuminterfacespecialcasehandling/Foo.java +++ b/tests/enuminterfacespecialcasehandling/Foo.java @@ -1,6 +1,6 @@ package test; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; import javax.servlet.http.*; diff --git a/tests/fixvisitorselection/foo/bar/Foo.java b/tests/fixvisitorselection/foo/bar/Foo.java index 3c4b4f30..baf4f30f 100644 --- a/tests/fixvisitorselection/foo/bar/Foo.java +++ b/tests/fixvisitorselection/foo/bar/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; import org.apache.commons.text.io.StringSubstitutorReader; diff --git a/tests/inheritanceviolation/foo/bar/Bar.java b/tests/inheritanceviolation/foo/bar/Bar.java index 64e4ae75..3d7acfcb 100644 --- a/tests/inheritanceviolation/foo/bar/Bar.java +++ b/tests/inheritanceviolation/foo/bar/Bar.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; public class Bar extends Foo { diff --git a/tests/inheritanceviolation/foo/bar/Foo.java b/tests/inheritanceviolation/foo/bar/Foo.java index fc3e2773..6d0dda67 100644 --- a/tests/inheritanceviolation/foo/bar/Foo.java +++ b/tests/inheritanceviolation/foo/bar/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; public class Foo { diff --git a/tests/lambdainference/foo/bar/Foo.java b/tests/lambdainference/foo/bar/Foo.java index 122c2bb1..50f8e826 100644 --- a/tests/lambdainference/foo/bar/Foo.java +++ b/tests/lambdainference/foo/bar/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; import org.apache.commons.text.lookup.StringLookup; diff --git a/tests/parameterexpressionserialization/foo/bar/Main.java b/tests/parameterexpressionserialization/foo/bar/Main.java index 8f4e96e4..04a8ba60 100644 --- a/tests/parameterexpressionserialization/foo/bar/Main.java +++ b/tests/parameterexpressionserialization/foo/bar/Main.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.nio.file.Files; import java.nio.file.Paths; import java.nio.file.StandardCopyOption; diff --git a/tests/polytaintserialization/foo/bar/BoundTest.java b/tests/polytaintserialization/foo/bar/BoundTest.java index d95dbc6c..b9ee3556 100644 --- a/tests/polytaintserialization/foo/bar/BoundTest.java +++ b/tests/polytaintserialization/foo/bar/BoundTest.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; import javax.servlet.http.*; diff --git a/tests/polytaintserialization/foo/bar/Recursive.java b/tests/polytaintserialization/foo/bar/Recursive.java index 88761c11..020c1cd0 100644 --- a/tests/polytaintserialization/foo/bar/Recursive.java +++ b/tests/polytaintserialization/foo/bar/Recursive.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.List; import org.apache.commons.text.StringSubstitutor; diff --git a/tests/polytaintserialization/foo/bar/Test.java b/tests/polytaintserialization/foo/bar/Test.java index 11e0d94e..56e83dac 100644 --- a/tests/polytaintserialization/foo/bar/Test.java +++ b/tests/polytaintserialization/foo/bar/Test.java @@ -2,7 +2,7 @@ import com.opensymphony.xwork2.ActionInvocation; import com.opensymphony.xwork2.util.TextParseUtil; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; import javax.servlet.http.*; diff --git a/tests/reversedirection/com/test/Foo.java b/tests/reversedirection/com/test/Foo.java index fadb2f61..438d021b 100644 --- a/tests/reversedirection/com/test/Foo.java +++ b/tests/reversedirection/com/test/Foo.java @@ -1,6 +1,6 @@ package com.test; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.HashMap; import java.util.Map; import java.util.Set; diff --git a/tests/serialization/Bar.java b/tests/serialization/Bar.java index 2ec2b3b7..7a1fd757 100644 --- a/tests/serialization/Bar.java +++ b/tests/serialization/Bar.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import javax.servlet.http.HttpServletResponse; class Bar extends Foo { diff --git a/tests/serialization/Baz.java b/tests/serialization/Baz.java index efbc75de..fe541218 100644 --- a/tests/serialization/Baz.java +++ b/tests/serialization/Baz.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; class Baz { public String field = ""; diff --git a/tests/serialization/Foo.java b/tests/serialization/Foo.java index 17bf0e85..98ab5301 100644 --- a/tests/serialization/Foo.java +++ b/tests/serialization/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import jakarta.xml.bind.JAXBContext; import jakarta.xml.bind.JAXBElement; import jakarta.xml.bind.JAXBException; diff --git a/tests/specialcasefixserialization/CmsUUID.java b/tests/specialcasefixserialization/CmsUUID.java index 769ca57a..d89f10dc 100644 --- a/tests/specialcasefixserialization/CmsUUID.java +++ b/tests/specialcasefixserialization/CmsUUID.java @@ -1,7 +1,7 @@ package test; import com.vaadin.shared.ui.ContentMode; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.lang.annotation.Annotation; import java.lang.annotation.Documented; import java.lang.annotation.ElementType; diff --git a/tests/templatetest/foo/bar/Test.java b/tests/templatetest/foo/bar/Test.java index 5aed2e9a..5462b4b5 100644 --- a/tests/templatetest/foo/bar/Test.java +++ b/tests/templatetest/foo/bar/Test.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.lang.annotation.*; import java.util.*; diff --git a/tests/thirdpartyhandlingserialization/foo/bar/Foo.java b/tests/thirdpartyhandlingserialization/foo/bar/Foo.java index 673fdde3..21e51107 100644 --- a/tests/thirdpartyhandlingserialization/foo/bar/Foo.java +++ b/tests/thirdpartyhandlingserialization/foo/bar/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.awt.Point; import java.io.*; import java.nio.file.Files; diff --git a/tests/thirdpartytypeargumenthandling/Foo.java b/tests/thirdpartytypeargumenthandling/Foo.java index fc677ab2..4ef60095 100644 --- a/tests/thirdpartytypeargumenthandling/Foo.java +++ b/tests/thirdpartytypeargumenthandling/Foo.java @@ -1,6 +1,6 @@ package test; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; import javax.servlet.http.*; diff --git a/tests/typeargument/foo/bar/Foo.java b/tests/typeargument/foo/bar/Foo.java index f2a19957..9337ef93 100644 --- a/tests/typeargument/foo/bar/Foo.java +++ b/tests/typeargument/foo/bar/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; class Foo { diff --git a/tests/typeargument/foo/bar/MapTypeArgument.java b/tests/typeargument/foo/bar/MapTypeArgument.java index a2f5c587..e934005a 100644 --- a/tests/typeargument/foo/bar/MapTypeArgument.java +++ b/tests/typeargument/foo/bar/MapTypeArgument.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; public class MapTypeArgument> { diff --git a/tests/typeargument/foo/bar/Other.java b/tests/typeargument/foo/bar/Other.java index eb15d496..59abb5ea 100644 --- a/tests/typeargument/foo/bar/Other.java +++ b/tests/typeargument/foo/bar/Other.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; public class Other { diff --git a/tests/typeargument/foo/bar/TypeArgument.java b/tests/typeargument/foo/bar/TypeArgument.java index bf968c4c..d892b142 100644 --- a/tests/typeargument/foo/bar/TypeArgument.java +++ b/tests/typeargument/foo/bar/TypeArgument.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; public class TypeArgument, D extends J, F extends Map>> { diff --git a/tests/typeargumentreceiver/foo/bar/Foo.java b/tests/typeargumentreceiver/foo/bar/Foo.java index a4ec4b17..c65de181 100644 --- a/tests/typeargumentreceiver/foo/bar/Foo.java +++ b/tests/typeargumentreceiver/foo/bar/Foo.java @@ -1,6 +1,6 @@ package foo.bar; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; public class Foo { diff --git a/tests/typeargumentselection/foo/bar/Foo.java b/tests/typeargumentselection/foo/bar/Foo.java index 3534eb9f..454789c0 100644 --- a/tests/typeargumentselection/foo/bar/Foo.java +++ b/tests/typeargumentselection/foo/bar/Foo.java @@ -1,7 +1,7 @@ package foo.bar; import com.baomidou.mybatisplus.core.mapper.BaseMapper; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.security.PrivilegedAction; import java.util.*; import java.util.Map.Entry; diff --git a/tests/ucrtainting/basicSubTypingTests/SubtypingTest.java b/tests/ucrtainting/basicSubTypingTests/SubtypingTest.java index 69bd2cf2..3a34a9f2 100755 --- a/tests/ucrtainting/basicSubTypingTests/SubtypingTest.java +++ b/tests/ucrtainting/basicSubTypingTests/SubtypingTest.java @@ -1,6 +1,6 @@ package basicSubTypingTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.io.IOException; import java.nio.file.Files; import java.nio.file.Path; diff --git a/tests/ucrtainting/esapiNullFieldTest/EsapiNullFieldTest.java b/tests/ucrtainting/esapiNullFieldTest/EsapiNullFieldTest.java index 7f82b05f..c79ef9e4 100644 --- a/tests/ucrtainting/esapiNullFieldTest/EsapiNullFieldTest.java +++ b/tests/ucrtainting/esapiNullFieldTest/EsapiNullFieldTest.java @@ -1,6 +1,6 @@ package esapiNullFieldTest; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; public class EsapiNullFieldTest { public String fieldData = null; diff --git a/tests/ucrtainting/javaUtilTest/ArrayOperationsTest.java b/tests/ucrtainting/javaUtilTest/ArrayOperationsTest.java index e88914d9..9a10422c 100644 --- a/tests/ucrtainting/javaUtilTest/ArrayOperationsTest.java +++ b/tests/ucrtainting/javaUtilTest/ArrayOperationsTest.java @@ -1,6 +1,6 @@ package javaUtilTest; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; class ArrayOperationsTest { diff --git a/tests/ucrtainting/javaUtilTest/CustomClassTest.java b/tests/ucrtainting/javaUtilTest/CustomClassTest.java index 45f5bfe6..92a20519 100644 --- a/tests/ucrtainting/javaUtilTest/CustomClassTest.java +++ b/tests/ucrtainting/javaUtilTest/CustomClassTest.java @@ -1,6 +1,6 @@ package javaUtilTest; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; class CustomClassTest extends ArrayList { diff --git a/tests/ucrtainting/javaUtilTest/NestedClassTest.java b/tests/ucrtainting/javaUtilTest/NestedClassTest.java index ab801b18..d1210e98 100644 --- a/tests/ucrtainting/javaUtilTest/NestedClassTest.java +++ b/tests/ucrtainting/javaUtilTest/NestedClassTest.java @@ -1,6 +1,6 @@ package javaUtilTest; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; class NestedClassTest { diff --git a/tests/ucrtainting/javaUtilTest/UtilOperationsTest.java b/tests/ucrtainting/javaUtilTest/UtilOperationsTest.java index 2dd9d005..4fee31f5 100644 --- a/tests/ucrtainting/javaUtilTest/UtilOperationsTest.java +++ b/tests/ucrtainting/javaUtilTest/UtilOperationsTest.java @@ -1,6 +1,6 @@ package javaUtilTest; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import java.util.*; class UtilOperationsTest { diff --git a/tests/ucrtainting/localTaint/LocatTaint.java b/tests/ucrtainting/localTaint/LocatTaint.java index c9863989..ff9fb8c5 100644 --- a/tests/ucrtainting/localTaint/LocatTaint.java +++ b/tests/ucrtainting/localTaint/LocatTaint.java @@ -1,6 +1,6 @@ package localTaint; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; public class LocatTaint { diff --git a/tests/ucrtainting/sanitizerTests/SubtypeTest.java b/tests/ucrtainting/sanitizerTests/SubtypeTest.java index 2535cf79..b327d2eb 100755 --- a/tests/ucrtainting/sanitizerTests/SubtypeTest.java +++ b/tests/ucrtainting/sanitizerTests/SubtypeTest.java @@ -1,7 +1,7 @@ package sanitizerTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; // Test basic subtyping relationships for the UCR Tainting Checker. class SubtypeTest { diff --git a/tests/ucrtainting/springSecOAuth/SpringTests.java b/tests/ucrtainting/springSecOAuth/SpringTests.java index 2fcd1145..b7245518 100644 --- a/tests/ucrtainting/springSecOAuth/SpringTests.java +++ b/tests/ucrtainting/springSecOAuth/SpringTests.java @@ -1,6 +1,6 @@ package springSecOAuth; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; import javax.servlet.http.HttpSession; public class SpringTests { diff --git a/tests/ucrtainting/stringBuilderTests/StringBuilderTest.java b/tests/ucrtainting/stringBuilderTests/StringBuilderTest.java index ecf424e6..b7fcd201 100644 --- a/tests/ucrtainting/stringBuilderTests/StringBuilderTest.java +++ b/tests/ucrtainting/stringBuilderTests/StringBuilderTest.java @@ -1,7 +1,7 @@ package stringBuilderTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; // Test taint passing through custom library method invocation class StringBuilderTest { diff --git a/tests/ucrtainting/stubMalfunc/Test.java b/tests/ucrtainting/stubMalfunc/Test.java index 0dee7c41..2b620fa7 100644 --- a/tests/ucrtainting/stubMalfunc/Test.java +++ b/tests/ucrtainting/stubMalfunc/Test.java @@ -1,6 +1,6 @@ package stubMalfunc; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; import java.io.File; public class Test { diff --git a/tests/ucrtainting/thirdPartyTests/CustomLibraryTest.java b/tests/ucrtainting/thirdPartyTests/CustomLibraryTest.java index 22999a6c..2cd35e7f 100644 --- a/tests/ucrtainting/thirdPartyTests/CustomLibraryTest.java +++ b/tests/ucrtainting/thirdPartyTests/CustomLibraryTest.java @@ -1,7 +1,7 @@ package thirdPartyTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; import thirdPartyTests.com.test.thirdparty.LibraryCodeTestSupport; // Test taint passing through custom library method invocation diff --git a/tests/ucrtainting/thirdPartyTests/CustomLibraryUntaintedTypeParam.java b/tests/ucrtainting/thirdPartyTests/CustomLibraryUntaintedTypeParam.java index 5ca68256..597f98e3 100644 --- a/tests/ucrtainting/thirdPartyTests/CustomLibraryUntaintedTypeParam.java +++ b/tests/ucrtainting/thirdPartyTests/CustomLibraryUntaintedTypeParam.java @@ -1,6 +1,6 @@ package thirdPartyTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; import java.util.List; import thirdPartyTests.com.test.thirdparty.LibraryCodeTestSupport; diff --git a/tests/ucrtainting/thirdPartyTests/CustomLibraryWithClassTest.java b/tests/ucrtainting/thirdPartyTests/CustomLibraryWithClassTest.java index 48bdd45a..59e6a7d1 100644 --- a/tests/ucrtainting/thirdPartyTests/CustomLibraryWithClassTest.java +++ b/tests/ucrtainting/thirdPartyTests/CustomLibraryWithClassTest.java @@ -1,6 +1,6 @@ package thirdPartyTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; import java.util.List; import thirdPartyTests.com.test.thirdparty.LibraryCodeTestSupport; diff --git a/tests/ucrtainting/thirdPartyTests/LibraryInvocationTest.java b/tests/ucrtainting/thirdPartyTests/LibraryInvocationTest.java index d327d4b7..363fdb42 100755 --- a/tests/ucrtainting/thirdPartyTests/LibraryInvocationTest.java +++ b/tests/ucrtainting/thirdPartyTests/LibraryInvocationTest.java @@ -1,6 +1,6 @@ package thirdPartyTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; import org.apache.commons.lang3.StringUtils; // Test taint passing through library method invocation diff --git a/tests/ucrtainting/thirdPartyTests/SideEffectLibraryTest.java b/tests/ucrtainting/thirdPartyTests/SideEffectLibraryTest.java index 754e3b2d..d3b6445d 100644 --- a/tests/ucrtainting/thirdPartyTests/SideEffectLibraryTest.java +++ b/tests/ucrtainting/thirdPartyTests/SideEffectLibraryTest.java @@ -1,7 +1,7 @@ package thirdPartyTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; import thirdPartyTests.com.test.thirdparty.LibraryCodeTestSupport; // Test taint passing through custom library method invocation diff --git a/tests/ucrtainting/thirdPartyTests/StubMethodsTest.java b/tests/ucrtainting/thirdPartyTests/StubMethodsTest.java index 7b009774..d4df3f29 100755 --- a/tests/ucrtainting/thirdPartyTests/StubMethodsTest.java +++ b/tests/ucrtainting/thirdPartyTests/StubMethodsTest.java @@ -1,6 +1,6 @@ package thirdPartyTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.*; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.*; class StubMethodsTest { @RTainted String taintedStr = "taintedData"; diff --git a/tests/ucrtainting/thirdPartyTests/com/test/thirdparty/LibraryCodeTestSupport.java b/tests/ucrtainting/thirdPartyTests/com/test/thirdparty/LibraryCodeTestSupport.java index 0532e68b..6a06e392 100644 --- a/tests/ucrtainting/thirdPartyTests/com/test/thirdparty/LibraryCodeTestSupport.java +++ b/tests/ucrtainting/thirdPartyTests/com/test/thirdparty/LibraryCodeTestSupport.java @@ -1,6 +1,6 @@ package thirdPartyTests.com.test.thirdparty; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; import java.util.Arrays; import java.util.List; diff --git a/tests/ucrtainting/validatorTests/ValidatorTest.java b/tests/ucrtainting/validatorTests/ValidatorTest.java index d15fe6f2..819b748b 100755 --- a/tests/ucrtainting/validatorTests/ValidatorTest.java +++ b/tests/ucrtainting/validatorTests/ValidatorTest.java @@ -1,8 +1,8 @@ package validatorTests; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RPossiblyValidated; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RTainted; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RPossiblyValidated; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RTainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; // Test basic subtyping relationships for the UCR Tainting Checker. class ValidatorTest { diff --git a/tests/ucrtainting/xmlStreamTest/XMLStreamTest.java b/tests/ucrtainting/xmlStreamTest/XMLStreamTest.java index 82b341db..2eb54b0b 100755 --- a/tests/ucrtainting/xmlStreamTest/XMLStreamTest.java +++ b/tests/ucrtainting/xmlStreamTest/XMLStreamTest.java @@ -1,6 +1,6 @@ package xmlStreamTest; -import edu.ucr.cs.riple.taint.ucrtainting.qual.RUntainted; +import edu.xxx.cs.yyyyy.taint.tainttyper.qual.RUntainted; import java.io.IOException; import java.io.InputStream; import javax.servlet.http.HttpServletRequest; diff --git a/thirdparty/bin/main/org/thirdparty/Foo.class b/thirdparty/bin/main/org/thirdparty/Foo.class new file mode 100644 index 00000000..38181310 Binary files /dev/null and b/thirdparty/bin/main/org/thirdparty/Foo.class differ