so far

kanaksad · Aug 1, 2024 · 8987b66 · 8987b66
1 parent 5a4beeb
commit 8987b66
Show file tree

Hide file tree

Showing 142 changed files with 317 additions and 334 deletions.
diff --git a/...cr/cs/riple/taint/ucrtainting/Config.java → ...xxx/cs/yyyyy/taint/tainttyper/Config.java b/...cr/cs/riple/taint/ucrtainting/Config.java → ...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/...iple/taint/ucrtainting/FoundRequired.java → ...yyyyy/taint/tainttyper/FoundRequired.java b/...iple/taint/ucrtainting/FoundRequired.java → ...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/...u/ucr/cs/riple/taint/ucrtainting/Log.java → ...du/xxx/cs/yyyyy/taint/tainttyper/Log.java b/...u/ucr/cs/riple/taint/ucrtainting/Log.java → ...du/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/...taint/ucrtainting/TaintTyperAnalysis.java → .../taint/tainttyper/TaintTyperAnalysis.java b/...taint/ucrtainting/TaintTyperAnalysis.java → .../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/...nting/TaintTyperAnnotatedTypeFactory.java → ...typer/TaintTyperAnnotatedTypeFactory.java b/...nting/TaintTyperAnnotatedTypeFactory.java → ...typer/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/.../taint/ucrtainting/TaintTyperChecker.java → ...y/taint/tainttyper/TaintTyperChecker.java b/.../taint/ucrtainting/TaintTyperChecker.java → ...y/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/...taint/ucrtainting/TaintTyperTransfer.java → .../taint/tainttyper/TaintTyperTransfer.java b/...taint/ucrtainting/TaintTyperTransfer.java → .../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/.../ucrtainting/TaintTyperTreeAnnotator.java → ...t/tainttyper/TaintTyperTreeAnnotator.java b/.../ucrtainting/TaintTyperTreeAnnotator.java → ...t/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/.../ucrtainting/TaintTyperTypeAnnotator.java → ...t/tainttyper/TaintTyperTypeAnnotator.java b/.../ucrtainting/TaintTyperTypeAnnotator.java → ...t/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/.../taint/ucrtainting/TaintTyperVisitor.java → ...y/taint/tainttyper/TaintTyperVisitor.java b/.../taint/ucrtainting/TaintTyperVisitor.java → ...y/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/...ucrtainting/handlers/AbstractHandler.java → .../tainttyper/handlers/AbstractHandler.java b/...ucrtainting/handlers/AbstractHandler.java → .../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/...ing/handlers/AnnotationMemberHandler.java → ...per/handlers/AnnotationMemberHandler.java b/...ing/handlers/AnnotationMemberHandler.java → ...per/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/...rtainting/handlers/CollectionHandler.java → ...ainttyper/handlers/CollectionHandler.java b/...rtainting/handlers/CollectionHandler.java → ...ainttyper/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/...ucrtainting/handlers/CompositHandler.java → .../tainttyper/handlers/CompositHandler.java b/...ucrtainting/handlers/CompositHandler.java → .../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/...int/ucrtainting/handlers/EnumHandler.java → ...aint/tainttyper/handlers/EnumHandler.java b/...int/ucrtainting/handlers/EnumHandler.java → ...aint/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/...e/taint/ucrtainting/handlers/Handler.java → ...yy/taint/tainttyper/handlers/Handler.java b/...e/taint/ucrtainting/handlers/Handler.java → ...yy/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/...t/ucrtainting/handlers/LambdaHandler.java → ...nt/tainttyper/handlers/LambdaHandler.java b/...t/ucrtainting/handlers/LambdaHandler.java → ...nt/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/...crtainting/handlers/SanitizerHandler.java → ...tainttyper/handlers/SanitizerHandler.java b/...crtainting/handlers/SanitizerHandler.java → ...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/...ing/handlers/StaticFinalFieldHandler.java → ...per/handlers/StaticFinalFieldHandler.java b/...ing/handlers/StaticFinalFieldHandler.java → ...per/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/...ting/handlers/UnannotatedCodeHandler.java → ...yper/handlers/UnannotatedCodeHandler.java b/...ting/handlers/UnannotatedCodeHandler.java → ...yper/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/...cr/cs/riple/taint/ucrtainting/qual/README → ...xxx/cs/yyyyy/taint/tainttyper/qual/README b/...cr/cs/riple/taint/ucrtainting/qual/README → ...xxx/cs/yyyyy/taint/tainttyper/qual/README
diff --git a/.../taint/ucrtainting/qual/RPolyTainted.java → ...y/taint/tainttyper/qual/RPolyTainted.java b/.../taint/ucrtainting/qual/RPolyTainted.java → ...y/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/.../ucrtainting/qual/RPossiblyValidated.java → ...t/tainttyper/qual/RPossiblyValidated.java b/.../ucrtainting/qual/RPossiblyValidated.java → ...t/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/...iple/taint/ucrtainting/qual/RTainted.java → ...yyyyy/taint/tainttyper/qual/RTainted.java b/...iple/taint/ucrtainting/qual/RTainted.java → ...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/...s/riple/taint/ucrtainting/qual/RThis.java → ...cs/yyyyy/taint/tainttyper/qual/RThis.java b/...s/riple/taint/ucrtainting/qual/RThis.java → ...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/...le/taint/ucrtainting/qual/RUntainted.java → ...yyy/taint/tainttyper/qual/RUntainted.java b/...le/taint/ucrtainting/qual/RUntainted.java → ...yyy/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/...aint/ucrtainting/serialization/Error.java → ...taint/tainttyper/serialization/Error.java b/...aint/ucrtainting/serialization/Error.java → ...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;