so far

kanaksad · Aug 1, 2024 · 5d9d950 · 5d9d950
1 parent b1cdbcb
commit 5d9d950
Show file tree

Hide file tree

Showing 40 changed files with 439 additions and 439 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# UCR Tainting Checker
+# XXX Tainting Checker
 
 
 ## How to run the checker
@@ -27,7 +27,7 @@ dependencies {
 }
 ```
 
-Now, when you build your project, the UCR Tainting Checker will also run,
+Now, when you build your project, the XXX Tainting Checker will also run,
 informing you of any potential errors related to TODO.
 
 
@@ -52,6 +52,6 @@ Run these commands from the top-level directory.
 `./gradlew publishToMavenLocal`: publish the checker to your local Maven repository.
 This is useful for testing before you publish it elsewhere, such as to Maven Central.
 
-The UCR Tainting Checker is built upon the Checker Framework.  Please see
+The XXX Tainting Checker is built upon the Checker Framework.  Please see
 the [Checker Framework Manual](https://checkerframework.org/manual/) for
 more information about using pluggable type-checkers, including this one.
diff --git a/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/Config.java b/src/main/java/edu/xxx/cs/yyyyy/taint/tainttyper/Config.java
@@ -36,7 +36,7 @@
 import org.w3c.dom.Document;
 import org.xml.sax.SAXException;
 
-/** Configuration class for the UCR Tainting project. */
+/** Configuration class for the XXX Tainting project. */
 public class Config {
 
   /**

diff --git a/src/test/java/tests/AccessPathTest.java b/src/test/java/tests/AccessPathTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/ArraySerializationTest.java b/src/test/java/tests/ArraySerializationTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/CollectionHandlingTest.java b/src/test/java/tests/CollectionHandlingTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/EnhancedForSerializationTest.java b/src/test/java/tests/EnhancedForSerializationTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/EnumInterfaceSpecialCaseHandlingTest.java b/src/test/java/tests/EnumInterfaceSpecialCaseHandlingTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/FixVisitorSelectionTest.java b/src/test/java/tests/FixVisitorSelectionTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/InheritanceViolationTests.java b/src/test/java/tests/InheritanceViolationTests.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/NewTestTemplateTest.java b/src/test/java/tests/NewTestTemplateTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/ParameterExpressionSerializationTest.java b/src/test/java/tests/ParameterExpressionSerializationTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/PolyTaintedSerializationTest.java b/src/test/java/tests/PolyTaintedSerializationTest.java
@@ -31,7 +31,7 @@
 import org.junit.runners.Parameterized;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/SerializationTest.java b/src/test/java/tests/SerializationTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/SpecialCaseFixSerializationTest.java b/src/test/java/tests/SpecialCaseFixSerializationTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/TaintingLibraryTest.java b/src/test/java/tests/TaintingLibraryTest.java
@@ -29,7 +29,7 @@
 import org.junit.runners.Parameterized.Parameters;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/TaintingValidationTest.java b/src/test/java/tests/TaintingValidationTest.java
@@ -29,7 +29,7 @@
 import org.junit.runners.Parameterized.Parameters;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/ThirdPartyHandlingSerializationTest.java b/src/test/java/tests/ThirdPartyHandlingSerializationTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/ThirdPartyTypeArgumentHandlingTest.java b/src/test/java/tests/ThirdPartyTypeArgumentHandlingTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/TypeArgumentReceiverTest.java b/src/test/java/tests/TypeArgumentReceiverTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/TypeArgumentSelectionTest.java b/src/test/java/tests/TypeArgumentSelectionTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/src/test/java/tests/TypeArgumentsTest.java b/src/test/java/tests/TypeArgumentsTest.java
@@ -31,7 +31,7 @@
 import tests.tools.SerializationTestHelper;
 
 /**
- * Test runner for tests of the UCR Tainting Checker.
+ * Test runner for tests of the XXX Tainting Checker.
  *
  * <p>Tests appear as Java files in the {@code tests/xxxtainting} folder. To add a new test case,
  * create a Java file in that directory. The file contains "// ::" comments to indicate expected

diff --git a/tests/accesspath/expected-output.json b/tests/accesspath/expected-output.json
@@ -1,7 +1,7 @@
 {
   "errors": [
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 229,
       "index": 1,
@@ -13,7 +13,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
             "type-variable-position": [
               [
                 1,
@@ -28,7 +28,7 @@
       ]
     },
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 327,
       "index": 2,
@@ -40,7 +40,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
             "type-variable-position": [
               [
                 2,
@@ -55,7 +55,7 @@
       ]
     },
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 406,
       "index": 3,
@@ -67,7 +67,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
             "type-variable-position": [
               [
                 1,
@@ -82,7 +82,7 @@
       ]
     },
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 491,
       "index": 4,
@@ -94,7 +94,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
             "type-variable-position": [
               [
                 1,
@@ -109,7 +109,7 @@
       ]
     },
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 581,
       "index": 5,
@@ -121,7 +121,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
             "type-variable-position": [
               [
                 1,
@@ -136,7 +136,7 @@
       ]
     },
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 644,
       "index": 6,
@@ -148,7 +148,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Foo.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Foo.java",
             "type-variable-position": [
               [
                 0
@@ -162,7 +162,7 @@
       ]
     },
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 712,
       "index": 7,
@@ -174,7 +174,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
             "type-variable-position": [
               [
                 1,
@@ -189,7 +189,7 @@
       ]
     },
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 791,
       "index": 8,
@@ -201,7 +201,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
             "type-variable-position": [
               [
                 1,
@@ -216,7 +216,7 @@
       ]
     },
     {
-      "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+      "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
       "messageKey": "assignment",
       "offset": 1154,
       "index": 9,
@@ -228,7 +228,7 @@
         {
           "annotation": "untainted",
           "location": {
-            "path": "/Users/nima/Developer/UCRTaintingChecker/tests/accesspath/Test.java",
+            "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/accesspath/Test.java",
             "type-variable-position": [
               [
                 0