From 5d9d9509d847fa06e6e41e8e16422b8dd964b0a8 Mon Sep 17 00:00:00 2001 From: nimakarimipour Date: Thu, 1 Aug 2024 15:19:25 -0700 Subject: [PATCH] so far --- README.md | 6 +- .../xxx/cs/yyyyy/taint/tainttyper/Config.java | 2 +- src/test/java/tests/AccessPathTest.java | 2 +- .../java/tests/ArraySerializationTest.java | 2 +- .../java/tests/CollectionHandlingTest.java | 2 +- .../tests/EnhancedForSerializationTest.java | 2 +- .../EnumInterfaceSpecialCaseHandlingTest.java | 2 +- .../java/tests/FixVisitorSelectionTest.java | 2 +- .../java/tests/InheritanceViolationTests.java | 2 +- src/test/java/tests/NewTestTemplateTest.java | 2 +- .../ParameterExpressionSerializationTest.java | 2 +- .../tests/PolyTaintedSerializationTest.java | 2 +- src/test/java/tests/SerializationTest.java | 2 +- .../SpecialCaseFixSerializationTest.java | 2 +- src/test/java/tests/TaintingLibraryTest.java | 2 +- .../java/tests/TaintingValidationTest.java | 2 +- .../ThirdPartyHandlingSerializationTest.java | 2 +- .../ThirdPartyTypeArgumentHandlingTest.java | 2 +- .../java/tests/TypeArgumentReceiverTest.java | 2 +- .../java/tests/TypeArgumentSelectionTest.java | 2 +- src/test/java/tests/TypeArgumentsTest.java | 2 +- tests/accesspath/expected-output.json | 36 ++--- tests/arrayserialization/expected-output.json | 96 ++++++------- .../expected-output.json | 48 +++---- .../fixvisitorselection/expected-output.json | 26 ++-- .../inheritanceviolation/expected-output.json | 24 ++-- tests/lambdainference/expected-output.json | 4 +- .../expected-output.json | 92 ++++++------- tests/reversedirection/expected-output.json | 20 +-- tests/serialization/expected-output.json | 126 +++++++++--------- .../expected-output.json | 80 +++++------ .../expected-output.json | 36 ++--- .../expected-output.json | 4 +- tests/typeargument/expected-output.json | 64 ++++----- .../typeargumentreceiver/expected-output.json | 92 ++++++------- .../expected-output.json | 76 +++++------ .../basicSubTypingTests/SubtypingTest.java | 2 +- .../sanitizerTests/SubtypeTest.java | 2 +- .../validatorTests/ValidatorTest.java | 2 +- .../xmlStreamTest/XMLStreamTest.java | 2 +- 40 files changed, 439 insertions(+), 439 deletions(-) diff --git a/README.md b/README.md index 175cf582..41976a94 100755 --- 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 index cd0fa5ba..879dc9b3 100644 --- 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 index f912a079..16d86e56 100644 --- 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. * *

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 index b78414c1..c6658c60 100644 --- 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. * *

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 index ce556ffa..b088dc06 100644 --- 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. * *

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 index 1fe4c1ee..d629d1b3 100644 --- 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. * *

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 index fdfb0aed..2d6bc245 100755 --- 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. * *

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 index 756916b1..476a50c0 100644 --- 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. * *

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 index 26a01884..1c30f10b 100644 --- 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. * *

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 index 4812abf3..d492277b 100644 --- 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. * *

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 index 7b2698f3..e724a8b5 100644 --- 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. * *

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 index f9d9029f..21a15153 100644 --- 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. * *

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 index 2adecb2b..c20cc7d9 100644 --- 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. * *

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 index 50c053f9..be26de91 100644 --- 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. * *

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 index b2393156..dc4e1f53 100755 --- 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. * *

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 index 2e34adf5..e5d9bbb5 100755 --- 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. * *

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 index fed28811..2762667c 100644 --- 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. * *

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 index dbfb91cb..5be02c54 100644 --- 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. * *

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 index 231ae242..ff463c82 100644 --- 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. * *

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 index 8dae4114..6f917d6f 100644 --- 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. * *

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 index 2c4a3e54..c38a522b 100644 --- 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. * *

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 index 48171b16..200b52b0 100644 --- 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 diff --git a/tests/arrayserialization/expected-output.json b/tests/arrayserialization/expected-output.json index b9fb70ef..7d5ddbe8 100644 --- a/tests/arrayserialization/expected-output.json +++ b/tests/arrayserialization/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "array.initializer", "offset": 678, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -27,7 +27,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "array.initializer", "offset": 678, "index": 2, @@ -39,7 +39,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -55,7 +55,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 678, "index": 3, @@ -67,7 +67,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -81,7 +81,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -97,7 +97,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 852, "index": 4, @@ -109,7 +109,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -125,7 +125,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 1634, "index": 5, @@ -137,7 +137,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 2, @@ -155,7 +155,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 1838, "index": 6, @@ -167,7 +167,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 1, @@ -184,7 +184,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 3206, "index": 7, @@ -196,7 +196,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "varName": "extension", "type-variable-position": [ [ @@ -211,7 +211,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 3719, "index": 8, @@ -223,7 +223,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -239,7 +239,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -255,7 +255,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -271,7 +271,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "argument", "offset": 4566, "index": 9, @@ -283,7 +283,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 1, @@ -298,7 +298,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "return", "offset": 5487, "index": 10, @@ -310,7 +310,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "varName": "dirname", "type-variable-position": [ [ @@ -325,7 +325,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -339,7 +339,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "varName": "prop", "type-variable-position": [ [ @@ -354,7 +354,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 5728, "index": 11, @@ -366,7 +366,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -387,7 +387,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -403,7 +403,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 6015, "index": 12, @@ -415,7 +415,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -431,7 +431,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 6358, "index": 13, @@ -443,7 +443,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -459,7 +459,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 6749, "index": 14, @@ -471,7 +471,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -485,7 +485,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 6826, "index": 15, @@ -497,7 +497,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -513,7 +513,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "enhancedfor", "offset": 6958, "index": 16, @@ -525,7 +525,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 0 @@ -539,7 +539,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 7134, "index": 17, @@ -551,7 +551,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 1, @@ -568,7 +568,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 7261, "index": 18, @@ -580,7 +580,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [ [ 2, @@ -597,7 +597,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "messageKey": "assignment", "offset": 7555, "index": 19, @@ -609,7 +609,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "varName": "foo", "type-variable-position": [[0]], "method": "localVariableFullAssignmentCheckWithArrayUntaintedComponent(java.lang.String[])", @@ -620,7 +620,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "type-variable-position": [[0]], "method": "localVariableFullAssignmentCheckWithArrayUntaintedComponent(java.lang.String[])", "kind": "PARAMETER", @@ -632,7 +632,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/Foo.java", "varName": "f1", "type-variable-position": [[0]], "method": "localVariableFullAssignmentCheckWithArrayUntaintedComponent(java.lang.String[])", @@ -643,7 +643,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/NotPolyInference.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/NotPolyInference.java", "messageKey": "argument", "offset": 2138, "index": 20, @@ -655,7 +655,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/arrayserialization/NotPolyInference.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/arrayserialization/NotPolyInference.java", "type-variable-position": [ [ 0 diff --git a/tests/enhancedforserialization/expected-output.json b/tests/enhancedforserialization/expected-output.json index eaa1888e..8d883203 100644 --- a/tests/enhancedforserialization/expected-output.json +++ b/tests/enhancedforserialization/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 383, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "varName": "headers", "type-variable-position": [ [ @@ -33,7 +33,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 801, "index": 2, @@ -45,7 +45,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "varName": "methods", "type-variable-position": [ [ @@ -61,7 +61,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 1154, "index": 3, @@ -73,7 +73,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "varName": "files", "type-variable-position": [ [ @@ -89,7 +89,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 1292, "index": 4, @@ -101,7 +101,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -116,7 +116,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 1610, "index": 1, @@ -128,7 +128,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "type-variable-position": [ [ 2, @@ -145,7 +145,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 2015, "index": 6, @@ -157,7 +157,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "varName": "e", "type-variable-position": [ [ @@ -174,7 +174,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 2207, "index": 7, @@ -186,7 +186,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -209,7 +209,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 2464, "index": 8, @@ -221,7 +221,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "type-variable-position": [ [ 2, @@ -238,7 +238,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "argument", "offset": 2625, "index": 9, @@ -250,7 +250,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "varName": "s", "type-variable-position": [ [ @@ -265,7 +265,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -282,7 +282,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "messageKey": "argument", "offset": 2985, "index": 10, @@ -294,7 +294,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "varName": "entry", "type-variable-position": [ [ @@ -311,7 +311,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "varName": "s", "type-variable-position": [ [ @@ -326,7 +326,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "varName": "smallMap", "type-variable-position": [ [ @@ -343,7 +343,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/enhancedforserialization/foo/bar/Foo.java", "type-variable-position": [ [ 1, diff --git a/tests/fixvisitorselection/expected-output.json b/tests/fixvisitorselection/expected-output.json index addf0cb1..1390dcc4 100644 --- a/tests/fixvisitorselection/expected-output.json +++ b/tests/fixvisitorselection/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 409, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "varName": "bar", "type-variable-position": [ [ @@ -29,7 +29,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 571, "index": 2, @@ -41,7 +41,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -55,7 +55,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 835, "index": 3, @@ -67,7 +67,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -83,7 +83,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -99,7 +99,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -115,7 +115,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -131,7 +131,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1044, "index": 4, @@ -143,7 +143,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "varName": "map", "type-variable-position": [ [ @@ -159,7 +159,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1231, "index": 5, @@ -171,7 +171,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/fixvisitorselection/foo/bar/Foo.java", "type-variable-position": [ [ 2, diff --git a/tests/inheritanceviolation/expected-output.json b/tests/inheritanceviolation/expected-output.json index e8ce0a4b..fcdd5060 100644 --- a/tests/inheritanceviolation/expected-output.json +++ b/tests/inheritanceviolation/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "messageKey": "override.return", "offset": 156, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "type-variable-position": [ [ 0 @@ -27,7 +27,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "messageKey": "override.param", "offset": 243, "index": 2, @@ -39,7 +39,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -55,7 +55,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "messageKey": "override.return", "offset": 347, "index": 3, @@ -67,7 +67,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "type-variable-position": [ [ 1, @@ -82,7 +82,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "messageKey": "override.return", "offset": 453, "index": 4, @@ -94,7 +94,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -109,7 +109,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "messageKey": "override.return", "offset": 571, "index": 5, @@ -121,7 +121,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "type-variable-position": [ [ 0 @@ -135,7 +135,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "messageKey": "override.return", "offset": 668, "index": 6, @@ -147,7 +147,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/inheritanceviolation/foo/bar/Bar.java", "type-variable-position": [ [ 0 diff --git a/tests/lambdainference/expected-output.json b/tests/lambdainference/expected-output.json index 7119ee86..3694fb4f 100644 --- a/tests/lambdainference/expected-output.json +++ b/tests/lambdainference/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/lambdainference/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/lambdainference/foo/bar/Foo.java", "messageKey": "argument", "offset": 487, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/lambdainference/foo/bar/IBar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/lambdainference/foo/bar/IBar.java", "type-variable-position": [ [ 0 diff --git a/tests/polytaintserialization/expected-output.json b/tests/polytaintserialization/expected-output.json index f0e7e42b..fcb6844c 100644 --- a/tests/polytaintserialization/expected-output.json +++ b/tests/polytaintserialization/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", "messageKey": "assignment", "offset": 1709, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", "type-variable-position": [ [ 0 @@ -27,7 +27,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", "messageKey": "assignment", "offset": 1790, "index": 2, @@ -39,7 +39,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", "type-variable-position": [ [ 0 @@ -60,7 +60,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", "type-variable-position": [ [ 0 @@ -81,7 +81,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", "type-variable-position": [ [ 0 @@ -97,7 +97,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", "type-variable-position": [ [ 0 @@ -118,7 +118,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/BoundTest.java", "type-variable-position": [ [ 0 @@ -139,7 +139,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "messageKey": "assignment", "offset": 285, "index": 3, @@ -151,7 +151,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -172,7 +172,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -193,7 +193,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -207,7 +207,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -228,7 +228,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -249,7 +249,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -270,7 +270,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -291,7 +291,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "messageKey": "assignment", "offset": 2369, "index": 4, @@ -303,7 +303,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -324,7 +324,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "messageKey": "assignment", "offset": 2896, "index": 5, @@ -336,7 +336,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -350,7 +350,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -376,7 +376,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -402,7 +402,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "messageKey": "assignment", "offset": 3801, "index": 6, @@ -414,7 +414,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -445,7 +445,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -466,7 +466,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -487,7 +487,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Recursive.java", "type-variable-position": [ [ 0 @@ -508,7 +508,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "messageKey": "assignment", "offset": 558, "index": 7, @@ -520,7 +520,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 0 @@ -536,7 +536,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "messageKey": "assignment", "offset": 688, "index": 8, @@ -548,7 +548,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "varName": "list", "type-variable-position": [ [ @@ -564,7 +564,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "messageKey": "assignment", "offset": 1362, "index": 9, @@ -576,7 +576,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 0 @@ -597,7 +597,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "messageKey": "assignment", "offset": 1749, "index": 10, @@ -609,7 +609,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 1, @@ -626,7 +626,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 0 @@ -648,7 +648,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "messageKey": "assignment", "offset": 2892, "index": 11, @@ -660,7 +660,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 0 @@ -681,7 +681,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 0 @@ -702,7 +702,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "messageKey": "assignment", "offset": 2983, "index": 12, @@ -714,7 +714,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 0 @@ -735,7 +735,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "messageKey": "assignment", "offset": 3670, "index": 13, @@ -747,7 +747,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 0 @@ -761,7 +761,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "messageKey": "assignment", "offset": 3756, "index": 14, @@ -773,7 +773,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 1, @@ -796,7 +796,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/polytaintserialization/foo/bar/Test.java", "type-variable-position": [ [ 1, diff --git a/tests/reversedirection/expected-output.json b/tests/reversedirection/expected-output.json index 63031f66..2d946f2a 100644 --- a/tests/reversedirection/expected-output.json +++ b/tests/reversedirection/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "messageKey": "return", "offset": 281, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "type-variable-position": [ [ 2, @@ -28,7 +28,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "messageKey": "assignment", "offset": 414, "index": 2, @@ -40,7 +40,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "varName": "var", "type-variable-position": [ [ @@ -56,7 +56,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "messageKey": "assignment", "offset": 479, "index": 3, @@ -68,7 +68,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "varName": "var", "type-variable-position": [ [ @@ -84,7 +84,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "messageKey": "argument", "offset": 581, "index": 4, @@ -96,7 +96,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "type-variable-position": [ [ 2, @@ -113,7 +113,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "messageKey": "assignment", "offset": 752, "index": 5, @@ -125,7 +125,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/reversedirection/com/test/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/reversedirection/com/test/Foo.java", "varName": "entrySet", "type-variable-position": [ [ diff --git a/tests/serialization/expected-output.json b/tests/serialization/expected-output.json index 208c89b1..93368b66 100644 --- a/tests/serialization/expected-output.json +++ b/tests/serialization/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1173, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -27,7 +27,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1235, "index": 2, @@ -39,7 +39,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -55,7 +55,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1274, "index": 3, @@ -67,7 +67,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -83,7 +83,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1321, "index": 4, @@ -95,7 +95,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -111,7 +111,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1364, "index": 5, @@ -123,7 +123,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -139,7 +139,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "localVar", "type-variable-position": [ [ @@ -154,7 +154,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1439, "index": 6, @@ -166,7 +166,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Bar.java", "type-variable-position": [ [ 0 @@ -180,7 +180,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1508, "index": 7, @@ -192,7 +192,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Bar.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Bar.java", "type-variable-position": [ [ 0 @@ -206,7 +206,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1559, "index": 8, @@ -218,7 +218,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -234,7 +234,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1602, "index": 9, @@ -246,7 +246,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -262,7 +262,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "localVar", "type-variable-position": [ [ @@ -277,7 +277,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1652, "index": 10, @@ -289,7 +289,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Baz.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Baz.java", "type-variable-position": [ [ 0 @@ -303,7 +303,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1809, "index": 11, @@ -315,7 +315,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -331,7 +331,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "finalLocalVar", "type-variable-position": [ [ @@ -346,7 +346,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 1872, "index": 12, @@ -358,7 +358,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -372,7 +372,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 2086, "index": 13, @@ -384,7 +384,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "argsArray", "type-variable-position": [ [ @@ -399,7 +399,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "localVar", "type-variable-position": [ [ @@ -414,7 +414,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "argsList", "type-variable-position": [ [ @@ -430,7 +430,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -444,7 +444,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 2321, "index": 14, @@ -456,7 +456,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -472,7 +472,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -488,7 +488,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 2389, "index": 15, @@ -500,7 +500,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -516,7 +516,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -532,7 +532,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 2578, "index": 16, @@ -544,7 +544,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "param", "type-variable-position": [ [ @@ -560,7 +560,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "return", "offset": 2837, "index": 17, @@ -572,7 +572,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -588,7 +588,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "compound.assignment", "offset": 3033, "index": 18, @@ -600,7 +600,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -616,7 +616,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 3144, "index": 19, @@ -628,7 +628,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -644,7 +644,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "argument", "offset": 3976, "index": 20, @@ -656,7 +656,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "writer", "type-variable-position": [ [ @@ -671,7 +671,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -687,7 +687,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 4457, "index": 21, @@ -699,7 +699,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -715,7 +715,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 4609, "index": 22, @@ -727,7 +727,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 1, @@ -759,7 +759,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -773,7 +773,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -789,7 +789,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 5415, "index": 23, @@ -801,7 +801,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "l1", "type-variable-position": [ [ @@ -816,7 +816,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "varName": "l", "type-variable-position": [ [ @@ -831,7 +831,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -847,7 +847,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 5621, "index": 24, @@ -859,7 +859,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -875,7 +875,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "type-variable-position": [ [ 0 @@ -891,7 +891,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/serialization/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/serialization/Foo.java", "messageKey": "assignment", "offset": 5775, "index": 25, diff --git a/tests/specialcasefixserialization/expected-output.json b/tests/specialcasefixserialization/expected-output.json index 6ffb60dc..2868e053 100644 --- a/tests/specialcasefixserialization/expected-output.json +++ b/tests/specialcasefixserialization/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "return", "offset": 1514, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -27,7 +27,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "assignment", "offset": 1626, "index": 2, @@ -39,7 +39,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -53,7 +53,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "return", "offset": 1923, "index": 3, @@ -65,7 +65,7 @@ { "annotation": "poly", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -86,7 +86,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -102,7 +102,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "return", "offset": 2105, "index": 4, @@ -114,7 +114,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -130,7 +130,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -146,7 +146,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "assignment", "offset": 2834, "index": 5, @@ -158,7 +158,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "list", "type-variable-position": [ [ @@ -174,7 +174,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "assignment", "offset": 3441, "index": 6, @@ -186,7 +186,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "tokens", "type-variable-position": [ [ @@ -201,7 +201,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "assignment", "offset": 3519, "index": 7, @@ -213,7 +213,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "tokens", "type-variable-position": [ [ @@ -228,7 +228,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -242,7 +242,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "argument", "offset": 4809, "index": 8, @@ -254,7 +254,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "pos", "type-variable-position": [ [ @@ -269,7 +269,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 1, @@ -284,7 +284,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "itParams", "type-variable-position": [ [ @@ -300,7 +300,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -316,7 +316,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "param", "type-variable-position": [ [ @@ -331,7 +331,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "key", "type-variable-position": [ [ @@ -346,7 +346,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "argument", "offset": 4809, "index": 9, @@ -358,7 +358,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 1, @@ -373,7 +373,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "pos", "type-variable-position": [ [ @@ -388,7 +388,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "keyValLen", "type-variable-position": [ [ @@ -403,7 +403,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "itParams", "type-variable-position": [ [ @@ -419,7 +419,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -435,7 +435,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "param", "type-variable-position": [ [ @@ -450,7 +450,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "value", "type-variable-position": [ [ @@ -465,7 +465,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "assignment", "offset": 5663, "index": 10, @@ -477,7 +477,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 1, @@ -492,7 +492,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "argument", "offset": 5987, "index": 11, @@ -504,7 +504,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "params", "type-variable-position": [ [ @@ -520,7 +520,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "argument", "offset": 6261, "index": 12, @@ -532,7 +532,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "type-variable-position": [ [ 0 @@ -546,7 +546,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "messageKey": "argument", "offset": 7685, "index": 13, @@ -558,7 +558,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/specialcasefixserialization/CmsUUID.java", "varName": "params", "type-variable-position": [ [ diff --git a/tests/thirdpartyhandlingserialization/expected-output.json b/tests/thirdpartyhandlingserialization/expected-output.json index 94740ec0..ca69fddd 100644 --- a/tests/thirdpartyhandlingserialization/expected-output.json +++ b/tests/thirdpartyhandlingserialization/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "messageKey": "assignment", "offset": 776, "index": 1, @@ -12,7 +12,7 @@ "fixes": [] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "messageKey": "assignment", "offset": 906, "index": 2, @@ -24,7 +24,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -38,7 +38,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "messageKey": "argument", "offset": 930, "index": 3, @@ -50,7 +50,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -64,7 +64,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "messageKey": "return", "offset": 1948, "index": 4, @@ -76,7 +76,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -93,7 +93,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "messageKey": "assignment", "offset": 2419, "index": 5, @@ -104,7 +104,7 @@ "fixes": [] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "messageKey": "assignment", "offset": 3012, "index": 6, @@ -116,7 +116,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -132,7 +132,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "messageKey": "argument", "offset": 3721, "index": 7, @@ -144,7 +144,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 2, @@ -161,7 +161,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -178,7 +178,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -194,7 +194,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "messageKey": "assignment", "offset": 3891, "index": 8, @@ -206,7 +206,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -222,7 +222,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -239,7 +239,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartyhandlingserialization/foo/bar/Foo.java", "type-variable-position": [ [ 2, diff --git a/tests/thirdpartytypeargumenthandling/expected-output.json b/tests/thirdpartytypeargumenthandling/expected-output.json index cf6e4ca2..94bfc1e0 100644 --- a/tests/thirdpartytypeargumenthandling/expected-output.json +++ b/tests/thirdpartytypeargumenthandling/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartytypeargumenthandling/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartytypeargumenthandling/Foo.java", "messageKey": "assignment", "offset": 265, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/thirdpartytypeargumenthandling/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/thirdpartytypeargumenthandling/Foo.java", "varName": "taintedList", "type-variable-position": [ [ diff --git a/tests/typeargument/expected-output.json b/tests/typeargument/expected-output.json index 912d5b3a..8c97036d 100644 --- a/tests/typeargument/expected-output.json +++ b/tests/typeargument/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 434, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -30,7 +30,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 485, "index": 2, @@ -42,7 +42,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 2, @@ -59,7 +59,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 536, "index": 3, @@ -71,7 +71,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 3, @@ -88,7 +88,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 598, "index": 4, @@ -100,7 +100,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 3, @@ -118,7 +118,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 697, "index": 5, @@ -130,7 +130,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 3, @@ -148,7 +148,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 767, "index": 6, @@ -160,7 +160,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 3, @@ -178,7 +178,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 845, "index": 7, @@ -190,7 +190,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 3, @@ -208,7 +208,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "argument", "offset": 921, "index": 8, @@ -220,7 +220,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 3, @@ -235,7 +235,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "argument", "offset": 989, "index": 9, @@ -247,7 +247,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -261,7 +261,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1061, "index": 10, @@ -273,7 +273,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Other.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Other.java", "type-variable-position": [ [ 2, @@ -288,7 +288,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1122, "index": 11, @@ -300,7 +300,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Other.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Other.java", "type-variable-position": [ [ 1, @@ -315,7 +315,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1336, "index": 12, @@ -327,7 +327,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -341,7 +341,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1393, "index": 13, @@ -353,7 +353,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Other.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Other.java", "type-variable-position": [ [ 3, @@ -368,7 +368,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1462, "index": 14, @@ -380,7 +380,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -394,7 +394,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Other.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Other.java", "type-variable-position": [ [ 3, @@ -409,7 +409,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1555, "index": 15, @@ -421,7 +421,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Foo.java", "varName": "mapTypeArgument", "type-variable-position": [ [ @@ -437,7 +437,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargument/foo/bar/Other.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargument/foo/bar/Other.java", "type-variable-position": [ [ 3, diff --git a/tests/typeargumentreceiver/expected-output.json b/tests/typeargumentreceiver/expected-output.json index 8d2cb0e6..d0c6fb25 100644 --- a/tests/typeargumentreceiver/expected-output.json +++ b/tests/typeargumentreceiver/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 656, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -28,7 +28,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 719, "index": 2, @@ -40,7 +40,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 2, @@ -55,7 +55,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 782, "index": 3, @@ -67,7 +67,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -86,7 +86,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 847, "index": 4, @@ -98,7 +98,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -112,7 +112,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 973, "index": 5, @@ -124,7 +124,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -139,7 +139,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1041, "index": 6, @@ -151,7 +151,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -166,7 +166,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1111, "index": 7, @@ -178,7 +178,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -193,7 +193,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1174, "index": 8, @@ -205,7 +205,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -220,7 +220,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1239, "index": 9, @@ -232,7 +232,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -249,7 +249,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1308, "index": 10, @@ -261,7 +261,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -276,7 +276,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1443, "index": 11, @@ -288,7 +288,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -302,7 +302,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1506, "index": 12, @@ -314,7 +314,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -328,7 +328,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1571, "index": 13, @@ -340,7 +340,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -354,7 +354,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1629, "index": 14, @@ -366,7 +366,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -380,7 +380,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1689, "index": 15, @@ -392,7 +392,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -408,7 +408,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "argument", "offset": 1753, "index": 16, @@ -420,7 +420,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -434,7 +434,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "return", "offset": 1885, "index": 17, @@ -446,7 +446,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -460,7 +460,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "return", "offset": 2004, "index": 18, @@ -472,7 +472,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -487,7 +487,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "assignment", "offset": 2120, "index": 19, @@ -499,7 +499,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 2, @@ -517,7 +517,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "assignment", "offset": 2346, "index": 20, @@ -529,7 +529,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "varName": "c", "type-variable-position": [ [ @@ -545,7 +545,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "assignment", "offset": 2910, "index": 21, @@ -557,7 +557,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -572,7 +572,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "assignment", "offset": 3007, "index": 22, @@ -584,7 +584,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -599,7 +599,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "messageKey": "assignment", "offset": 3169, "index": 23, @@ -611,7 +611,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentreceiver/foo/bar/Foo.java", "type-variable-position": [ [ 1, diff --git a/tests/typeargumentselection/expected-output.json b/tests/typeargumentselection/expected-output.json index f73d8b3d..a130e9e6 100644 --- a/tests/typeargumentselection/expected-output.json +++ b/tests/typeargumentselection/expected-output.json @@ -1,7 +1,7 @@ { "errors": [ { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 410, "index": 1, @@ -13,7 +13,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "map", "type-variable-position": [ [ @@ -29,7 +29,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 599, "index": 2, @@ -41,7 +41,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "mapOfList", "type-variable-position": [ [ @@ -58,7 +58,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 776, "index": 3, @@ -70,7 +70,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "gen", "type-variable-position": [ [ @@ -86,7 +86,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 847, "index": 4, @@ -98,7 +98,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "gen", "type-variable-position": [ [ @@ -114,7 +114,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1007, "index": 5, @@ -126,7 +126,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "gen", "type-variable-position": [ [ @@ -142,7 +142,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1089, "index": 6, @@ -154,7 +154,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "gen", "type-variable-position": [ [ @@ -171,7 +171,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1180, "index": 7, @@ -183,7 +183,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "gen", "type-variable-position": [ [ @@ -200,7 +200,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1271, "index": 8, @@ -212,7 +212,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "gen", "type-variable-position": [ [ @@ -229,7 +229,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1433, "index": 9, @@ -241,7 +241,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -255,7 +255,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "return", "offset": 1688, "index": 10, @@ -267,7 +267,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "m_startGalleriesSettings", "type-variable-position": [ [ @@ -283,7 +283,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 1890, "index": 11, @@ -295,7 +295,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "itEntries", "type-variable-position": [ [ @@ -321,7 +321,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "enhancedfor", "offset": 2223, "index": 12, @@ -333,7 +333,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "entry", "type-variable-position": [ [ @@ -349,7 +349,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 2359, "index": 13, @@ -361,7 +361,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -376,7 +376,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 2483, "index": 14, @@ -388,7 +388,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -403,7 +403,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 3615, "index": 15, @@ -415,7 +415,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "varName": "gen", "type-variable-position": [ [ @@ -431,7 +431,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "override.return", "offset": 3899, "index": 16, @@ -443,7 +443,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "type-variable-position": [ [ 0 @@ -457,7 +457,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "return", "offset": 4116, "index": 17, @@ -469,7 +469,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -484,7 +484,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "return", "offset": 4241, "index": 18, @@ -496,7 +496,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "type-variable-position": [ [ 1, @@ -511,7 +511,7 @@ ] }, { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "messageKey": "assignment", "offset": 4254, "index": 19, @@ -523,7 +523,7 @@ { "annotation": "untainted", "location": { - "path": "/Users/nima/Developer/UCRTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", + "path": "/Users/zzzz/Developer/XXXTaintingChecker/tests/typeargumentselection/foo/bar/Foo.java", "type-variable-position": [ [ 1, diff --git a/tests/xxxtainting/basicSubTypingTests/SubtypingTest.java b/tests/xxxtainting/basicSubTypingTests/SubtypingTest.java index 3a34a9f2..5011cc55 100755 --- a/tests/xxxtainting/basicSubTypingTests/SubtypingTest.java +++ b/tests/xxxtainting/basicSubTypingTests/SubtypingTest.java @@ -5,7 +5,7 @@ import java.nio.file.Files; import java.nio.file.Path; -// Test basic subtyping relationships for the UCR Tainting Checker. +// Test basic subtyping relationships for the XXX Tainting Checker. class SubtypeTest { void allSubtypingRelationships(int x, @RUntainted int y) { @RTainted int a = x; diff --git a/tests/xxxtainting/sanitizerTests/SubtypeTest.java b/tests/xxxtainting/sanitizerTests/SubtypeTest.java index b327d2eb..e2f08d7f 100755 --- a/tests/xxxtainting/sanitizerTests/SubtypeTest.java +++ b/tests/xxxtainting/sanitizerTests/SubtypeTest.java @@ -3,7 +3,7 @@ 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. +// Test basic subtyping relationships for the XXX Tainting Checker. class SubtypeTest { void validationArg(@RTainted String y) { if (validator(y)) { diff --git a/tests/xxxtainting/validatorTests/ValidatorTest.java b/tests/xxxtainting/validatorTests/ValidatorTest.java index 819b748b..ce4315a5 100755 --- a/tests/xxxtainting/validatorTests/ValidatorTest.java +++ b/tests/xxxtainting/validatorTests/ValidatorTest.java @@ -4,7 +4,7 @@ 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. +// Test basic subtyping relationships for the XXX Tainting Checker. class ValidatorTest { void subTypeTest1(@RTainted String x, @RPossiblyValidated({}) String z) { diff --git a/tests/xxxtainting/xmlStreamTest/XMLStreamTest.java b/tests/xxxtainting/xmlStreamTest/XMLStreamTest.java index 2eb54b0b..208647a4 100755 --- a/tests/xxxtainting/xmlStreamTest/XMLStreamTest.java +++ b/tests/xxxtainting/xmlStreamTest/XMLStreamTest.java @@ -10,7 +10,7 @@ import org.w3c.dom.Document; import org.xml.sax.SAXException; -// Test basic subtyping relationships for the UCR Tainting Checker. +// Test basic subtyping relationships for the XXX Tainting Checker. class XMLStreamTest { void test(@RUntainted InputStream in) throws ParserConfigurationException, IOException, SAXException {